code-analysis.rst
changeset 1180 da61212610e8
parent 1179 ff4d5da903a9
child 1187 eaa71972ea1d
equal deleted inserted replaced
1179:ff4d5da903a9 1180:da61212610e8
    38 ========
    38 ========
    39 
    39 
    40 Dmalloc is a memory debugger C library.
    40 Dmalloc is a memory debugger C library.
    41 
    41 
    42   http://en.wikipedia.org/wiki/Dmalloc
    42   http://en.wikipedia.org/wiki/Dmalloc
       
    43 
       
    44 Avalanche.
       
    45 ==========
       
    46 
       
    47 Avalanche is a dynamic defect detection tool that generates "inputs of death" -
       
    48 input data reproducing critical bugs and vulnerabilities in the analysed
       
    49 program.
       
    50 
       
    51   http://code.google.com/p/avalanche/
       
    52                 Home page.
       
    53   http://en.wikipedia.org/wiki/Avalanche_%28dynamic_analysis_tool%29
       
    54                 Wikipedia page.
    43 
    55 
    44 Sparse.
    56 Sparse.
    45 =======
    57 =======
    46 
    58 
    47 Sparse is a tool designed to find possible coding faults in the Linux kernel.
    59 Sparse is a tool designed to find possible coding faults in the Linux kernel.