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):
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:
13 requires maxSet(<parameter 1>) >= maxRead(<parameter 1>) + <parameter 3>
14 mystrncat.c:13:3: Possible out-of-bounds store. Unable to resolve constraint:
15 requires maxRead(malloc(256) @ mystrncat.c:10:7) <= 0
16 needed to satisfy precondition:
17 requires maxSet(b @ mystrncat.c:13:13) >= maxRead(b @ mystrncat.c:13:13) +
19 derived from mystrncat precondition:
20 requires maxSet(<parameter 1>) >= maxRead(<parameter 1>) + <parameter 3>
22 Finished LCLint checking --- 4 code errors found, as expected