Command Line Usage

Usage: fastcheck [options] file1.i file2.i ... 
Available options: (default options marked with X) 
 -help                   Show this help message                            

Source and sinks:
 -sources=s1,...,sn        List of source nodes.                           
     (default sources=malloc,calloc,xmalloc,xcalloc,strdup,strndup)
 -sinks=s1:i1,...,sk:ik    List of sinks s:i (call sink s consummes arg i)   
     (default sinks=free:0,xfree:0)

Stubs and Input:
 -stubs=yes            X Load ../stubs.c file                              
 -parsefrom=    Extract from file.txt the file names to analyze   

Warnings and Output:
 -warns=clist            Print in stdout warnings that match clist.        
   where clist=c1,...,cn is a list of indices and classifications: 
     Indices identify a single bug category: 
       1               X   for the category not_freed.local.not_main       
       2               X   for the category freed.cond.leaked              
       3                   for the category freed.ok                       
       4                   for the category not_freed.not_local            
       5                   for the category not_freed.local.main           
       6                   for the category freed.local.unknown            
       7                   for the category freed.not_local.unknown        
     Classifications group several of them:
       high            X   matches 1 and 2                                 
       medium              matches 4 and 5                                 
       low                 matches 6 and 7                                 
       all                 matches all                                     
       none                print no messages                               

 -printStats=yes         Print overall statistics (# warnings, time)       
 -latex=yes              Generate summary in latex format                  
 -genHtml=yes            Generate html reports (source code highlighting)  
 -genDot=yes             Generate dot file with slice subgraph             
 -genPng=yes             Generage png images using dot (requires           
                          to have dot installed and in path)               

Allocators/producers: 
 -srcLikeSites=yes     X Analyze allocator-like calls as source sites      
 -srcLikeHistory=yes     Print source of allocator-like sites              

Other options: 
 -pointerArithm=yes    X Approximate pointer arithmetic assignments