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

Module FlowSteps

Provides classes representing various flow steps for taint tracking.

Import path

import semmle.code.java.dataflow.FlowSteps

Classes

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.