*** empty log message ***

[splint.git] / test / moreBufferTests.expect

diff --git a/test/moreBufferTests.expect b/test/moreBufferTests.expect
index 882d0f4fff6caceb41b2bd3bf02eb6371a591c73..a3e9829a0f250372dda6f94ca8d4d70c97a653e4 100644 (file)
--- a/test/moreBufferTests.expect
+++ b/test/moreBufferTests.expect
@@ -1,7 +1,40 @@
 
 unrecogCall.c: (in function foo)
 unrecogCall.c:8:3: Unrecognized identifier: bar
-strrchr.c: (in function bar)
-strrchr.c:9:9: Variable ot declared but not used
+initialization.c: (in function initialization)
+initialization.c:5:10: Variable g declared but not used
+initialization.c:5:14: Possible out-of-bounds read:
+    Unable to resolve constraint:
+    requires maxRead(d @ initialization.c:3:14) >= 22
+     needed to satisfy precondition:
+    requires maxRead(e @ initialization.c:5:14) >= 22
+initialization.c:8:3: Possible out-of-bounds store:
+    Unable to resolve constraint:
+    requires maxSet(d @ initialization.c:3:14) >= 2
+     needed to satisfy precondition:
+    requires maxSet(f @ initialization.c:8:3) >= 2
+simplifyTest.c: (in function fooSub)
+simplifyTest.c:3:3: Possible out-of-bounds store:
+    Unable to resolve constraint:
+    requires maxSet(s @ simplifyTest.c:3:3) >= i @ simplifyTest.c:3:5
+     needed to satisfy precondition:
+    requires maxSet(s @ simplifyTest.c:3:3) >= i @ simplifyTest.c:3:5
+simplifyTest.c: (in function fooAdd)
+simplifyTest.c:10:3: Possible out-of-bounds store:
+    Unable to resolve constraint:
+    requires maxSet(s @ simplifyTest.c:10:3) >= i @ simplifyTest.c:10:5 + 2
+     needed to satisfy precondition:
+    requires maxSet(s @ simplifyTest.c:10:3) >= i @ simplifyTest.c:10:5 + 2
+strncatNotReallyGood.c: (in function NotGoodfunc)
+strncatNotReallyGood.c:4:29: Passed storage buffer not completely defined
+                                (*buffer is undefined): strncat (buffer, ...)
+strncatNotReallyGood.c:4:21: Possible out-of-bounds store:
+    Unable to resolve constraint:
+    requires maxRead(buffer @ strncatNotReallyGood.c:4:29) <= 0
+     needed to satisfy precondition:
+    requires maxSet(buffer @ strncatNotReallyGood.c:4:29) >= maxRead(buffer @
+    strncatNotReallyGood.c:4:29) + 255
+     derived from strncat precondition: requires maxSet(<parameter 1>) >=
+    maxRead(<parameter 1>) + <parameter 3>
 
-Finished LCLint checking --- 2 code errors found
+Finished checking --- 8 code warnings, as expected