Static analysis tool for C and Objective-C. Based on the LLVM compiler-framework.
This is the web page for FindBugs, a program which looks for bugsin Java code.
This is the web page for FindBugs, a program which looks for bugsin Java code.
yet another static analysis tool for security
PMD scans Java source code and looks for potential problems like: Possible bugs - empty try/catch/finally/switch statements Dead code - unused local variables, parameters and private methods Suboptimal code - wasteful String/StringBuffer usage Overcom
PMD scans Java source code and looks for potential problems like: Possible bugs - empty try/catch/finally/switch statements Dead code - unused local variables, parameters and private methods Suboptimal code - wasteful String/StringBuffer usage Overcom
Static Analysis Tool Exposition
Stanford SecuriBench is a set of open source real-life programs to be used as a testing ground for static and dynamic security tools.
Stanford SecuriBench is a set of open source real-life programs to be used as a testing ground for static and dynamic security tools.