Rust [EXPERIMENT]: Reintroduce extractor resolution#20753
Rust [EXPERIMENT]: Reintroduce extractor resolution#20753hvitved wants to merge 4 commits intogithub:mainfrom
Conversation
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
rust/ql/lib/codeql/rust/elements.qll
Outdated
Check warning
Code scanning / CodeQL
Redundant import Warning
| /** | ||
| * One of `PathExpr`, `RecordExpr`, `PathPat`, `RecordPat`, `TupleStructPat` or `MethodCallExpr`. | ||
| */ |
Check warning
Code scanning / CodeQL
Class QLDoc style. Warning
| /** | ||
| * One of `PathExpr`, `RecordExpr`, `PathPat`, `RecordPat`, `TupleStructPat` or `MethodCallExpr`. | ||
| */ |
Check warning
Code scanning / CodeQL
Class QLDoc style. Warning
| toBeTested(x) and not x.isUnknown() and getArg = x.getArg(index) | ||
| } | ||
|
|
||
| query predicate getResolvedPath(MethodCallExpr x, string getResolvedPath) { |
Check warning
Code scanning / CodeQL
Predicates starting with "get" or "as" should return a value Warning generated test
| toBeTested(x) and not x.isUnknown() and getResolvedPath = x.getResolvedPath() | ||
| } | ||
|
|
||
| query predicate getResolvedCrateOrigin(MethodCallExpr x, string getResolvedCrateOrigin) { |
Check warning
Code scanning / CodeQL
Predicates starting with "get" or "as" should return a value Warning generated test
| toBeTested(x) and not x.isUnknown() and getResolvedPath = x.getResolvedPath() | ||
| } | ||
|
|
||
| query predicate getResolvedCrateOrigin(StructExpr x, string getResolvedCrateOrigin) { |
Check warning
Code scanning / CodeQL
Predicates starting with "get" or "as" should return a value Warning generated test
|
|
||
| query predicate instances(StructPat x) { toBeTested(x) and not x.isUnknown() } | ||
|
|
||
| query predicate getResolvedPath(StructPat x, string getResolvedPath) { |
Check warning
Code scanning / CodeQL
Predicates starting with "get" or "as" should return a value Warning generated test
| toBeTested(x) and not x.isUnknown() and getResolvedPath = x.getResolvedPath() | ||
| } | ||
|
|
||
| query predicate getResolvedCrateOrigin(StructPat x, string getResolvedCrateOrigin) { |
Check warning
Code scanning / CodeQL
Predicates starting with "get" or "as" should return a value Warning generated test
|
|
||
| query predicate instances(TupleStructPat x) { toBeTested(x) and not x.isUnknown() } | ||
|
|
||
| query predicate getResolvedPath(TupleStructPat x, string getResolvedPath) { |
Check warning
Code scanning / CodeQL
Predicates starting with "get" or "as" should return a value Warning generated test
| toBeTested(x) and not x.isUnknown() and getResolvedPath = x.getResolvedPath() | ||
| } | ||
|
|
||
| query predicate getResolvedCrateOrigin(TupleStructPat x, string getResolvedCrateOrigin) { |
Check warning
Code scanning / CodeQL
Predicates starting with "get" or "as" should return a value Warning generated test
hvitved
force-pushed
the
rust/extractor-resolution-experiment
branch
4 times, most recently
from
096b7ac to
6683098
Compare
hvitved
force-pushed
the
rust/extractor-resolution-experiment
branch
from
6683098 to
ae1dffa
Compare
1 participant
Partially reverts #20295.