]>
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 | |
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 | |
27 | tainted-bad.mts:7:21: Duplicate defaults declaration for context param: | |
28 | untainted param | |
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) | |
47 | tainted2.c:18:5: Control branches merge with incompatible states for stk | |
48 | (untainted and tainted): Incompatible state merge (default behavior) | |
49 | tainted2.c:17:14: Meta state stk becomes tainted | |
50 | tainted2.c:11:7: Meta state stk becomes untainted | |
51 | ||
52 | Finished LCLint checking --- 1 code error found, as expected | |
53 | ||
54 | tainted3.c: (in function test) | |
55 | tainted3.c:7:3: Requires clause of called function checkUntainted not satisfied | |
56 | by def (state is tainted): requires untainted def | |
57 | ||
58 | Finished LCLint checking --- 1 code error found, as expected | |
59 | ||
60 | tainted4.c: (in function test) | |
61 | tainted4.c:7:3: Requires clause of called function checkUntainted not satisfied | |
62 | by def (state is tainted): requires untainted *def | |
63 | ||
64 | Finished LCLint checking --- 1 code error found, as expected | |
65 | ||
66 | tainted5.c: (in function test) | |
67 | tainted5.c:7:3: Requires clause of called function checkTainted not satisfied | |
68 | by def (state is untainted): requires tainted *def | |
69 | tainted5.c: (in function test2) | |
70 | tainted5.c:13:3: Requires clause of called function checkTainted not satisfied | |
71 | by *def (state is untainted): requires tainted *def | |
72 | ||
73 | Finished LCLint checking --- 2 code errors found, as expected |