Package it.unive.lisa.analysis.taint

Class Summary

Class	Description
BaseTaint<T extends BaseTaint<T>>	A taint analysis, that is, an information-flow analysis tracking only explicit flows.
Taint	A BaseTaint implementation with only two level of taintedness: clean and tainted.
ThreeLevelsTaint	A BaseTaint implementation with three level of taintedness: clean, tainted and top.