Simon Friis Vindum
|
78389c8897
|
Merge pull request #20133 from paldepind/rust/type-inference-blanket-impl
Rust: Support blanket implementations
|
2025-09-15 12:46:41 +02:00 |
|
Simon Friis Vindum
|
af49301332
|
Merge pull request #20381 from paldepind/rust/request-forgery-query
Rust: Add basic request forgery query
|
2025-09-15 12:46:23 +02:00 |
|
Geoffrey White
|
00f644888c
|
Merge pull request #20426 from geoffw0/cookie2
Rust: cookie and biscotti crypto query sinks
|
2025-09-15 11:07:46 +01:00 |
|
Simon Friis Vindum
|
35438294d1
|
Rust: Remove condition that always holds
|
2025-09-15 10:58:27 +02:00 |
|
Simon Friis Vindum
|
875c7da87c
|
Rust: Improve comments in type inference
|
2025-09-15 10:37:38 +02:00 |
|
Geoffrey White
|
989081ba4a
|
Rust: Change note.
|
2025-09-12 18:12:59 +01:00 |
|
Geoffrey White
|
118ac07b71
|
Rust: Convert 'from' models into one generic one.
|
2025-09-12 18:05:30 +01:00 |
|
Geoffrey White
|
9f83b67a7c
|
Rust: Model vec::from_elem.
|
2025-09-12 17:30:44 +01:00 |
|
Geoffrey White
|
e2d94127d6
|
Rust: Model vec::from.
|
2025-09-12 16:44:47 +01:00 |
|
Geoffrey White
|
5d3ea2f4d3
|
Rust: Add models for the cookie and biscotti crates.
|
2025-09-12 16:13:14 +01:00 |
|
Simon Friis Vindum
|
e2e6fd0683
|
Rust: Address feedback from PR review
|
2025-09-12 16:10:58 +02:00 |
|
Simon Friis Vindum
|
29ba013580
|
Rust: Add support for resolving methods from blanket implementations
|
2025-09-12 15:34:04 +02:00 |
|
Simon Friis Vindum
|
671bea58af
|
Rust: Add certain type information for struct patterns
|
2025-09-11 12:43:26 +02:00 |
|
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 |
|