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