mirror of
https://github.com/github/codeql.git
synced 2026-03-04 14:46:48 +01:00
11 lines
430 B
Plaintext
11 lines
430 B
Plaintext
import codeql.rust.dataflow.DataFlow
|
|
import codeql.rust.dataflow.internal.DataFlowImpl
|
|
import codeql.rust.dataflow.internal.TaintTrackingImpl
|
|
import utils.test.TranslateModels
|
|
|
|
query predicate additionalTaintStep(DataFlow::Node pred, DataFlow::Node succ) {
|
|
// Taint steps that don't originate from a flow summary.
|
|
RustTaintTracking::defaultAdditionalTaintStep(pred, succ, "") and
|
|
not pred instanceof Node::FlowSummaryNode
|
|
}
|