test/mergestate/tainted.mts

   1 attribute 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    defaults
  13       reference ==> tainted
  14       parameter ==> tainted
  15       result ==> tainted
  16       literal ==> untainted
  17       null ==> untainted
  18 end
  19
  20
  21