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 4cbea36 commit 276a4dcCopy full SHA for 276a4dc
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowDispatch.qll
@@ -33,6 +33,11 @@ private module DispatchImpl {
33
result.asSummarizedCallable().getACall() = c.asCall()
34
}
35
36
+ private DataFlowCallable testviableCallable(DataFlowCall c) {
37
+ result = viableCallable(c) and
38
+ result.asCallable().hasName("_getMember")
39
+ }
40
+
41
private DataFlowCallable viableCallable(DataFlowCall c, int k) {
42
result = viableCallable(c) and
43
k = strictcount(viableCallable(c))
0 commit comments