|
|
|
|
|
|
|
|
|
|
| strncat.c:4:21:
Possible out-of-bounds store: |
|||||||||
| strncat(buffer, str, sizeof((buffer))
- 1); |
|||||||||
| Unable to resolve constraint: |
|||||||||
| requires maxRead (buffer @
strncat.c:4:29) <= 0 |
|||||||||
| needed to satisfy precondition: |
|||||||||
| requires maxSet (buffer @
strncat.c:4:29) |
|||||||||
| >= maxRead (buffer @
strncat.c:4:29) + 255 |
|||||||||
| derived from strncat precondition: |
|||||||||
| requires maxSet (<parameter 1>) |
|||||||||
| >= maxRead (<parameter1>) +
<parameter 3> |
|||||||||
