Module FlowSteps

Provides classes representing various flow steps for taint tracking.

Import path

import semmle.code.java.dataflow.FlowSteps

AdditionalDataFlowNode	A unit class for adding additional data flow nodes.
AdditionalReadStep	A unit class for adding additional read steps.
AdditionalStoreStep	A unit class for adding additional store steps.
AdditionalTaintStep	A unit class for adding additional taint steps.
AdditionalValueStep	A unit class for adding additional value steps.
DefaultTaintSanitizer	A sanitizer in all global taint flow configurations but not in local taint.
FluentMethod	A method that returns the exact value of its qualifier (e.g., `return this;`)
TaintInheritingContent	A `Content` that should be implicitly regarded as tainted whenever an object with such `Content` is itself tainted.
TaintPreservingCallable	A method or constructor that preserves taint.
ValuePreservingMethod	A method that returns the exact value of one of its parameters or the qualifier.