Coverity Prevent
Security testing application specifically for Java source code. All possible paths are explored for detection of vulnerabilities and defects. Memory leaks, memory corruption, illegal pointer accesses, buffer overruns , format string errors are all searched for. Vendor is Coverity.
I think the Java version (they do C/C++ and C# too) comes with a dynamic analysis tool for deadlocks & race conditions etc..
ReplyDelete