| Class | Description |
|---|---|
| TaintAbstractState |
The
TaintAbstractState is a set of TaintSources in the subset order. |
| TaintSink |
A
TaintSink specifies a sink for the taint analysis. |
| TaintSource |
A
TaintSource specifies a method which can taint any (subset) of the following: the instance, the return value, the argument objects, or static fields. |