Tom Hvitved
|
1c56692c02
|
Rust: update inline expectations
|
2024-12-05 14:43:39 +01:00 |
|
Simon Friis Vindum
|
1f4e7d1f37
|
Rust: Handle arrays in taint tracking
|
2024-12-05 11:41:32 +01:00 |
|
Simon Friis Vindum
|
44239cbf2e
|
Rust: Add taint tests for arrays
|
2024-12-05 11:39:05 +01:00 |
|
Simon Friis Vindum
|
27de43fed8
|
Merge branch 'main' into rust-df-array
|
2024-12-05 11:08:54 +01:00 |
|
Simon Friis Vindum
|
5b6ce3e0d0
|
Merge branch 'main' into rust-taint
|
2024-12-05 09:34:25 +01:00 |
|
Paolo Tranquilli
|
08de0b40ed
|
Merge branch 'main' into redsun82/rust-less-canonical-paths
|
2024-12-04 14:35:10 +01:00 |
|
Simon Friis Vindum
|
3004639fca
|
Rust: Add default taint flow steps
|
2024-12-04 14:11:05 +01:00 |
|
Simon Friis Vindum
|
a19f1d0b8b
|
Rust: Remove store step for repeat operand in array expression
|
2024-12-04 14:01:53 +01:00 |
|
Simon Friis Vindum
|
c62b7d139f
|
Merge branch 'main' into rust-df-array
|
2024-12-04 13:55:26 +01:00 |
|
Simon Friis Vindum
|
70a296be89
|
Rust: Add string slice taint flow test
|
2024-12-04 13:24:15 +01:00 |
|
Simon Friis Vindum
|
f10ffa39e4
|
Rust: Add tests for taint flow
|
2024-12-04 12:54:36 +01:00 |
|
Simon Friis Vindum
|
b7792d690c
|
Merge pull request #18163 from paldepind/rust-df-try-expr
Rust: Add flow through `?` operator
|
2024-12-04 12:45:32 +01:00 |
|
Jeroen Ketema
|
10592bb1c4
|
Merge pull request #18192 from jketema/inline-rm
Remove deprecated `InlineExpectationsTest` class-based API
|
2024-12-04 11:34:39 +01:00 |
|
Simon Friis Vindum
|
ed6f873478
|
Merge branch 'main' into rust-df-try-expr
|
2024-12-04 11:33:41 +01:00 |
|
Paolo Tranquilli
|
7e107a4520
|
Merge branch 'main' into redsun82/rust-less-canonical-paths
|
2024-12-04 11:24:48 +01:00 |
|
Paolo Tranquilli
|
c0676f4269
|
Merge pull request #18198 from github/redsun82/rust-tuple-struct-pat-to-string
Rust: improve `TupleStructPat.toString`
|
2024-12-04 11:20:42 +01:00 |
|
Paolo Tranquilli
|
b6f0ae0460
|
Rust: accept test changes
|
2024-12-04 11:05:01 +01:00 |
|
Simon Friis Vindum
|
7092f13584
|
Merge branch 'main' into rust-df-try-expr
|
2024-12-04 10:59:07 +01:00 |
|
Paolo Tranquilli
|
66e4acf53e
|
Rust: accept test changes
|
2024-12-04 10:56:14 +01:00 |
|
Simon Friis Vindum
|
bb015cf56d
|
Merge branch 'main' into rust-df-closure
|
2024-12-04 09:25:18 +01:00 |
|
Jeroen Ketema
|
e89f37df1a
|
Rust: Update expected test results
|
2024-12-03 19:18:52 +01:00 |
|
Simon Friis Vindum
|
70c60868a6
|
Rust: Model ? as reading from Option and Result
|
2024-12-03 17:01:34 +01:00 |
|
Paolo Tranquilli
|
8a1136ddcb
|
Merge branch 'main' into redsun82/rust-less-canonical-paths
|
2024-12-03 16:23:22 +01:00 |
|
Simon Friis Vindum
|
b50834aee8
|
Rust: Add data flow tests for question mark operator
|
2024-12-03 16:21:26 +01:00 |
|
Simon Friis Vindum
|
cac4514eae
|
Rust: Add basic data flow through arrays
|
2024-12-03 14:15:54 +01:00 |
|
Simon Friis Vindum
|
3346b64e96
|
Rust: Add variables and data flow array tests
|
2024-12-03 14:14:41 +01:00 |
|
Paolo Tranquilli
|
ebe38bca23
|
Merge branch 'main' into redsun82/rust-less-canonical-paths
|
2024-12-03 12:19:08 +01:00 |
|
Tom Hvitved
|
3c767b086b
|
Rust: Use canonical paths for variants in data flow
|
2024-12-03 10:19:33 +01:00 |
|
Simon Friis Vindum
|
e377a0e05a
|
Merge branch 'main' into rust-df-closure
|
2024-12-03 10:09:52 +01:00 |
|
Tom Hvitved
|
3e5f4b7f89
|
Rust: Add a model for unwrap
|
2024-12-03 09:12:01 +01:00 |
|
Tom Hvitved
|
395901b8e0
|
Rust: Adopt shared flow summaries library
|
2024-12-03 09:11:06 +01:00 |
|
Simon Friis Vindum
|
e1c65aae90
|
Rust: Tuple writes target post update node
|
2024-12-02 14:48:20 +01:00 |
|
Simon Friis Vindum
|
3420f1f43f
|
Address review comments, store step for tuple indexing
|
2024-12-02 13:27:26 +01:00 |
|
Paolo Tranquilli
|
bb83641634
|
Rust: accept all test changes for now
|
2024-12-02 08:22:51 +01:00 |
|
Paolo Tranquilli
|
c46f44da5f
|
Rust: fix QL compilation errors
|
2024-11-29 15:55:51 +01:00 |
|
Simon Friis Vindum
|
b8d60cbb13
|
Rust: Implement predicates for lambdas/closures in the data flow library
|
2024-11-29 09:32:04 +01:00 |
|
Simon Friis Vindum
|
ad7480591b
|
Rust: Add data flow tests involving closures
|
2024-11-29 09:30:26 +01:00 |
|
Simon Friis Vindum
|
d89678f49f
|
Rust: Data flow through tuple and struct fields
|
2024-11-27 14:53:01 +01:00 |
|
Simon Friis Vindum
|
9ec9d79b4f
|
Rust: Add additional tests for flow through structs
|
2024-11-27 10:10:49 +01:00 |
|
Simon Friis Vindum
|
46abb9083b
|
Merge pull request #18115 from paldepind/rust-rename-expr
Rust: Rename `expr` on `CallExpr` and `LetExpr`
|
2024-11-27 09:41:04 +01:00 |
|
Simon Friis Vindum
|
8f886c6603
|
Merge pull request #18088 from paldepind/rust-self-parameters
Rust: Handle `self` parameters in variables and SSA library
|
2024-11-27 08:42:58 +01:00 |
|
Simon Friis Vindum
|
92427ab0c1
|
Merge branch 'main' into rust-rename-expr
|
2024-11-26 17:40:47 +01:00 |
|
Simon Friis Vindum
|
d30f3e2822
|
Rust: Renamed expr on CallExpr and LetExpr
|
2024-11-26 15:22:14 +01:00 |
|
Tom Hvitved
|
0c6b4cdb8f
|
Merge pull request #18078 from hvitved/rust/variant-flow
Rust: Data flow through variants
|
2024-11-26 14:45:00 +01:00 |
|
Simon Friis Vindum
|
44b1ad52d9
|
Rust: Support self parameters in variable and SSA library
|
2024-11-26 09:02:13 +01:00 |
|
Tom Hvitved
|
5e7cd46117
|
Rust: Flow through variants
|
2024-11-25 19:17:57 +01:00 |
|
Tom Hvitved
|
2fb670a27c
|
Rust: Do not print unit type in data flow
|
2024-11-25 19:14:44 +01:00 |
|
Tom Hvitved
|
511f791511
|
Rust: Add more flow tests
|
2024-11-25 19:14:42 +01:00 |
|
Simon Friis Vindum
|
d06b5833cf
|
Rust: Add an additional variables test with a self parameter
|
2024-11-25 16:08:26 +01:00 |
|
Geoffrey White
|
bded7085f0
|
Rust: Effect of toString changes in main.
|
2024-11-25 10:01:57 +00:00 |
|