Tom Hvitved
1f13f0009f
Rust: Move AstConsistency.qll into internal
2025-03-04 13:00:09 +01:00
Anders Schack-Mulligen
4c0e5f62cf
Rust: Remove remaining DefinitionExt references.
2025-03-04 12:24:24 +01:00
Anders Schack-Mulligen
8474a47c2b
Rust: Switch test to use dedicated test module.
2025-03-04 12:24:23 +01:00
Anders Schack-Mulligen
9e03b12ba0
C#/Java/Ruby/Rust/SSA: Replace DefinitionExt with SourceVariable in data flow integration predicates.
2025-03-04 12:24:21 +01:00
Paolo Tranquilli
2a29239b01
Merge branch 'main' into redsun82/cargo-upgrade
2025-03-04 10:05:41 +01:00
github-actions[bot]
58f355ae5a
Post-release preparation for codeql-cli-2.20.6
2025-03-03 18:18:15 +00:00
github-actions[bot]
fa850cccb1
Release preparation for version 2.20.6
2025-03-03 17:13:19 +00:00
Paolo Tranquilli
9740232df8
Merge branch 'main' into redsun82/cargo-upgrade
2025-03-03 10:15:17 +01:00
Simon Friis Vindum
d8d882958d
Merge branch 'main' into rust-ref-mut
2025-03-03 09:19:08 +01:00
Simon Friis Vindum
c1ee20b2b9
Rust: Update generated models for Rust built-in libraries
2025-02-28 13:40:43 +01:00
Simon Friis Vindum
c4773c42c4
Rust: Model pointer read and write functions
2025-02-28 11:44:11 +01:00
Simon Friis Vindum
518f164c61
Rust: Address PR comments
2025-02-28 10:49:27 +01:00
Simon Friis Vindum
476fef49da
Rust: Allow SSA and some data flow for mutable borrows
2025-02-26 16:00:52 +01: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
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
cbae16b392
Rust: rerun code generation
2025-02-25 13:31:16 +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
Simon Friis Vindum
6353dbf3f5
Merge branch 'main' into rust-core-std-models
2025-02-24 16:05:08 +01: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
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
fdc76dd06a
Merge branch 'main' into nth
2025-02-24 10:57:45 +00: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
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
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
Simon Friis Vindum
cd49df0ff2
Merge pull request #18784 from paldepind/rust-generate-sources-sinks
...
Rust: Generate sources and sinks
2025-02-20 15:59:58 +01:00
Tom Hvitved
496f485375
Rust: Path resolution for bounded type parameters
2025-02-20 13:57:11 +01:00
Tom Hvitved
8f0aced868
Rust: Path resolution for trait items with default implementations
2025-02-20 13:56:19 +01:00
Tom Hvitved
1be903cb4f
Rust: Add more path resolution tests
2025-02-20 12:04:20 +01:00
Simon Friis Vindum
b6144c2f08
Merge branch 'main' into rust-core-std-models
2025-02-20 12:00:47 +01:00
Simon Friis Vindum
4a01a4df37
Rust: Remove nonsensical no-match CFG edges
2025-02-20 10:51:33 +01:00
Tom Hvitved
c22021ab55
Merge pull request #18808 from hvitved/rust/path-resolution-inherited-functions
...
Rust: Path resolution for inherited associated items
2025-02-19 19:35:53 +01:00
Anders Schack-Mulligen
7e596032f1
Rust: Switch use-use predicates to new implementation.
2025-02-19 16:38:37 +01:00
Anders Schack-Mulligen
ed40035b9c
C#/Ruby/Rust: Fix bug in adjacentReadPairSameVar.
2025-02-19 16:20:57 +01:00
Tom Hvitved
54ebe9a8f4
Rust: Path resolution for inherited associated items
2025-02-19 15:23:35 +01:00
Simon Friis Vindum
ae7e15d82f
Merge pull request #18754 from paldepind/rust-ref-pattern
...
Rust ref pattern
2025-02-19 14:24:09 +01:00
Simon Friis Vindum
faef735ce9
Rust: Move equality into disjunction
2025-02-19 11:11:11 +01:00
Geoffrey White
8024fb6812
Rust: Add more models for Iterator.
2025-02-18 17:20:39 +00:00
Tom Hvitved
ab74d903fd
Rust: Path resolution for inherited functions
2025-02-18 13:49:05 +01:00
github-actions[bot]
ad24f94a77
Post-release preparation for codeql-cli-2.20.5
2025-02-17 17:58:24 +00:00
Geoffrey White
79525fa4ed
Rust: Variant -> Field.
2025-02-17 17:33:52 +00:00
Geoffrey White
048f7dbd37
Merge branch 'main' into nth
2025-02-17 17:17:59 +00:00
github-actions[bot]
6f4562f3bd
Release preparation for version 2.20.5
2025-02-17 16:55:54 +00:00
Anders Schack-Mulligen
a90bd68796
Merge pull request #18786 from aschackmull/ssa/cleanup
...
Rust/Ruby: Minor SSA cleanup.
2025-02-17 13:51:17 +01:00
Simon Friis Vindum
b08f5356dd
Merge pull request #18772 from paldepind/rust-method-call
...
Rust: Adjust argument position when call expression is for method
2025-02-17 13:39:24 +01:00
