code-analysis.rst
changeset 1322 fd6361e16489
parent 1187 eaa71972ea1d
child 1334 9bf0d5a1f0cf
equal deleted inserted replaced
1321:baa1dd97c9e1 1322:fd6361e16489
    22 Secure Programming Lint, is a programming tool for statically checking C
    22 Secure Programming Lint, is a programming tool for statically checking C
    23 programs for security vulnerabilities and coding mistakes. Formerly called
    23 programs for security vulnerabilities and coding mistakes. Formerly called
    24 LCLint, it is a modern version of the Unix lint tool.
    24 LCLint, it is a modern version of the Unix lint tool.
    25 
    25 
    26   http://en.wikipedia.org/wiki/Splint_%28programming_tool%29
    26   http://en.wikipedia.org/wiki/Splint_%28programming_tool%29
       
    27 
       
    28 weblint.
       
    29 ========
       
    30 
       
    31 Syntax and minimal style checker for HTML.
       
    32 
       
    33 lintsh.
       
    34 =======
       
    35 
       
    36 Lintsh is a Bourne shell that optionally warns about suspicious or nonportable
       
    37 constructs.
       
    38 
       
    39   http://code.dogmap.org/lintsh/
       
    40                 Home page.
    27 
    41 
    28 Valgrind.
    42 Valgrind.
    29 =========
    43 =========
    30 
    44 
    31 Runs programs on a virtual processor and can detect memory errors (e.g., misuse
    45 Runs programs on a virtual processor and can detect memory errors (e.g., misuse