test/moreBufferTests.expect

   1
   2 unrecogCall.c: (in function foo)
   3 unrecogCall.c:8:3: Unrecognized identifier: bar
   4 initialization.c: (in function initialization)
   5 initialization.c:5:10: Variable g declared but not used
   6 initialization.c:8:3: Possible out-of-bounds store.  Unable to resolve
   7     constraint:
   8     requires: : maxSet ((d @ initialization.c:3:14 ) )  >=  ( 2 )
   9      needed to satisfy precondition:
  10     requires: : maxSet ((f @ initialization.c:8:3 ) )  >=  ( 2 )
  11 initialization.c:5:14: Possible out-of-bounds read.  Unable to resolve
  12     constraint:
  13     requires: : maxRead ((d @ initialization.c:3:14 ) )  >=  ( 22 )
  14      needed to satisfy precondition:
  15     requires: : maxRead ((e @ initialization.c:5:14 ) )  >=  ( 22 )
  16 simplifyTest.c: (in function fooSub)
  17 simplifyTest.c:3:3: Possible out-of-bounds store.  Unable to resolve
  18     constraint:
  19     requires: : maxSet ((s @ simplifyTest.c:3:3 ) )  >=  (i @
  20     simplifyTest.c:3:5 )
  21      needed to satisfy precondition:
  22     requires: : maxSet ((s @ simplifyTest.c:3:3 ) )  >=  (i @
  23     simplifyTest.c:3:5 )
  24 simplifyTest.c: (in function fooAdd)
  25 simplifyTest.c:10:3: Possible out-of-bounds store.  Unable to resolve
  26     constraint:
  27     requires: : maxSet ((s @ simplifyTest.c:10:3 ) )  >=  ((i @
  28     simplifyTest.c:10:5 ) ) + (( 2 ) )
  29      needed to satisfy precondition:
  30     requires: : maxSet ((s @ simplifyTest.c:10:3 ) )  >=  ((i @
  31     simplifyTest.c:10:5 ) ) + (( 2 ) )
  32 strncatNotReallyGood.c: (in function NotGoodfunc)
  33 strncatNotReallyGood.c:4:29: Passed storage buffer not completely defined
  34                                 (*buffer is undefined): strncat (buffer, ...)
  35 strncatNotReallyGood.c:4:21: Possible out-of-bounds store.  Unable to resolve
  36     constraint:
  37     requires: : maxRead ((buffer @ strncatNotReallyGood.c:4:29 ) )  <=  ( 0 )
  38      needed to satisfy precondition:
  39     requires: : maxSet ((buffer @ strncatNotReallyGood.c:4:29 ) )  >=  (maxRead
  40     ((buffer @ strncatNotReallyGood.c:4:29 ) )) + (( 255 ) )
  41
  42 Finished LCLint checking --- 8 code errors found