-Finished LCLint checking --- no code errors found
-/afs/cert.org/usr/dlaroche/LCLintDev/test/maxset
+Finished checking --- no warnings
maxsetnoannotations.c: (in function noancopy)
-maxsetnoannotations.c:4:1: Unresolved constraint:
- Lclint is unable to resolve Requires: : MAXSET ((a @ maxsetnoannotations.c:4
- :9 ) ) >= MAXREAD ((b @ maxsetnoannotations.c:4:11 ) ) needed to satisfy
- Requires: : MAXSET ((a @ maxsetnoannotations.c:4:9 ) ) >= MAXREAD ((b @
- maxsetnoannotations.c:4:11 ) ) derived from strcpy precondition: Requires:
- : MAXSET ((<parameter 1> ) ) >= MAXREAD ((<parameter 2> ) )
+maxsetnoannotations.c:2:3: Possible out-of-bounds store:
+ strcpy(a, b)
+ Unable to resolve constraint:
+ requires maxSet(a @ maxsetnoannotations.c:2:11) >= maxRead(b @
+ maxsetnoannotations.c:2:13)
+ needed to satisfy precondition:
+ requires maxSet(a @ maxsetnoannotations.c:2:11) >= maxRead(b @
+ maxsetnoannotations.c:2:13)
+ derived from strcpy precondition: requires maxSet(<parameter 1>) >=
+ maxRead(<parameter 2>)
-Finished LCLint checking --- 1 code error found
+Finished checking --- 1 code warning, as expected