Secure Programming Lint, is a programming tool for statically checking C programs for security vulnerabilities and coding mistakes. Formerly called LCLint, it is a modern version of the Unix lint tool.
Syntax and minimal style checker for HTML.
Lintsh is a Bourne shell that optionally warns about suspicious or nonportable constructs.
Runs programs on a virtual processor and can detect memory errors (e.g., misuse of malloc and free) and race conditions in multithread programs.
Avalanche is a dynamic defect detection tool that generates "inputs of death" - input data reproducing critical bugs and vulnerabilities in the analysed program.
Sparse is a tool designed to find possible coding faults in the Linux kernel.
PMD is a static ruleset based Java source code analyzer that identifies potential problems.
PMD has plugins for JDeveloper, Eclipse, JEdit, JBuilder, Omnicore's CodeGuide, NetBeans/Sun Studio, IntelliJ IDEA, TextPad, Maven, Ant, Gel, JCreator, Hudson, Jenkins, Sonar and Emacs.
Static code analysis tool used in software development for checking if Java source code complies with coding rules.
It is provided primarily as an online tool, but there are also command-line adaptations.
Squale (Software Quality Enhancement) is an open-source platform that helps monitoring software quality for multi-language applications. It currently supports Java out-of-the-box, and can also analyse C/C++ and Cobol code with an adapter to McCabe tool. Squale is distributed under the terms of the LGPL v3 licence.
Sonar uses various static code analysis tools such as Checkstyle, PMD, FindBugs, Clover to extract software metrics.
Count files or LOC in project hierarchy:
$ sudo apt-get install sloccount $ sloccount --addlangall $DIR/$PROJ $ rm -r $HOME/.slocdata/$PROJ