We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent f4f96fe commit 4f07474Copy full SHA for 4f07474
cpp/ql/src/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll
@@ -734,8 +734,8 @@ module TaintedWithPath {
734
* through a global variable.
735
*/
736
predicate taintedWithoutGlobals(Element tainted) {
737
- exists(PathNode sourceNode, FinalPathNode sinkNode |
738
- sourceNode.(WrapPathNode).inner().getNode() = getNodeForSource(_) and
+ exists(AdjustedConfiguration cfg, PathNode sourceNode, FinalPathNode sinkNode |
+ cfg.isSource(sourceNode.(WrapPathNode).inner().getNode()) and
739
edgesWithoutGlobals+(sourceNode, sinkNode) and
740
tainted = sinkNode.inner()
741
)
0 commit comments