-strncatNotReallyGood.c:4:21: Possible out-of-bounds store. Unable to resolve
- constraint:
- requires: : maxRead ((buffer @ strncatNotReallyGood.c:4:29 ) ) <= ( 0 )
+strncatNotReallyGood.c:4:21: Possible out-of-bounds store:
+ strncat(buffer, str, sizeof((buffer)) - 1)
+ Unable to resolve constraint:
+ requires maxRead(buffer @ strncatNotReallyGood.c:4:29) <= 0