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.
**kwargs
1 parent b6272b3 commit 749e813Copy full SHA for 749e813
python/ql/test/experimental/dataflow/TestUtil/DataFlowConsistency.qll
@@ -20,6 +20,15 @@ private class MyConsistencyConfiguration extends ConsistencyConfiguration {
20
n instanceof SynthDictSplatParameterNode
21
}
22
23
+ override predicate uniqueParameterNodeAtPositionExclude(
24
+ DataFlowCallable c, ParameterPosition pos, Node p
25
+ ) {
26
+ // TODO: This can be removed once we solve the overlap of dictionary splat parameters
27
+ c.getParameter(pos) = p and
28
+ pos.isDictSplat() and
29
+ not exists(p.getLocation().getFile().getRelativePath())
30
+ }
31
+
32
override predicate uniqueParameterNodePositionExclude(
33
DataFlowCallable c, ParameterPosition pos, Node p
34
) {
0 commit comments