]>
Commit | Line | Data |
---|---|---|
b072092f | 1 | |
2 | tainted.c: (in function f) | |
3 | tainted.c:5:20: Invalid transfer from tainted s to untainted (Possibly tainted | |
0bf5022d | 4 | storage used as untainted.): f(..., s, ...) |
5 | tainted.c:3:48: s becomes tainted | |
b072092f | 6 | tainted.c: (in function test) |
7 | tainted.c:12:18: Invalid transfer from tainted s to untainted (Possibly tainted | |
0bf5022d | 8 | storage used as untainted.): system(..., s, ...) |
9 | tainted.c:9:34: s becomes tainted | |
b072092f | 10 | tainted.c:17:18: Invalid transfer from tainted t to untainted (Possibly tainted |
0bf5022d | 11 | storage used as untainted.): system(..., t, ...) |
12 | tainted.c:15:3: t becomes tainted | |
b072092f | 13 | tainted.c:20:18: Invalid transfer from tainted t to untainted (Possibly tainted |
0bf5022d | 14 | storage used as untainted.): system(..., t, ...) |
15 | tainted.c:19:3: t becomes tainted | |
b072092f | 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 | |
0bf5022d | 31 | storage used as untainted.): f(..., s, ...) |
32 | tainted.c:3:48: s becomes tainted | |
b072092f | 33 | tainted.c: (in function test) |
34 | tainted.c:12:18: Invalid transfer from tainted s to untainted (Possibly tainted | |
0bf5022d | 35 | storage used as untainted.): system(..., s, ...) |
36 | tainted.c:9:34: s becomes tainted | |
b072092f | 37 | tainted.c:17:18: Invalid transfer from tainted t to untainted (Possibly tainted |
0bf5022d | 38 | storage used as untainted.): system(..., t, ...) |
39 | tainted.c:15:3: t becomes tainted | |
b072092f | 40 | tainted.c:20:18: Invalid transfer from tainted t to untainted (Possibly tainted |
0bf5022d | 41 | storage used as untainted.): system(..., t, ...) |
42 | tainted.c:15:3: t becomes tainted | |
b072092f | 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 | |
0bf5022d | 49 | tainted2.c:17:14: 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 |
0bf5022d | 55 | tainted storage used as untainted.): checkUntainted(..., def, ...) |
56 | tainted3.c:4:36: 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. | |
0bf5022d | 63 | tainted4.c:6:36: 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 | |
0bf5022d | 71 | tainted storage used as untainted.): system(..., t, ...) |
72 | taintedmerge.c:10:3: t becomes tainted | |
efd360a3 | 73 | taintedmerge.c:14:18: Invalid transfer from tainted t to untainted (Possibly |
0bf5022d | 74 | tainted storage used as untainted.): system(..., t, ...) |
75 | taintedmerge.c:13:3: t becomes tainted | |
efd360a3 | 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 | |
0bf5022d | 82 | untainted (Possibly tainted storage used as untainted.): |
83 | system(..., taintme(s), ...) | |
84 | taintedimplicit.c:17:18: becomes tainted | |
ccf0a4a8 | 85 | |
86 | Finished LCLint checking --- 1 code error found, as expected | |
6970c11b | 87 | |
88 | sprintf.c: (in function sp) | |
89 | sprintf.c:11:18: Invalid transfer from tainted s to untainted (Possibly tainted | |
0bf5022d | 90 | storage used as untainted.): system(..., s, ...) |
91 | sprintf.c:10:37: s becomes tainted | |
6970c11b | 92 | sprintf.c:14:18: Invalid transfer from tainted s to untainted (Possibly tainted |
0bf5022d | 93 | storage used as untainted.): system(..., s, ...) |
94 | sprintf.c:13:61: s becomes tainted | |
6970c11b | 95 | |
96 | Finished LCLint checking --- 2 code errors found, as expected |