<page_title> List of tools for static code analysis </page_title> <section_title> C, C++ </section_title> <table> <cell> Sparse <col_header> Tool </col_header> <col_header> Astrée </col_header> <col_header> Axivion Bauhaus Suite </col_header> <col_header> BLAST – (Berkeley Lazy Abstraction Software verification Tool) </col_header> <col_header> Clang </col_header> <col_header> CLion </col_header> <col_header> Coccinelle </col_header> <col_header> Coverity </col_header> <col_header> Cppcheck </col_header> <col_header> Cppdepend </col_header> <col_header> cpplint </col_header> <col_header> ECLAIR </col_header> <col_header> Eclipse </col_header> <col_header> Fluctuat </col_header> <col_header> Frama-C </col_header> <col_header> Goanna </col_header> <col_header> GrammaTech CodeSonar </col_header> <col_header> Helix QAC </col_header> <col_header> Infer </col_header> <col_header> Klocwork Static Code Analysis </col_header> <col_header> Lint </col_header> <col_header> LDRA Testbed </col_header> <col_header> Parasoft C/C++test </col_header> <col_header> PC-Lint </col_header> <col_header> Polyspace </col_header> <col_header> SLAM project </col_header> </cell> <cell> An open-source tool designed to find faults in the Linux kernel. <col_header> Notes </col_header> <row_header> Sparse </row_header> </cell> </table>
Sparse is a static tool, which was designed for kernel.