Skip to content

Commit 974e75b

Browse files
committed
Fix interaction between defaultAdditionalTaintStep and defaultImplicitTaintRead.
1 parent aa43d50 commit 974e75b

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

shared/dataflow/codeql/dataflow/TaintTracking.qll

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -71,7 +71,8 @@ module TaintFlowMake<
7171
Config::isSink(node) or
7272
Config::isSink(node, _) or
7373
Config::isAdditionalFlowStep(node, _, _) or
74-
Config::isAdditionalFlowStep(node, _, _, _, _)
74+
Config::isAdditionalFlowStep(node, _, _, _, _) or
75+
defaultAdditionalTaintStep(node, _, _)
7576
) and
7677
defaultImplicitTaintRead(node, c)
7778
}

0 commit comments

Comments
 (0)