Added support for or constraints.

[splint.git] / test / help.out

diff --git a/test/help.out b/test/help.out
index 3a339badaa1aaaa1f56dc706b2827dec2ec7d8ef..6e9fb9e349649b6c842628a2f5df94c750fb1575 100644 (file)
--- a/test/help.out
+++ b/test/help.out
@@ -82,6 +82,8 @@ Finished LCLint checking --- no code processed
    ansilimits                  
    ansireserved                
    ansireservedinternal        
+   arrayread                   
+   arraywrite                  
    assignexpose                
    badflag                     
    bitwisesigned               
@@ -92,6 +94,7 @@ Finished LCLint checking --- no code processed
    booltrue                    
    booltype                    
    branchstate                 
+   bufferoverflow              
    casebreak                   
    castexpose                  
    castfcnptr                  
@@ -111,6 +114,7 @@ Finished LCLint checking --- no code processed
    constmacros                 
    constprefix                 
    constprefixexclude          
+   constraintlocation          
    constuse                    
    continuecomment             
    controlnestdepth            
@@ -162,8 +166,10 @@ Finished LCLint checking --- no code processed
    externalprefix              
    externalprefixexclude       
    f                           
+   fcnconstraint               
    fcnderef                    
    fcnmacros                   
+   fcnpost                     
    fcnuse                      
    fielduse                    
    filestaticprefix            
@@ -211,6 +217,7 @@ Finished LCLint checking --- no code processed
    impcheckmodspecglobs        
    impcheckmodstatics          
    impconj                     
+   implictconstraint           
    impouts                     
    imptype                     
    includenest                 
@@ -321,6 +328,7 @@ Finished LCLint checking --- no code processed
    oldstyle                    
    onlytrans                   
    onlyunqglobaltrans          
+   orconstraint                
    overload                    
    ownedtrans                  
    paramimptemp                
@@ -888,6 +896,14 @@ ansilimits --- check for violations of standard limits (controlnestdepth,
 stringliterallen, includenest, numstructfields, numenummembers)
 null --- misuses of null pointer
 nullterminated --- misuse of nullterminated allocation
+bufferoverflow --- possible buffer overflow
+arrayread --- possible out of bounds read
+arraywrite --- possible buffer overflow from an out of bounds write
+fcnpost --- Function has the post condition
+fcnconstraint --- unresolved constraint
+constraintlocation --- display full c expression for every constraint generated
+implictconstraint --- Try to generate implicit constraints for functions
+orconstraint --- Use limited OR expressions to resolve constraints
 nullterminated --- misuse of nullterminated allocation
 nullderef --- possible dereferencce of null pointer
 fcnderef --- dereferencce of a function type