]>
Commit | Line | Data |
---|---|---|
98ed3b22 | 1 | attribute taintedness |
2 | context reference | |
3 | oneof untainted, tainted, untainted | |
4 | defaults | |
5 | reference ==> stainted | |
6 | parameter ==> tainted | |
7 | parameter ==> untainted | |
8 | annotations | |
9 | tainted reference ==> tainted | |
10 | untainted reference ==> untainted | |
11 | maybetainted reference ==> blue | |
12 | merge | |
13 | tainted + * ==> tainted | |
14 | tainted + junky ==> error "Splat!" | |
15 | transfers | |
16 | tainted as untainted ==> error "Possibly tainted storage used as untainted." | |
17 | tainted as tainted ==> tainted | |
18 | untainted as tainted ==> peach | |
19 | untainted as untainted ==> untainted | |
20 | end | |
21 | ||
22 | ||
23 |