| b072092f |
1 | |
| 2 | tainted.c: (in function f) |
| 3 | tainted.c:5:20: Invalid transfer from tainted s to untainted (Possibly tainted |
| 4 | storage used as untainted.): s |
| 5 | tainted.c:3:48: Meta state s becomes tainted |
| 6 | tainted.c: (in function test) |
| 7 | tainted.c:12:18: Invalid transfer from tainted s to untainted (Possibly tainted |
| 8 | storage used as untainted.): s |
| 9 | tainted.c:9:34: Meta state s becomes tainted |
| 10 | tainted.c:17:18: Invalid transfer from tainted t to untainted (Possibly tainted |
| 11 | storage used as untainted.): t |
| 12 | tainted.c:15:3: Meta state t becomes tainted |
| 13 | tainted.c:20:18: Invalid transfer from tainted t to untainted (Possibly tainted |
| 14 | storage used as untainted.): t |
| 15 | tainted.c:19:3: Meta state t becomes tainted |
| 16 | |
| 17 | Finished LCLint checking --- 4 code errors found, as expected |
| 18 | |
| 19 | tainted-bad.mts:18:7: Transfer clause uses unrecognized result state peach: |
| 20 | untainted as tainted ==> peach |
| 21 | tainted-bad.mts:14:17: Merge clause uses unrecognized second value junky: |
| 22 | tainted X junky ==> error "Splat!" |
| 23 | tainted-bad.mts:11:7: Annotation declaration uses unrecognized value name blue: |
| 24 | maybetainted reference ==> blue |
| 25 | tainted-bad.mts:5:21: Defaults declaration uses unrecognized value name |
| 26 | stainted: stainted reference |
| 12f2ffe9 |
27 | tainted-bad.mts:7:21: Duplicate defaults declaration for context parameter: |
| 28 | untainted parameter |
| b072092f |
29 | tainted.c: (in function f) |
| 30 | tainted.c:5:20: Invalid transfer from tainted s to untainted (Possibly tainted |
| 31 | storage used as untainted.): s |
| 32 | tainted.c:3:48: Meta state s becomes tainted |
| 33 | tainted.c: (in function test) |
| 34 | tainted.c:12:18: Invalid transfer from tainted s to untainted (Possibly tainted |
| 35 | storage used as untainted.): s |
| 36 | tainted.c:9:34: Meta state s becomes tainted |
| 37 | tainted.c:17:18: Invalid transfer from tainted t to untainted (Possibly tainted |
| 38 | storage used as untainted.): t |
| 39 | tainted.c:15:3: Meta state t becomes tainted |
| 40 | tainted.c:20:18: Invalid transfer from tainted t to untainted (Possibly tainted |
| 41 | storage used as untainted.): t |
| 42 | tainted.c:15:3: Meta state t becomes tainted |
| 43 | |
| 44 | Finished LCLint checking --- 9 code errors found, as expected |
| 45 | |
| 46 | tainted2.c: (in function test) |
| efd360a3 |
47 | tainted2.c:20:10: Invalid transfer from tainted stk to untainted (Possibly |
| 48 | tainted storage used as untainted.): return stk |
| b072092f |
49 | tainted2.c:17:14: Meta state stk becomes tainted |
| b072092f |
50 | |
| 51 | Finished LCLint checking --- 1 code error found, as expected |
| 52 | |
| 53 | tainted3.c: (in function test) |
| ccf0a4a8 |
54 | tainted3.c:7:19: Invalid transfer from tainted def to untainted (Possibly |
| 55 | tainted storage used as untainted.): def |
| 56 | tainted3.c:4:36: Meta state def becomes tainted |
| b072092f |
57 | |
| 58 | Finished LCLint checking --- 1 code error found, as expected |
| 59 | |
| 60 | tainted4.c: (in function test) |
| ccf0a4a8 |
61 | tainted4.c:9:19: Invalid transfer from tainted def to untainted (*def): |
| 62 | Possibly tainted storage used as untainted. |
| 63 | tainted4.c:6:36: Meta state def becomes tainted |
| b072092f |
64 | |
| 65 | Finished LCLint checking --- 1 code error found, as expected |
| 66 | |
| ccf0a4a8 |
67 | Finished LCLint checking --- no code errors found |
| efd360a3 |
68 | |
| 69 | taintedmerge.c: (in function f) |
| 70 | taintedmerge.c:11:18: Invalid transfer from tainted t to untainted (Possibly |
| 71 | tainted storage used as untainted.): t |
| 72 | taintedmerge.c:10:3: Meta state t becomes tainted |
| 73 | taintedmerge.c:14:18: Invalid transfer from tainted t to untainted (Possibly |
| 74 | tainted storage used as untainted.): t |
| 75 | taintedmerge.c:13:3: Meta state t becomes tainted |
| 76 | taintedmerge.c:16:10: Stack-allocated storage t reachable from return value: t |
| 77 | |
| 78 | Finished LCLint checking --- 3 code errors found, as expected |
| ccf0a4a8 |
79 | |
| 80 | taintedimplicit.c: (in function dangerouscall) |
| 81 | taintedimplicit.c:17:18: Invalid transfer from tainted [result of taintme] to |
| 82 | untainted (Possibly tainted storage used as untainted.): taintme(s) |
| 83 | taintedimplicit.c:17:18: Meta state becomes tainted |
| 84 | |
| 85 | Finished LCLint checking --- 1 code error found, as expected |
andersk / splint.git / blame