Tom Hvitved
|
d6d3028e5a
|
Rust: Support Argument[x] MaD source definitions
|
2025-03-25 09:08:40 +01:00 |
|
Tom Hvitved
|
cf1b19f7c4
|
Rust: Add test for MaD argument source
|
2025-03-25 09:06:56 +01:00 |
|
Simon Friis Vindum
|
06c8963f70
|
Shared: Infer types for type parameters with contraints
|
2025-03-25 09:03:44 +01:00 |
|
Simon Friis Vindum
|
831413b5ec
|
Rust: Expand on type parameter bounds type inference test
|
2025-03-25 08:41:05 +01:00 |
|
Tom Hvitved
|
0f1aee025c
|
Merge pull request #19051 from hvitved/rust/path-resolution-cross-crate
Rust: Path resolution improvements
|
2025-03-24 14:14:12 +01:00 |
|
Geoffrey White
|
d1ef2b50fb
|
Rust: Model futures::executor::block_on.
|
2025-03-21 16:51:10 +00:00 |
|
Simon Friis Vindum
|
b2fc4f80fb
|
Rust: Adjustments to type inference
|
2025-03-20 16:38:06 +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 |
|
Simon Friis Vindum
|
b02a249fbd
|
Merge branch 'main' into rust-ti-1
|
2025-03-20 11:49:58 +01:00 |
|
Arthur Baars
|
2804c13027
|
Rust: use optionalBarrier
|
2025-03-20 11:37:05 +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 |
|
Arthur Baars
|
f08d1d10f1
|
Rust: tainted path implement basic sanitizers
|
2025-03-18 19:16:13 +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 |
|
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 |
|
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 |
|
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 |
|
Simon Friis Vindum
|
82304832e8
|
Rust: Add type inference examples
|
2025-03-14 11:13:16 +01:00 |
|
Simon Friis Vindum
|
4dbfda59cf
|
Merge branch 'main' into rust-data-flow-split
|
2025-03-14 09:58:46 +01:00 |
|
Tom Hvitved
|
3bb89ea863
|
Rust: Move type inference/path resolution out of elements folder
|
2025-03-13 15:05:00 +01:00 |
|
Tom Hvitved
|
af91152f5c
|
Address review comments
|
2025-03-13 15:04:59 +01:00 |
|
Simon Friis Vindum
|
1ae28c7907
|
Merge branch 'main' into rust-cleartext-transmission
|
2025-03-13 15:01:11 +01:00 |
|
Tom Hvitved
|
78280af570
|
Rust: Use 'infer' instead of 'resolve' in type inference library
|
2025-03-13 13:34:43 +01:00 |
|
Tom Hvitved
|
2394f2fab8
|
Rust: Fix bug in path resolution library
|
2025-03-13 13:23:18 +01:00 |
|
Tom Hvitved
|
795ba25895
|
Rust: Add more consistency checks
|
2025-03-13 13:23:16 +01:00 |
|
Tom Hvitved
|
fcdffc4e73
|
Rust: Use type inference in path resolution test
|
2025-03-13 13:23:14 +01:00 |
|
Tom Hvitved
|
e8505ad33d
|
Rust: Use type inference to resolve method calls and field accesses
|
2025-03-13 13:23:13 +01:00 |
|
Tom Hvitved
|
62d4e6fe3f
|
Rust: Implement basic type inference in QL
|
2025-03-13 13:23:11 +01:00 |
|
Simon Friis Vindum
|
3c644144b1
|
Rust: Extract data flow node and content into separate files
|
2025-03-13 11:22:04 +01:00 |
|
Arthur Baars
|
fa79dbc89a
|
Merge pull request #18228 from github/aibaars/crate-graph
Rust: extract crate graph
|
2025-03-13 10:00:48 +01:00 |
|
Simon Friis Vindum
|
4de69c70a8
|
Rust: Add cleartext transmission query
|
2025-03-13 08:45:36 +01:00 |
|
Simon Friis Vindum
|
0e965f7616
|
Rust: Accept changes
|
2025-03-10 14:39:37 +01:00 |
|