Encapsultates taint information about a(n implicit) value.
Representation of a tainted value.
The (implicitly referred to) value is not tainted.
Extractor to match tainted values.
Factory method that – given a
DomainValue – creates a TaintInformation
object that encapsulates the information that the value is not tainted.
Tries to find paths from the sources to the sinks.