hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Exclude deref expressions on raw pointers from call resolution stats

Browse Source
This commit is contained in:
Tom Hvitved
2025-12-09 08:54:51 +01:00
parent bfa37b8488
commit 31b184a404
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
rust/ql/src/queries/telemetry/DatabaseQuality.qll
View File

@@ -8,6 +8,7 @@ import rust
import codeql.util.ReportStats
import codeql.rust.elements.internal.CallExprImpl::Impl as CallExprImpl
import codeql.rust.internal.TypeInference as TypeInference
import codeql.rust.internal.Type
/**
* A file that is included in the quality statistics.
@@ -30,7 +31,8 @@ module CallTargetStats implements StatsSig {
RelevantInvocationExpr() {
this.getFile() instanceof RelevantFile and
not this instanceof CallExprImpl::DynamicCallExpr and
not this = any(Operation o | not o.isOverloaded(_, _, _))
not this = any(Operation o | not o.isOverloaded(_, _, _)) and
not this = any(DerefExpr de | TypeInference::inferType(de.getExpr()) instanceof PtrType)
}
}