We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 66ce915 commit c306ba4Copy full SHA for c306ba4
cpp/ql/lib/experimental/semmle/code/cpp/dataflow/ProductFlow.qll
@@ -30,6 +30,7 @@ module ProductFlow {
30
}
31
32
private import Internal
33
+
34
module Internal {
35
class Conf1 extends DataFlow::Configuration {
36
Conf1() { this = "Conf1" }
@@ -54,7 +55,9 @@ module ProductFlow {
54
55
56
57
override predicate isSink(DataFlow::Node sink) {
- exists(Configuration conf | conf.isSinkPair(_, sink))
58
+ exists(Configuration conf, DataFlow::Node sink1 |
59
+ conf.isSinkPair(sink1, sink) and any(Conf1 c).hasFlow(_, sink1)
60
+ )
61
62
63
0 commit comments