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