[splint.git] / test / mergestate / tainted.mts

attribute taintedness
   context reference char *
   oneof untainted, tainted
   annotations
      tainted reference ==> tainted
      untainted reference ==> untainted
   transfers
      tainted as untainted ==> error "Possibly tainted storage used as untainted."
      untainted as tainted ==> untainted
   merge
      tainted + untainted ==> tainted
   defaults 
      reference ==> tainted
      parameter ==> tainted
      result ==> tainted
      literal ==> untainted
      null ==> untainted 
end
Commit	Line	Data
68de3f33	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