Added some expect files.

[splint.git] / test / help.expect

diff --git a/test/help.expect b/test/help.expect
index f47e614d813258ab8548d76ec6d88abb0215b366..b7e0e5215bfa5677fdd7407f2ce512fb42d94a36 100644 (file)
--- a/test/help.expect
+++ b/test/help.expect
@@ -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                  
@@ -162,8 +165,10 @@ Finished LCLint checking --- no code processed
    externalprefix              
    externalprefixexclude       
    f                           
+   fcnconstraint               
    fcnderef                    
    fcnmacros                   
+   fcnpost                     
    fcnuse                      
    fielduse                    
    filestaticprefix            
@@ -312,6 +317,8 @@ Finished LCLint checking --- no code processed
    nullptrarith                
    nullret                     
    nullstate                   
+   nullterminated              
+   nullterminated              
    numenummembers              
    numliteral                  
    numstructfields             
@@ -885,6 +892,13 @@ includenest --- set maximum number of nested #include files
 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
+nullterminated --- misuse of nullterminated allocation
 nullderef --- possible dereferencce of null pointer
 fcnderef --- dereferencce of a function type
 nullpass --- possibly null pointer passed as formal with no null annotation