A configuration of interprocedural taint tracking analysis. This defines sources, sinks, and any other configurable aspect of the analysis. Each use of the taint tracking library must define its own unique extension of this abstract class.
A member (property or field) that is tainted if its containing object is tainted.
Holds if taint propagates from