]>
Commit | Line | Data |
---|---|---|
754e4dbd | 1 | |
11db3170 | 2 | Finished checking --- no warnings |
754e4dbd | 3 | |
4 | maxsetnoannotations.c: (in function noancopy) | |
6317f163 | 5 | maxsetnoannotations.c:2:3: Possible out-of-bounds store: strcpy(a, b) |
7bf96067 | 6 | Unable to resolve constraint: |
4109ede4 | 7 | requires maxSet(a @ maxsetnoannotations.c:2:11) >= maxRead(b @ |
8 | maxsetnoannotations.c:2:13) | |
03d670b6 | 9 | needed to satisfy precondition: |
4109ede4 | 10 | requires maxSet(a @ maxsetnoannotations.c:2:11) >= maxRead(b @ |
11 | maxsetnoannotations.c:2:13) | |
12 | derived from strcpy precondition: requires maxSet(<parameter 1>) >= | |
13 | maxRead(<parameter 2>) | |
754e4dbd | 14 | |
11db3170 | 15 | Finished checking --- 1 code warning, as expected |