| | 1 | |
| | 2 | taintednm.c: (in function f) |
| | 3 | taintednm.c:15:7: Attributes merged in ensures clause in states that cannot be |
| | 4 | combined (t2 is untainted, s is tainted): bogus merge |
| | 5 | taintednm.c:1:32: s becomes tainted |
| | 6 | taintednm.c:24:10: Stack-allocated storage t reachable from return value: t |
| | 7 | |
| | 8 | Finished checking --- 2 code warnings, as expected |
| | 9 | |
| | 10 | taintednm.c: (in function f) |
| | 11 | taintednm.c:16:18: Invalid transfer from tainted t to untainted (Possibly |
| | 12 | tainted storage used as untainted.): system(..., t, ...) |
| | 13 | taintednm.c:15:7: t becomes tainted |
| | 14 | taintednm.xh:23:55: s becomes untainted |
| | 15 | taintednm.c:19:18: Invalid transfer from tainted t to untainted (Possibly |
| | 16 | tainted storage used as untainted.): system(..., t, ...) |
| | 17 | taintednm.c:18:7: t becomes tainted |
| | 18 | taintednm.xh:23:55: s becomes untainted |
| | 19 | taintednm.c:22:18: Invalid transfer from tainted t to untainted (Possibly |
| | 20 | tainted storage used as untainted.): system(..., t, ...) |
| | 21 | taintednm.c:18:7: t becomes tainted |
| | 22 | taintednm.xh:23:55: s becomes untainted |
| | 23 | taintednm.c:24:10: Stack-allocated storage t reachable from return value: t |
| | 24 | |
| | 25 | Finished checking --- 4 code warnings, as expected |
andersk / splint.git / blame_incremental