CodeQL library for Java/Kotlin
codeql/java-all 0.8.12 (changelog, source)
Search

Module FlowSteps

Provides classes representing various flow steps for taint tracking.

Import path

import semmle.code.java.dataflow.FlowSteps

Classes

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.

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.