test/tainted/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       /*untainted + tainted ==> tainted */
  13    defaults
  14       reference ==> untainted
  15       parameter ==> tainted
  16       result ==> tainted /* Different from lib/tainted.mts */
  17       literal ==> untainted
  18       null ==> untainted
  19 end
  20
  21
  22