hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-03 12:45:27 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #19404 from MathiasVP/cleanup-PropagateFlowConfig

Browse Source 
Shared: Use `isSink/1` in `PropagateFlowConfig`
This commit is contained in:
Mathias Vorreiter Pedersen
2025-04-29 10:30:01 +01:00
committed by GitHub
parent d784473dcd b91a2cc159
commit daf953fabe
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
shared/mad/codeql/mad/modelgenerator/internal/ModelGeneratorImpl.qll
View File

@@ -484,10 +484,14 @@ module MakeModelGenerator<
}
predicate isSink(DataFlow::Node sink, FlowState state) {
// Sinks are provided by `isSink/1`
none()
}
predicate isSink(DataFlow::Node sink) {
sink instanceof ReturnNodeExt and
not isOwnInstanceAccessNode(sink) and
not exists(captureQualifierFlow(getAsExprEnclosingCallable(sink))) and
(state instanceof TaintRead or state instanceof TaintStore)
not exists(captureQualifierFlow(getAsExprEnclosingCallable(sink)))
}
predicate isAdditionalFlowStep(