This module contains the implementation of taint-flow.
It is recommended that users use the
TaintedNode class, rather than using this module directly
as the interface of this module may change without warning.
Extension for data-flow, to help express data-flow paths that are library or framework specific and cannot be inferred by the general data-flow machinery.
Part of the combined points-to, call-graph and type-inference library. The main relation