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