Module TaintTrackingUtil
Import path
import semmle.code.cpp.ir.dataflow.internal.TaintTrackingUtil
Predicates
defaultAdditionalTaintStep |
Holds if the additional step from |
defaultImplicitTaintRead |
Holds if default |
defaultTaintSanitizer |
Holds if |
localAdditionalTaintStep |
Holds if taint can flow in one local step from |
localExprTaint |
Holds if taint can flow from |
localInstructionTaint |
Holds if taint can flow from |
localTaint |
Holds if taint may propagate from |
localTaintStep |
Holds if taint propagates from |
modeledTaintStep |
Holds if taint can flow from |