Rust [EXPERIMENT]: Reintroduce extractor resolution #20753

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft

hvitved wants to merge 4 commits into github:main from hvitved:rust/extractor-resolution-experiment

+1,336 −558

Draft

Rust [EXPERIMENT]: Reintroduce extractor resolution #20753

Restrict resolution

GitHub Advanced Security / CodeQL completed Nov 9, 2025 in 7s

5 configurations not found

Warning: Code scanning may not have found all the alerts introduced by this pull request, because 5 configurations present on refs/heads/main were not found:

Actions workflow (`csv-coverage-metrics.yml`)

❓ .github/workflows/csv-coverage-metrics.yml:publish-csharp
❓ .github/workflows/csv-coverage-metrics.yml:publish-java

Actions workflow (`codeql-analysis.yml`)

❓ .github/workflows/codeql-analysis.yml:CodeQL-Build/language:actions
❓ .github/workflows/codeql-analysis.yml:CodeQL-Build/language:csharp

Actions workflow (`cpp-swift-analysis.yml`)

❓ .github/workflows/cpp-swift-analysis.yml:CodeQL-Build

New alerts in code changed by this pull request

16 warnings

See annotations below for details.

View all branch alerts.

Annotations

Check warning on line 32 in rust/ql/lib/codeql/rust/elements.qll

Code scanning / CodeQL

Redundant import Warning

Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.
Redundant import, the module is already imported

Check warning on line 142 in rust/ql/lib/codeql/rust/elements.qll

Code scanning / CodeQL

Redundant import Warning

Redundant import, the module is already imported inside

.
Redundant import, the module is already imported inside

.

Check warning on line 11 in rust/ql/lib/codeql/rust/elements/Resolvable.qll

Code scanning / CodeQL

Class QLDoc style. Warning

The QLDoc for a class should start with 'A', 'An', or 'The'.

Check warning on line 17 in rust/ql/lib/codeql/rust/elements/internal/ResolvableImpl.qll

Code scanning / CodeQL

Class QLDoc style. Warning

The QLDoc for a class should start with 'A', 'An', or 'The'.

Check warning on line 19 in rust/ql/test/extractor-tests/generated/MethodCallExpr/MethodCallExpr.ql

Code scanning / CodeQL

Predicates starting with "get" or "as" should return a value Warning generated test

This predicate starts with 'get' but does not return a value.

Check warning on line 23 in rust/ql/test/extractor-tests/generated/MethodCallExpr/MethodCallExpr.ql

Code scanning / CodeQL

Predicates starting with "get" or "as" should return a value Warning generated test

This predicate starts with 'get' but does not return a value.

Check warning on line 7 in rust/ql/test/extractor-tests/generated/Path/PathExpr.ql

Code scanning / CodeQL

Predicates starting with "get" or "as" should return a value Warning generated test

This predicate starts with 'get' but does not return a value.

Check warning on line 11 in rust/ql/test/extractor-tests/generated/Path/PathExpr.ql

Code scanning / CodeQL

Predicates starting with "get" or "as" should return a value Warning generated test

This predicate starts with 'get' but does not return a value.

Check warning on line 7 in rust/ql/test/extractor-tests/generated/Path/PathPat.ql

Code scanning / CodeQL

Predicates starting with "get" or "as" should return a value Warning generated test

This predicate starts with 'get' but does not return a value.

Check warning on line 11 in rust/ql/test/extractor-tests/generated/Path/PathPat.ql

Code scanning / CodeQL

Predicates starting with "get" or "as" should return a value Warning generated test

This predicate starts with 'get' but does not return a value.

Check warning on line 7 in rust/ql/test/extractor-tests/generated/StructExpr/StructExpr.ql

Code scanning / CodeQL

Predicates starting with "get" or "as" should return a value Warning generated test

This predicate starts with 'get' but does not return a value.

Check warning on line 11 in rust/ql/test/extractor-tests/generated/StructExpr/StructExpr.ql

Code scanning / CodeQL

Predicates starting with "get" or "as" should return a value Warning generated test

This predicate starts with 'get' but does not return a value.

Check warning on line 7 in rust/ql/test/extractor-tests/generated/StructPat/StructPat.ql

Code scanning / CodeQL

Predicates starting with "get" or "as" should return a value Warning generated test

This predicate starts with 'get' but does not return a value.

Check warning on line 11 in rust/ql/test/extractor-tests/generated/StructPat/StructPat.ql

Code scanning / CodeQL

Predicates starting with "get" or "as" should return a value Warning generated test

This predicate starts with 'get' but does not return a value.

Check warning on line 7 in rust/ql/test/extractor-tests/generated/TupleStructPat/TupleStructPat.ql

Code scanning / CodeQL

Predicates starting with "get" or "as" should return a value Warning generated test

This predicate starts with 'get' but does not return a value.

Check warning on line 11 in rust/ql/test/extractor-tests/generated/TupleStructPat/TupleStructPat.ql

Code scanning / CodeQL

Predicates starting with "get" or "as" should return a value Warning generated test

This predicate starts with 'get' but does not return a value.