]>
Commit | Line | Data |
---|---|---|
98ed3b22 | 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 | |
0bf5022d | 5 | taintednm.c:1:32: s becomes tainted |
98ed3b22 | 6 | taintednm.c:24:10: Stack-allocated storage t reachable from return value: t |
7 | ||
11db3170 | 8 | Finished checking --- 2 code warnings, as expected |
98ed3b22 | 9 | |
10 | taintednm.c: (in function f) | |
11 | taintednm.c:16:18: Invalid transfer from tainted t to untainted (Possibly | |
0bf5022d | 12 | tainted storage used as untainted.): system(..., t, ...) |
13 | taintednm.c:15:7: t becomes tainted | |
b7e84605 | 14 | taintednm.xh:23:55: s becomes untainted |
98ed3b22 | 15 | taintednm.c:19:18: Invalid transfer from tainted t to untainted (Possibly |
0bf5022d | 16 | tainted storage used as untainted.): system(..., t, ...) |
17 | taintednm.c:18:7: t becomes tainted | |
b7e84605 | 18 | taintednm.xh:23:55: s becomes untainted |
98ed3b22 | 19 | taintednm.c:22:18: Invalid transfer from tainted t to untainted (Possibly |
0bf5022d | 20 | tainted storage used as untainted.): system(..., t, ...) |
21 | taintednm.c:18:7: t becomes tainted | |
b7e84605 | 22 | taintednm.xh:23:55: s becomes untainted |
98ed3b22 | 23 | taintednm.c:24:10: Stack-allocated storage t reachable from return value: t |
24 | ||
11db3170 | 25 | Finished checking --- 4 code warnings, as expected |