Module TaintTrackingUtil
Import path
import semmle.code.java.dataflow.internal.TaintTrackingUtil
Predicates
defaultImplicitTaintRead |
Holds if default |
localExprTaint |
Holds if taint can flow from |
localTaint |
Holds if taint can flow from |
Classes
ObjectOutputStreamVar |
A local variable that is assigned an |
Modules
LocalTaintFlow |
Provides local taint flow restricted to a given set of sources and sinks. |
StringBuilderVarModule |
Predicate signatures
nodeSig |
Holds if |