2 context reference char *
3 oneof untainted, tainted
5 tainted reference ==> tainted
6 untainted reference ==> untainted
8 tainted as untainted ==> error "Possibly tainted storage used as untainted."
9 untainted as tainted ==> untainted
11 tainted + untainted ==> tainted
12 /*untainted + tainted ==> tainted */