Module TaintTracking
Import path
import csharp
Imports
TaintFlowMake<Location::Location, DataFlowImplSpecific::CsharpDataFlow, TaintTrackingImplSpecific::CsharpTaintTracking> | Construct the modules for taint-tracking analyses. |
Predicates
localExprTaint | Holds if taint can flow from |
localTaint | Holds if taint propagates from |
Classes
TaintedMember | A member (property or field) that is tainted if its containing object is tainted. |
Aliases
localTaintStep | Holds if taint propagates from |