We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent cad0c79 commit ec8d5f0Copy full SHA for ec8d5f0
1 file changed
rust/ql/src/queries/telemetry/DatabaseQuality.qll
@@ -21,7 +21,10 @@ private class RelevantFile extends File {
21
module CallTargetStats implements StatsSig {
22
int getNumberOfOk() {
23
result =
24
- count(CallExprBase c | c.getFile() instanceof RelevantFile and exists(c.getStaticTarget()))
+ count(CallExprBase c |
25
+ c.getFile() instanceof RelevantFile and
26
+ c.(Resolvable).hasResolvedPath()
27
+ )
28
}
29
30
private predicate isLambdaCall(CallExpr call) {
@@ -33,7 +36,7 @@ module CallTargetStats implements StatsSig {
33
36
34
37
additional predicate isNotOkCall(CallExprBase c) {
35
38
c.getFile() instanceof RelevantFile and
- not exists(c.getStaticTarget()) and
39
+ not c.(Resolvable).hasResolvedPath() and
40
not isLambdaCall(c)
41
42
0 commit comments