About the Book
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Pages: 27. Chapters: Lint, List of tools for static code analysis, Clang, Parasoft, Veracode, Sparse, Bauhaus Project, Sonar, GrammaTech, MALPAS Software Static Analysis Toolset, Cppcheck, Extended static checking, Polyspace, Fortify Software, Kalistick, DMS Software Reengineering Toolkit, NDepend, SemmleCode, Coverity, Cscope, Soatest, Splint, ESC/Java, Checkstyle, Pattern Insight, Jtest, Software mining, AdaControl, Yasca, Automated code review, FindBugs, LDRA Testbed, JSLint, Klocwork, FxCop, PMD, 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 for graphics processing units (GPU) that do not support certain features. This allowed Apple to support the entire OpenGL application programming interface (API)...
