Module TaintTracking::DataFlowExtension

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.

Classes

DataFlowNode

A control flow node that modifies the basic data-flow.

DataFlowVariable

Data flow variable that modifies the basic data-flow.