1attribute 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 ==> untainted
15      parameter ==> tainted
16      result ==> tainted /* Different from lib/tainted.mts */
17      literal ==> untainted
18      null ==> untainted
19end
20
21
22
23