]> andersk Git - splint.git/blame - test/metastate/tainted-bad.mts
Dave's Updates
[splint.git] / test / metastate / tainted-bad.mts
CommitLineData
80ee600a 1state taintedness
2 context reference
3 oneof untainted, tainted, untainted
4 defaults
5 reference ==> stainted
6 parameter ==> tainted
7 parameter ==> untainted
8 annotations
9 tainted reference ==> tainted
10 untainted reference ==> untainted
11 maybetainted reference ==> blue
12 merge
13 tainted + * ==> tainted
14 tainted + junky ==> error "Splat!"
15 transfers
16 tainted as untainted ==> error "Possibly tainted storage used as untainted."
17 tainted as tainted ==> tainted
18 untainted as tainted ==> peach
19 untainted as untainted ==> untainted
20end
21
22
23
This page took 0.057464 seconds and 5 git commands to generate.