Paolo Tranquilli
ee61fdcb6f
Merge branch 'main' into redsun82/rust-turn-off-ra-resolution
2025-02-28 12:03:14 +01:00
Simon Friis Vindum
c4773c42c4
Rust: Model pointer read and write functions
2025-02-28 11:44:11 +01:00
Simon Friis Vindum
bc651af319
Merge branch 'main' into rust-ref-mut
2025-02-28 11:42:06 +01:00
Paolo Tranquilli
e0d4e5ea7f
Rust: remove missing flow in test
2025-02-28 11:36:27 +01:00
Simon Friis Vindum
5b657035d2
Rust: Add test for models of pointer read and write
2025-02-28 11:19:41 +01:00
Simon Friis Vindum
518f164c61
Rust: Address PR comments
2025-02-28 10:49:27 +01:00
Paolo Tranquilli
bb90b678a4
Rust: update rust-specific toolchain
2025-02-28 10:43:48 +01:00
Paolo Tranquilli
d11bbdb5a7
Merge branch 'main' into redsun82/cargo-upgrade
2025-02-28 10:41:37 +01:00
Paolo Tranquilli
70bdeec3d5
Rust: add rust-src to required components
2025-02-27 17:18:46 +01:00
Paolo Tranquilli
beeb417281
Rust: fix toolchain version for tests
2025-02-27 15:39:19 +01:00
Paolo Tranquilli
a444bbc080
Merge branch 'main' into redsun82/rust-turn-off-ra-resolution
2025-02-27 11:11:06 +01:00
Simon Friis Vindum
476fef49da
Rust: Allow SSA and some data flow for mutable borrows
2025-02-26 16:00:52 +01:00
Simon Friis Vindum
51ae7c6b8c
Rust: Reorganize pointers tests and add additional tests
2025-02-26 13:51:55 +01:00
Geoffrey White
0ef4c6f954
Merge branch 'main' into okerr
2025-02-26 12:33:39 +00:00
Paolo Tranquilli
3a67836eb2
Merge branch 'main' into redsun82/cargo-upgrade
2025-02-26 09:58:15 +01:00
Simon Friis Vindum
cc5179a35e
Merge pull request #18787 from paldepind/rust-core-std-models
...
Rust: Add generated models for standard libraries including core
2025-02-26 09:31:16 +01:00
Paolo Tranquilli
2585c2f908
Merge branch 'main' into redsun82/cargo-upgrade
2025-02-25 17:03:25 +01:00
Asger F
ff36d1916f
Merge pull request #18810 from asgerf/js/test-related-locations
...
Test: Add support for RelatedLocation tag and use in a JS query
2025-02-25 16:40:41 +01:00
Simon Friis Vindum
26a96d9f65
Rust: Accept changes
2025-02-25 15:56:10 +01:00
Tom Hvitved
0522f3f694
Merge pull request #18856 from hvitved/rust/inline-expectations-update
...
Rust: Update some inline expectation comments
2025-02-25 15:28:28 +01:00
Simon Friis Vindum
5c997859b0
Merge branch 'main' into rust-core-std-models
2025-02-25 15:07:29 +01:00
Anders Schack-Mulligen
994a8eea39
Merge pull request #18857 from aschackmull/ssa/refactor-df-integr
...
Ssa: Refactor the data flow integration module
2025-02-25 15:04:11 +01:00
Paolo Tranquilli
bfcf9ea606
Rust: fix compilation errors after rust-anlyzer update
2025-02-25 13:37:00 +01:00
Paolo Tranquilli
cbae16b392
Rust: rerun code generation
2025-02-25 13:31:16 +01:00
Paolo Tranquilli
83e442a266
Rust/Ruby: run cargo upgrade --incompatible --pinned
2025-02-25 13:31:16 +01:00
Paolo Tranquilli
6089a75262
Rust/Ruby/Python: format code
2025-02-25 13:19:03 +01:00
Paolo Tranquilli
e8799e346d
Rust/Python: fix edition-related errors
2025-02-25 13:16:58 +01:00
Paolo Tranquilli
eff87d24fa
Rust/Ruby/Python: update rustc and edition
2025-02-25 13:15:19 +01:00
Geoffrey White
f406914258
Merge pull request #18701 from geoffw0/nth
...
Rust: Test and model some string and iterator methods
2025-02-25 10:42:49 +00:00
Tom Hvitved
b40290683e
Rust: Update some inline expectation comments
2025-02-25 09:34:50 +01:00
Geoffrey White
6437bd692e
Merge pull request #18851 from geoffw0/typo
...
Fix typo in shared DataFlowImplConsistency.qll
2025-02-24 18:45:09 +00:00
Simon Friis Vindum
6353dbf3f5
Merge branch 'main' into rust-core-std-models
2025-02-24 16:05:08 +01:00
Geoffrey White
24411b61e9
Fix typo.
2025-02-24 13:59:22 +00:00
Anders Schack-Mulligen
7499df43d0
Rust: Remove getDefinitionExt reference.
2025-02-24 14:27:17 +01:00
Paolo Tranquilli
d8dad7dff0
Merge branch 'main' into redsun82/rust-trait-path
2025-02-24 14:12:53 +01:00
Paolo Tranquilli
8ef2029f3d
Merge pull request #18756 from github/redsun82/rust-config
...
Rust: expose more rust-analyzer config knobs
2025-02-24 12:51:37 +01:00
Paolo Tranquilli
81b6848a9c
Merge pull request #18822 from github/redsun82/rust-lint
...
Rust: strengthen linting script
2025-02-24 12:48:29 +01:00
Tom Hvitved
425fa0db09
Merge pull request #18823 from hvitved/rust/path-resolution-more
...
Rust: More path resolution improvements
2025-02-24 12:46:07 +01:00
Geoffrey White
6cb8f65076
Rust: Fix up .expected after merge.
2025-02-24 10:58:19 +00:00
Geoffrey White
fdc76dd06a
Merge branch 'main' into nth
2025-02-24 10:57:45 +00:00
Paolo Tranquilli
1bce783623
Rust: accept test changes for now
2025-02-24 11:30:58 +01:00
Tom Hvitved
7380ec8a55
Address review comments
2025-02-24 11:09:58 +01:00
Paolo Tranquilli
689e7b8440
Rust: fix <X as Y> path extraction
...
This works around a quirk in rust-analyzer's AST generation machinery,
where for an `<X as Y>` path there might be no way to directly get `Y`
from the path segment.
2025-02-24 10:38:15 +01:00
Asger F
cd0fd02e74
Rust: Remove 'Source' annotations from same line as Alert
...
Source tags should no longer be used when on the same line as the Alert.
The ones in this file went unnoticed however because *all* of them were on the same line as an Alert, which made the test library ignore all Source tags.
2025-02-21 14:44:48 +01:00
Simon Friis Vindum
e6e4ff1b72
Rust: Accept changes to expected files
2025-02-21 13:24:06 +01:00
Simon Friis Vindum
0f627ae59a
Merge branch 'main' into rust-fewer-no-match
2025-02-21 13:20:50 +01:00
Simon Friis Vindum
df2a110b41
Rust: Changes based on PR comments
2025-02-21 11:15:54 +01:00
Simon Friis Vindum
65bce9d7e0
Rust: Add CFG test with tuple struct pattern
2025-02-21 10:59:21 +01:00
Anders Schack-Mulligen
1c616d10d4
Merge pull request #18819 from aschackmull/ssa/refactor-phiread3
...
Ssa: Refactor shared SSA in preparation for eliminating phi-read definitions
2025-02-21 08:56:38 +01:00
Paolo Tranquilli
45baceb2f5
Merge pull request #18821 from github/redsun82/rust-license
...
Rust: add licensing information to crates and extractor pack
2025-02-20 22:20:40 +01:00
