]>
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 | |
b7e84605 | 6 | tainted.c:3:74: us becomes untainted |
b072092f | 7 | tainted.c: (in function test) |
8 | tainted.c:12:18: Invalid transfer from tainted s to untainted (Possibly tainted | |
0bf5022d | 9 | storage used as untainted.): system(..., s, ...) |
10 | tainted.c:9:34: s becomes tainted | |
53a89507 | 11 | tainted.xh:26:55: s becomes untainted |
b072092f | 12 | tainted.c:17:18: Invalid transfer from tainted t to untainted (Possibly tainted |
0bf5022d | 13 | storage used as untainted.): system(..., t, ...) |
14 | tainted.c:15:3: t becomes tainted | |
53a89507 | 15 | tainted.xh:26:55: s becomes untainted |
b072092f | 16 | tainted.c:20:18: Invalid transfer from tainted t to untainted (Possibly tainted |
0bf5022d | 17 | storage used as untainted.): system(..., t, ...) |
18 | tainted.c:19:3: t becomes tainted | |
53a89507 | 19 | tainted.xh:26:55: s becomes untainted |
b072092f | 20 | |
11db3170 | 21 | Finished checking --- 4 code warnings, as expected |
b072092f | 22 | |
23 | tainted-bad.mts:18:7: Transfer clause uses unrecognized result state peach: | |
24 | untainted as tainted ==> peach | |
25 | tainted-bad.mts:14:17: Merge clause uses unrecognized second value junky: | |
26 | tainted X junky ==> error "Splat!" | |
27 | tainted-bad.mts:11:7: Annotation declaration uses unrecognized value name blue: | |
28 | maybetainted reference ==> blue | |
29 | tainted-bad.mts:5:21: Defaults declaration uses unrecognized value name | |
30 | stainted: stainted reference | |
12f2ffe9 | 31 | tainted-bad.mts:7:21: Duplicate defaults declaration for context parameter: |
32 | untainted parameter | |
b072092f | 33 | tainted.c: (in function f) |
34 | tainted.c:5:20: Invalid transfer from tainted s to untainted (Possibly tainted | |
0bf5022d | 35 | storage used as untainted.): f(..., s, ...) |
36 | tainted.c:3:48: s becomes tainted | |
b7e84605 | 37 | tainted.c:3:74: us becomes untainted |
b072092f | 38 | tainted.c: (in function test) |
39 | tainted.c:12:18: Invalid transfer from tainted s to untainted (Possibly tainted | |
0bf5022d | 40 | storage used as untainted.): system(..., s, ...) |
41 | tainted.c:9:34: s becomes tainted | |
53a89507 | 42 | tainted.xh:26:55: s becomes untainted |
b072092f | 43 | tainted.c:17:18: Invalid transfer from tainted t to untainted (Possibly tainted |
0bf5022d | 44 | storage used as untainted.): system(..., t, ...) |
45 | tainted.c:15:3: t becomes tainted | |
53a89507 | 46 | tainted.xh:26:55: s becomes untainted |
b072092f | 47 | tainted.c:20:18: Invalid transfer from tainted t to untainted (Possibly tainted |
0bf5022d | 48 | storage used as untainted.): system(..., t, ...) |
49 | tainted.c:15:3: t becomes tainted | |
53a89507 | 50 | tainted.xh:26:55: s becomes untainted |
b072092f | 51 | |
11db3170 | 52 | Finished checking --- 9 code warnings, as expected |
b072092f | 53 | |
54 | tainted2.c: (in function test) | |
efd360a3 | 55 | tainted2.c:20:10: Invalid transfer from tainted stk to untainted (Possibly |
56 | tainted storage used as untainted.): return stk | |
0bf5022d | 57 | tainted2.c:17:14: stk becomes tainted |
b7e84605 | 58 | tainted2.c:4:2: becomes untainted |
b072092f | 59 | |
11db3170 | 60 | Finished checking --- 1 code warning, as expected |
b072092f | 61 | |
62 | tainted3.c: (in function test) | |
ccf0a4a8 | 63 | tainted3.c:7:19: Invalid transfer from tainted def to untainted (Possibly |
0bf5022d | 64 | tainted storage used as untainted.): checkUntainted(..., def, ...) |
65 | tainted3.c:4:36: def becomes tainted | |
b7e84605 | 66 | tainted3.c:1:53: def becomes untainted |
b072092f | 67 | |
11db3170 | 68 | Finished checking --- 1 code warning, as expected |
b072092f | 69 | |
70 | tainted4.c: (in function test) | |
ccf0a4a8 | 71 | tainted4.c:9:19: Invalid transfer from tainted def to untainted (*def): |
72 | Possibly tainted storage used as untainted. | |
0bf5022d | 73 | tainted4.c:6:36: def becomes tainted |
b072092f | 74 | |
11db3170 | 75 | Finished checking --- 1 code warning, as expected |
b072092f | 76 | |
11db3170 | 77 | Finished checking --- no warnings |
efd360a3 | 78 | |
79 | taintedmerge.c: (in function f) | |
80 | taintedmerge.c:11:18: Invalid transfer from tainted t to untainted (Possibly | |
0bf5022d | 81 | tainted storage used as untainted.): system(..., t, ...) |
82 | taintedmerge.c:10:3: t becomes tainted | |
53a89507 | 83 | tainted.xh:26:55: s becomes untainted |
efd360a3 | 84 | taintedmerge.c:14:18: Invalid transfer from tainted t to untainted (Possibly |
0bf5022d | 85 | tainted storage used as untainted.): system(..., t, ...) |
86 | taintedmerge.c:13:3: t becomes tainted | |
53a89507 | 87 | tainted.xh:26:55: s becomes untainted |
efd360a3 | 88 | taintedmerge.c:16:10: Stack-allocated storage t reachable from return value: t |
89 | ||
11db3170 | 90 | Finished checking --- 3 code warnings, as expected |
ccf0a4a8 | 91 | |
92 | taintedimplicit.c: (in function dangerouscall) | |
93 | taintedimplicit.c:17:18: Invalid transfer from tainted [result of taintme] to | |
0bf5022d | 94 | untainted (Possibly tainted storage used as untainted.): |
95 | system(..., taintme(s), ...) | |
96 | taintedimplicit.c:17:18: becomes tainted | |
53a89507 | 97 | tainted.xh:26:55: s becomes untainted |
ccf0a4a8 | 98 | |
11db3170 | 99 | Finished checking --- 1 code warning, as expected |
6970c11b | 100 | |
101 | sprintf.c: (in function sp) | |
f9264521 | 102 | sprintf.c:7:3: Buffer overflow possible with sprintf. Recommend using snprintf |
103 | instead: sprintf | |
104 | sprintf.c:10:3: Buffer overflow possible with sprintf. Recommend using | |
105 | snprintf instead: sprintf | |
6970c11b | 106 | sprintf.c:11:18: Invalid transfer from tainted s to untainted (Possibly tainted |
0bf5022d | 107 | storage used as untainted.): system(..., s, ...) |
108 | sprintf.c:10:37: s becomes tainted | |
53a89507 | 109 | tainted.xh:26:55: s1 becomes untainted |
f9264521 | 110 | sprintf.c:13:3: Buffer overflow possible with sprintf. Recommend using |
111 | snprintf instead: sprintf | |
6970c11b | 112 | sprintf.c:14:18: Invalid transfer from tainted s to untainted (Possibly tainted |
0bf5022d | 113 | storage used as untainted.): system(..., s, ...) |
114 | sprintf.c:13:61: s becomes tainted | |
53a89507 | 115 | tainted.xh:26:55: s1 becomes untainted |
6970c11b | 116 | |
f9264521 | 117 | Finished checking --- 5 code warnings, as expected |