About the Book
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Pages: 33. Chapters: Static program analysis tools, Lint, List of tools for static code analysis, Clang, Parasoft, Veracode, Sparse, Bauhaus Project, Sonar, GrammaTech, Shape analysis, Termination analysis, MALPAS Software Static Analysis Toolset, Cppcheck, Extended static checking, Polyspace, Fortify Software, Kalistick, DMS Software Reengineering Toolkit, NDepend, Alias analysis, SemmleCode, Coverity, Cscope, Soatest, Splint, ESC/Java, Checkstyle, Dependence analysis, Pattern Insight, Jtest, Strictness analysis, Escape analysis, Software mining, AdaControl, Yasca, Automated code review, FindBugs, LDRA Testbed, JSLint, Klocwork, FxCop, PMD, Pointer analysis, Red Lizard Software, PC-Lint, PVS-Studio, SofCheck Inspector, SonarJ, Soot, VeriFlux, Lattix, Inc., CodeIt.Right, Understand, Sotoarc, Daikon, Hermes, StyleCop, QA-C, ResourceMiner, Imagix 4D, Monoidics, Hammurapi. Excerpt: This is a list of tools for static code analysis. Products covering multiple .NET languages. Tools that use a formal methods approach to static analysis (e.g., using static program assertions): Clang (pronounced like the English word clang) is a compiler front end for the C, C++, Objective-C and Objective-C++ programming languages. It uses the Low Level Virtual Machine (LLVM) as its back end, and as such Clang is part of LLVM releases since LLVM 2.6. Its goal is to offer a replacement to the GNU Compiler Collection (GCC). Development is sponsored by Apple. Clang is available under a free software license. The Clang project includes the Clang front end and the Clang static analyzer among others. Starting in 2005, Apple has made extensive use of LLVM in a number of commercial systems, including the iPhone development kit and Xcode 3.1. One of the first uses of LLVM was an OpenGL code compiler for Mac OS X that converts OpenGL calls into more fundamental calls...
