test/metastate/tainted-bad.mts

   1 state 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
  20 end
  21
  22
  23