]>
Commit | Line | Data |
---|---|---|
98ed3b22 | 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, ...) | |
b9904f57 | 7 | mystrncat.c:12:3: Possible out-of-bounds store. Unable to resolve constraint: |
4109ede4 | 8 | requires maxRead(buffer @ mystrncat.c:12:13) <= 0 |
b9904f57 | 9 | needed to satisfy precondition: |
4109ede4 | 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> | |
02984642 | 14 | mystrncat.c:13:3: Possible out-of-bounds store. Unable to resolve constraint: |
4109ede4 | 15 | requires maxRead(malloc(256) @ mystrncat.c:10:7) <= 0 |
02984642 | 16 | needed to satisfy precondition: |
4109ede4 | 17 | requires maxSet(b @ mystrncat.c:13:13) >= maxRead(b @ mystrncat.c:13:13) + |
18 | 255 | |
19 | derived from mystrncat precondition: | |
20 | requires maxSet(<parameter 1>) >= maxRead(<parameter 1>) + <parameter 3> | |
98ed3b22 | 21 | |
22 | Finished LCLint checking --- 4 code errors found, as expected |