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: Workaround for method existing both as source and as dependency

Browse Source
This commit is contained in:
Simon Friis Vindum
2025-05-01 09:07:58 +02:00
parent 781be8df42
commit 3f4bf764d6
1 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
rust/ql/lib/codeql/rust/elements/internal/MethodCallExprImpl.qll
View File

@@ -31,8 +31,9 @@ module Impl {
* ```
*/
class MethodCallExpr extends Generated::MethodCallExpr {
override Function getStaticTarget() {
private Function getStaticTargetFrom(boolean fromSource) {
result = resolveMethodCallExpr(this) and
(if result.fromSource() then fromSource = true else fromSource = false) and
(
// prioritize inherent implementation methods first
isInherentImplFunction(result)
@@ -54,6 +55,13 @@ module Impl {
)
}
override Function getStaticTarget() {
result = this.getStaticTargetFrom(true)
or
not exists(this.getStaticTargetFrom(true)) and
result = this.getStaticTargetFrom(false)
}
private string toStringPart(int index) {
index = 0 and
result = this.getReceiver().toAbbreviatedString()