Added some new tests: sizeof, and bufferTest.

[splint.git] / test / help.out

diff --git a/test/help.out b/test/help.out
index 3a339badaa1aaaa1f56dc706b2827dec2ec7d8ef..b7e0e5215bfa5677fdd7407f2ce512fb42d94a36 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                  
@@ -162,8 +165,10 @@ Finished LCLint checking --- no code processed
    externalprefix              
    externalprefixexclude       
    f                           
+   fcnconstraint               
    fcnderef                    
    fcnmacros                   
+   fcnpost                     
    fcnuse                      
    fielduse                    
    filestaticprefix            
@@ -888,6 +893,11 @@ 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