test/mystrncat.out

   1
   2 mystrncat.c: (in function func)
   3 mystrncat.c:12:13: Passed storage buffer not completely defined (*buffer is
   4                       undefined): mystrncat (buffer, ...)
   5 mystrncat.c:13:13: Passed storage b not completely defined (*b is undefined):
   6                       mystrncat (b, ...)
   7 mystrncat.c:12:3: Possible out-of-bounds store.  Unable to resolve constraint:
   8     requires: : maxRead ((buffer @ mystrncat.c:12:13 ) )  <=  ( 0 )
   9      needed to satisfy precondition:
  10     requires: : maxSet ((buffer @ mystrncat.c:12:13 ) )  >=  (maxRead ((buffer
  11     @ mystrncat.c:12:13 ) )) + (( 255 ) )
  12      derived from mystrncat precondition: requires: :
  13     maxSet ((<parameter 1> ) )  >=  (maxRead ((<parameter 1> ) )) +
  14     ((<parameter 3> ) )
  15 mystrncat.c:13:3: Possible out-of-bounds store.  Unable to resolve constraint:
  16     requires: : maxRead ((malloc(256) @ mystrncat.c:10:7 ) )  <=  ( 0 )
  17      needed to satisfy precondition:
  18     requires: : maxSet ((b @ mystrncat.c:13:13 ) )  >=  (maxRead ((b @
  19     mystrncat.c:13:13 ) )) + (( 255 ) )
  20      derived from mystrncat precondition: requires: :
  21     maxSet ((<parameter 1> ) )  >=  (maxRead ((<parameter 1> ) )) +
  22     ((<parameter 3> ) )
  23
  24 Finished LCLint checking --- 4 code errors found, as expected