]> andersk Git - splint.git/blame - test/mystrncat.expect
*** empty log message ***
[splint.git] / test / mystrncat.expect
CommitLineData
98ed3b22 1
2mystrncat.c: (in function func)
3mystrncat.c:12:13: Passed storage buffer not completely defined (*buffer is
4 undefined): mystrncat (buffer, ...)
5mystrncat.c:13:13: Passed storage b not completely defined (*b is undefined):
6 mystrncat (b, ...)
b9904f57 7mystrncat.c:13:3: Possible out-of-bounds store. Unable to resolve constraint:
8 requires: : maxRead ((malloc(256) @ mystrncat.c:10:7 ) ) <= ( 0 )
9 needed to satisfy precondition:
10 requires: : maxSet ((b @ mystrncat.c:13:13 ) ) >= (maxRead ((b @
11 mystrncat.c:13:13 ) )) + (( 255 ) )
12 derived from mystrncat precondition: requires: :
13 maxSet ((<parameter 1> ) ) >= (maxRead ((<parameter 1> ) )) +
98ed3b22 14 ((<parameter 3> ) )
b9904f57 15mystrncat.c:12:3: Possible out-of-bounds store. Unable to resolve constraint:
16 requires: : maxRead ((buffer @ mystrncat.c:12:13 ) ) <= ( 0 )
17 needed to satisfy precondition:
18 requires: : maxSet ((buffer @ mystrncat.c:12:13 ) ) >= (maxRead ((buffer
19 @ mystrncat.c:12:13 ) )) + (( 255 ) )
20 derived from mystrncat precondition: requires: :
21 maxSet ((<parameter 1> ) ) >= (maxRead ((<parameter 1> ) )) +
98ed3b22 22 ((<parameter 3> ) )
23
24Finished LCLint checking --- 4 code errors found, as expected
This page took 0.048102 seconds and 5 git commands to generate.