Simon Friis Vindum
b2fc4f80fb
Rust: Adjustments to type inference
2025-03-20 16:38:06 +01:00
Paolo Tranquilli
12214b65a4
Rust: add forgotten expected file
2025-03-20 16:35:56 +01:00
Arthur Baars
b10a296a93
Rust: add more path-injection sinks
2025-03-20 16:30:47 +01:00
Paolo Tranquilli
b48d9a255e
Rust: undo rename of Path::segment to Path::part
2025-03-20 16:30:35 +01:00
Geoffrey White
5831c446d3
Rust: Add test cases for another situation I came across.
2025-03-20 14:26:15 +00:00
Geoffrey White
019fcbfbf9
Rust: Add qhelp examples, and add them as tests.
2025-03-20 14:26:13 +00:00
Geoffrey White
7ceb76441a
Rust: Improve the source to account for conversions.
2025-03-20 14:26:10 +00:00
Geoffrey White
be6d0d1f86
Rust: Work around data flow source issue.
2025-03-20 14:26:09 +00:00
Geoffrey White
dcd016f5be
Rust: Initial version of the query.
2025-03-20 14:26:06 +00:00
Geoffrey White
19f009ae08
Rust: Add tests for various kinds of dangling pointers.
2025-03-20 14:26:04 +00:00
Simon Friis Vindum
659077769b
Merge pull request #19062 from paldepind/rust-ti-1
...
Rust: Improve handling of trait bounds
2025-03-20 14:38:03 +01:00
Tom Hvitved
b2fc7e771f
Rust: Handle super in use statements
2025-03-20 14:14:33 +01:00
Tom Hvitved
57dfbf4faa
Rust: Add path resolution test for super in use statement
2025-03-20 14:14:29 +01:00
Tom Hvitved
7c2bafeb17
Rust: Handle self in use statements
2025-03-20 14:13:12 +01:00
Tom Hvitved
8f8f6f74bc
Rust: Add use+self path resolution test
2025-03-20 14:13:11 +01:00
Tom Hvitved
c91176116f
Rust: Cross-crate path resolution
2025-03-20 14:13:06 +01:00
Tom Hvitved
bd4c85a5bc
Rust: Add cross-crate path resolution test
2025-03-20 13:50:20 +01:00
Tom Hvitved
c5106f78ac
Rust: Handle pub use reexports in path resolution
2025-03-20 13:50:18 +01:00
Tom Hvitved
6cf83d3a68
Rust: Add path resolution test for reexported items
2025-03-20 13:50:16 +01:00
Paolo Tranquilli
e2d6643600
Merge pull request #19072 from github/redsun82/rust-fix-canonical-paths-after-rename
...
Rust: fix canonical paths broken on `StructExpr` and `StructPath`
2025-03-20 13:40:24 +01:00
Paolo Tranquilli
b77c13802b
Rust: fix canonical paths broken on StructExpr and StructPath
...
After the rename done in https://github.com/github/codeql/pull/19059 ,
canonical path extraction was lost on `StructExpr` and `StructPath` as
the identifiers used for the type in the `emit_detached!` macro were not
updated. This fixes that.
2025-03-20 12:16:47 +01:00
Simon Friis Vindum
b02a249fbd
Merge branch 'main' into rust-ti-1
2025-03-20 11:49:58 +01:00
Tom Hvitved
cbb9987a20
Merge remote-tracking branch 'upstream/main' into rust/dependency-renaming
2025-03-20 11:45:03 +01:00
Arthur Baars
2804c13027
Rust: use optionalBarrier
2025-03-20 11:37:05 +01:00
Arthur Baars
5a91b94395
Refactor using OptionalStep
2025-03-20 11:37:04 +01:00
Geoffrey White
0f622b38ab
Rust: Update test results.
2025-03-19 18:42:50 +00:00
Geoffrey White
b609bbb4d8
Merge branch 'main' into convtest
2025-03-19 18:41:56 +00:00
Geoffrey White
bbef3fe7fa
Rust: Test dataflow through conversions.
2025-03-19 18:13:23 +00:00
Simon Friis Vindum
0d770c8c91
Rust: Improve handling of type parameters with trait bounds
2025-03-19 16:34:23 +01:00
Simon Friis Vindum
aa97bf932a
Rust: Add type inference tests
2025-03-19 13:26:06 +01:00
Simon Friis Vindum
b2b650ddd3
Rust: Rename classes with Record to Struct
2025-03-19 12:05:39 +01:00
Tom Hvitved
0bf2bfa2f1
Rust: Take depdency renaming into account when extracting the crate graph
2025-03-19 08:39:22 +01:00
Arthur Baars
f08d1d10f1
Rust: tainted path implement basic sanitizers
2025-03-18 19:16:13 +01:00
Arthur Baars
0fd69eaa43
Add QL test
2025-03-18 19:13:30 +01:00
Arthur Baars
4b5883ab79
Add a bit of modelling
2025-03-18 19:10:05 +01:00
Arthur Baars
f53de135e6
Merge pull request #19024 from github/aibaars/mut-borrow
...
Rust: SSA: restrict mutablyBorrowed to variables with a 'mut' modifier
2025-03-18 16:57:32 +01:00
Simon Friis Vindum
7a18da82fa
Merge pull request #19000 from paldepind/rust-cleartext-transmission
...
Rust: Add cleartext transmission query
2025-03-17 14:56:57 +01:00
Simon Friis Vindum
81b28df089
Merge branch 'main' into rust-type-inference-tweaks
2025-03-17 13:18:45 +01:00
Geoffrey White
81edb4780d
Merge branch 'main' into constcrypto
2025-03-17 12:05:51 +00:00
Simon Friis Vindum
e9ca43ae94
Merge pull request #19039 from paldepind/rust-cfg-uppercase
...
Rust: Assume in the CFG that lowercase identifiers are in fact identifiers
2025-03-17 12:40:56 +01:00
Geoffrey White
704b3850f4
Rust: Fix a mistake in the test.
2025-03-17 11:24:58 +00:00
Tom Hvitved
0e3907b2a8
Merge pull request #19035 from hvitved/rust/type-inference-path-limit
...
Rust: Limit `TypePath`s to at most length 10
2025-03-17 12:01:31 +01:00
Simon Friis Vindum
17d6cb626d
Rust: Assume in the CFG that lowercase identifiers are in fact identifiers
2025-03-17 08:40:02 +01:00
Simon Friis Vindum
1b7f4e4d4b
Rust: Add type inference tests and rename modules
2025-03-17 07:41:47 +01:00
Simon Friis Vindum
72346cc392
Merge pull request #19004 from paldepind/rust-data-flow-split
...
Rust: Extract data flow node and content into separate files
2025-03-17 07:02:35 +01:00
Tom Hvitved
dfc39272b4
Rust: Limit TypePaths to at most length 10
2025-03-16 20:35:16 +01:00
Tom Hvitved
a56493cbbc
Merge pull request #19028 from hvitved/rust/crate-locatable
2025-03-14 20:27:33 +01:00
Tom Hvitved
0dd59cbb25
Rust: Make Crate a sub class of Locatable
2025-03-14 13:18:02 +01:00
Simon Friis Vindum
c17c0458dd
Rust: Handle type equality for a few more expression types
2025-03-14 11:59:34 +01:00
Arthur Baars
1e94245332
Rust: update expected output
2025-03-14 11:25:41 +01:00
