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