Simon Friis Vindum
|
eea70069e7
|
Rust: Infer certain type information for struct expressions
|
2025-09-11 09:53:56 +02:00 |
|
Simon Friis Vindum
|
d1a3294f06
|
Merge branch 'main' into rust/request-forgery-query
|
2025-09-10 14:48:22 +02:00 |
|
Simon Friis Vindum
|
c73d081a32
|
Rust: Fix based on review
|
2025-09-10 14:41:20 +02:00 |
|
Tom Hvitved
|
a1980ee23c
|
Shared: Make some generalizations in type inference library
|
2025-09-09 15:05:56 +02:00 |
|
Simon Friis Vindum
|
f7c74664fa
|
Rust: Improve a few toString implementations
|
2025-09-09 13:46:51 +02:00 |
|
Simon Friis Vindum
|
e1047dc40b
|
Rust: Add request forgery query
|
2025-09-09 10:37:57 +02:00 |
|
Simon Friis Vindum
|
aa9d299230
|
Merge pull request #20348 from paldepind/rust/certain-shorthand-self
Rust: Infer certain type for shorthand `self`
|
2025-09-09 09:40:18 +02:00 |
|
Simon Friis Vindum
|
eea11dbf5f
|
Rust: Relabel reqwest sinks as request-url
|
2025-09-08 13:05:58 +02:00 |
|
Simon Friis Vindum
|
26919a6c6e
|
Rust: Rename variable as suggested in review
|
2025-09-04 12:50:14 +02:00 |
|
Simon Friis Vindum
|
e610465ee8
|
Rust: Suppress type inference inconsistency that can be explained by path resolution
|
2025-09-03 12:53:30 +02:00 |
|
Tom Hvitved
|
dff5ed7d29
|
Rust: Assign locations to all DataFlowCallables
|
2025-09-03 11:21:57 +02:00 |
|
Simon Friis Vindum
|
de8e535c3a
|
Rust: Move predicates up to right before first usage
|
2025-09-02 16:34:03 +02:00 |
|
Simon Friis Vindum
|
1b683f6359
|
Rust: Infer certain type for self shorthand
|
2025-09-02 16:30:21 +02:00 |
|
Simon Friis Vindum
|
17d23a9b78
|
Merge pull request #20343 from paldepind/rust/certain-type-inline-expectation
Rust: Change inline expectation annotation for inferred certain types
|
2025-09-02 15:07:41 +02:00 |
|
Arthur Baars
|
0bb7fdccf6
|
Merge pull request #20347 from github/post-release-prep/codeql-cli-2.23.0
Post-release preparation for codeql-cli-2.23.0
|
2025-09-02 14:14:03 +02:00 |
|
Anders Schack-Mulligen
|
f833fe0e6e
|
Merge pull request #20300 from aschackmull/cfg/successortype
Shared: Add a shared SuccessorType implementation
|
2025-09-02 14:09:35 +02:00 |
|
Michael Nebel
|
9d521e9cb6
|
Merge pull request #20333 from michaelnebel/rust/ql4ql
Rust: Fix some Ql4Ql violations.
|
2025-09-02 14:00:47 +02:00 |
|
github-actions[bot]
|
e8a2600a0c
|
Post-release preparation for codeql-cli-2.23.0
|
2025-09-02 11:46:23 +00:00 |
|
Simon Friis Vindum
|
8a92b2d611
|
Rust: Change inline expectation annotation for certain inferred types
|
2025-09-02 13:44:06 +02:00 |
|
Michael Nebel
|
6f5da528a4
|
Update rust/ql/lib/codeql/rust/dataflow/internal/ModelsAsData.qll
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
|
2025-09-02 13:34:23 +02:00 |
|
Michael Nebel
|
464d8b13a8
|
Rust: Address review comments.
|
2025-09-02 13:33:51 +02:00 |
|
github-actions[bot]
|
0bfa93828b
|
Release preparation for version 2.23.0
|
2025-09-02 11:09:32 +00:00 |
|
Tom Hvitved
|
9bae0bfb35
|
Merge pull request #20295 from geoffw0/oldpaths1
Rust: Remove extractor path resolution.
|
2025-09-02 11:17:51 +02:00 |
|
Simon Friis Vindum
|
0ed6428a94
|
Merge pull request #20321 from paldepind/rust/trait-method-scope-2
Rust: Take trait visibility into account when resolving paths and methods
|
2025-09-02 10:58:00 +02:00 |
|
Tom Hvitved
|
1130595c67
|
Merge pull request #20340 from hvitved/rust/taint-tracking-implicit-deref-at-sinks
Rust: Deref as taint step
|
2025-09-02 09:44:33 +02:00 |
|
Simon Friis Vindum
|
322ef4d985
|
Rust: Account for trait visibility when resolving paths and methods
|
2025-09-02 09:01:17 +02:00 |
|
Tom Hvitved
|
5b51bb2ef0
|
Rust: Deref as taint step
|
2025-09-02 08:55:10 +02:00 |
|
Michael Nebel
|
37997c0561
|
Rust: Fix some Ql4Ql violations.
|
2025-09-01 15:21:41 +02:00 |
|
Anders Schack-Mulligen
|
144e34c669
|
Shared: Use shared SuccessorType in shared Cfg and BasicBlock libs.
|
2025-09-01 13:43:32 +02:00 |
|
Anders Schack-Mulligen
|
cf9196fb55
|
Rust: Use shared SuccessorType.
|
2025-09-01 12:56:07 +02:00 |
|
Anders Schack-Mulligen
|
09b2c5abf0
|
BasicBlock: Replace entryBlock predicate with subclass.
|
2025-09-01 11:48:44 +02:00 |
|
Anders Schack-Mulligen
|
f459ddc40a
|
Languages: Adapt to api changes.
|
2025-09-01 11:26:33 +02:00 |
|
Anders Schack-Mulligen
|
bb3abc815f
|
SSA: Update input to use member predicates.
|
2025-09-01 11:19:48 +02:00 |
|
Geoffrey White
|
d650d56485
|
Rust: Implement upgrade and downgrade scripts.
|
2025-08-29 12:37:52 +01:00 |
|
Geoffrey White
|
bdc1f1715d
|
Rust: Add upgrade and downgrade scripts (template).
|
2025-08-29 08:49:33 +01:00 |
|
Geoffrey White
|
a6bdab15f6
|
Merge branch 'main' into oldpaths1
|
2025-08-29 08:30:43 +01:00 |
|
Tom Hvitved
|
0cc9ff8320
|
Merge pull request #20225 from hvitved/rust/path-resolution-crate-fallback
Rust: Fallback crate resolution
|
2025-08-28 20:48:51 +02:00 |
|
Geoffrey White
|
5d14ef5fd3
|
Rust: Change note.
|
2025-08-28 17:14:53 +01:00 |
|
Geoffrey White
|
e8b7ce43a5
|
Merge pull request #20270 from geoffw0/pathi
Rust: Improve FS models
|
2025-08-28 14:30:18 +01:00 |
|
Tom Hvitved
|
f87f52d8d2
|
Address review comments
|
2025-08-28 10:08:48 +02:00 |
|
Tom Hvitved
|
dcaf4a735b
|
Rust: Fallback crate resolution
|
2025-08-28 09:34:05 +02:00 |
|
Geoffrey White
|
83df1137b6
|
Rust: Codegen.
|
2025-08-27 17:47:34 +01:00 |
|
Geoffrey White
|
2e747bb05c
|
Merge branch 'main' into oldpaths1 (some generated files are left unmerged).
|
2025-08-27 16:56:06 +01:00 |
|
Simon Friis Vindum
|
08f025f164
|
Rust: Infer range expressions certainly and support full ranges
|
2025-08-27 13:59:20 +02:00 |
|
Simon Friis Vindum
|
2f4e2d6d79
|
Rust: Infer certain types for logical operators
|
2025-08-27 13:59:18 +02:00 |
|
Simon Friis Vindum
|
0ff4dbcea0
|
Rust: Fix type inference inconsistency
|
2025-08-27 13:59:16 +02:00 |
|
Geoffrey White
|
5d060d621b
|
Rust: Remove leftover QL use of Resolvable.
|
2025-08-27 10:42:44 +01:00 |
|
Geoffrey White
|
152ae1d29b
|
Rust: Codegen.
|
2025-08-27 10:42:42 +01:00 |
|
Tom Hvitved
|
6453b71017
|
Rust: Add more cases to inferCertainType
|
2025-08-26 14:44:55 +02:00 |
|
Tom Hvitved
|
3527fca617
|
Merge pull request #20274 from hvitved/rust/type-synth-type-param
Rust: Include synthetic type parameters in `Type.getATypeParameter`
|
2025-08-26 14:42:29 +02:00 |
|