lib/tainted.mts

   1 attribute taintedness
   2    context reference char *
   3    oneof untainted, tainted
   4    annotations
   5       tainted reference ==> tainted
   6       untainted reference ==> untainted
   7       anytainted parameter ==> tainted
   8    transfers
   9       tainted as untainted ==> error "Possibly tainted storage used as untainted."
  10    merge
  11       tainted + untainted ==> tainted
  12    defaults
  13       reference ==> tainted
  14       literal ==> untainted
  15       null ==> untainted
  16 end
  17
  18
  19