Tom Hvitved
|
3ceec93499
|
Merge pull request #18462 from hvitved/rust/variable-without-location
Rust: Avoid location-based variable analysis
|
2025-01-15 09:20:10 +01:00 |
|
Tom Hvitved
|
33e6d6392c
|
Rust: Avoid location-based variable analysis
|
2025-01-13 11:08:00 +01:00 |
|
Geoffrey White
|
1b6c289cb4
|
Rust: Unrelated MaD test impact. :(
|
2025-01-10 14:38:05 +00:00 |
|
Tom Hvitved
|
303b11ec36
|
Merge pull request #18298 from hvitved/rust/mad-source-sink
Rust: Add support for MaD sources and sinks with access paths
|
2025-01-10 11:49:51 +01:00 |
|
Tom Hvitved
|
a7bb95249b
|
Rust: Implement known{Source,Sink}Model
|
2025-01-09 11:47:57 +01:00 |
|
Tom Hvitved
|
8f6ae6274d
|
Rust: Add support for MaD sources and sinks with access paths
|
2025-01-06 13:26:49 +01:00 |
|
Simon Friis Vindum
|
c55b256d47
|
Rust: Remove accidentally commited expected files
|
2025-01-06 12:01:03 +01:00 |
|
Simon Friis Vindum
|
5c64a8c948
|
Rust: Accept expected changes and fix other CI complaints
|
2025-01-03 16:38:11 +01:00 |
|
Simon Friis Vindum
|
0d19fb6040
|
Rust: Add taint from children of format_args to format_args
|
2025-01-03 14:06:47 +01:00 |
|
Simon Friis Vindum
|
42d125676e
|
Rust: Value flow through macro calls
|
2025-01-03 13:47:29 +01:00 |
|
Simon Friis Vindum
|
f09632df58
|
Rust: Add data flow tests for macros and format_args
|
2025-01-03 13:28:19 +01:00 |
|
Simon Friis Vindum
|
508c7e6e85
|
Merge pull request #18314 from paldepind/rust-tuple-ref-patterns
Rust: Add read steps for tuple and reference patterns
|
2024-12-18 14:13:08 +01:00 |
|
Tom Hvitved
|
00688ebd79
|
Merge pull request #18312 from hvitved/rust/operator-overloading-test
Rust: Add data flow tests for operator overloading
|
2024-12-18 13:58:39 +01:00 |
|
Simon Friis Vindum
|
09fd27af80
|
Rust: Add read steps for tuple and reference patterns
|
2024-12-18 13:22:05 +01:00 |
|
Simon Friis Vindum
|
b5b8af3aa2
|
Rust: Add data flow tests for borrows
|
2024-12-18 13:00:38 +01:00 |
|
Tom Hvitved
|
3a63dbcd5d
|
Apply suggestions from code review
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
|
2024-12-18 12:46:11 +01:00 |
|
Simon Friis Vindum
|
049fab4c72
|
Rust: Remove taint steps
|
2024-12-18 11:22:56 +01:00 |
|
Tom Hvitved
|
025a67384f
|
Rust: Add data flow tests for operator overloading
|
2024-12-18 09:26:17 +01:00 |
|
Simon Friis Vindum
|
c1e21974c6
|
Rust: Address review comments
|
2024-12-17 17:24:42 +01:00 |
|
Simon Friis Vindum
|
d8c301a96b
|
Merge branch 'main' into rust-data-flow-models
|
2024-12-17 16:09:59 +01:00 |
|
Simon Friis Vindum
|
ee87d4c948
|
Merge branch 'main' into rust-data-flow-models
|
2024-12-17 13:12:32 +01:00 |
|
Tom Hvitved
|
ddd05b5d1b
|
Rust: Never skip match scrutinee/patterns in data flow
|
2024-12-16 15:12:16 +01:00 |
|
Tom Hvitved
|
9f2b436d35
|
Rust: Never skip assignment LHS in data flow
|
2024-12-16 15:12:15 +01:00 |
|
Tom Hvitved
|
5ed03e266a
|
Rust: Fix semantic merge conflicts
|
2024-12-16 14:47:13 +01:00 |
|
Michael Nebel
|
aaf0cd5dee
|
Merge pull request #17968 from michaelnebel/java/movetestutils
Move test utilities to the query pack.
|
2024-12-16 13:41:30 +01:00 |
|
Simon Friis Vindum
|
defbbb2a24
|
Rust: Add additional models for stdlib and sqlx
|
2024-12-16 11:46:57 +01:00 |
|
Simon Friis Vindum
|
aab3428bc7
|
Rust: Model address-of and dereference as stores and loads
|
2024-12-16 11:31:15 +01:00 |
|
Simon Friis Vindum
|
df0375103c
|
Rust: Add data flow tests
|
2024-12-16 11:09:22 +01:00 |
|
Simon Friis Vindum
|
9da5d7128b
|
Rust: Add test with data flow inconsistency
|
2024-12-16 09:40:13 +01:00 |
|
Simon Friis Vindum
|
1d8e7fd9ea
|
Rust: Accept differences
|
2024-12-12 16:47:51 +01:00 |
|
Michael Nebel
|
864c34fc03
|
Rust: Update all test util paths to point to the new location.
|
2024-12-12 15:02:59 +01:00 |
|
Simon Friis Vindum
|
94b037fad1
|
Rust: Instantiate variable capture library for data flow
|
2024-12-11 15:44:17 +01:00 |
|
Simon Friis Vindum
|
e8357a648d
|
Rust: Add additional data flow tests
|
2024-12-11 14:56:16 +01:00 |
|
Tom Hvitved
|
baf186fed7
|
Address review comments
|
2024-12-11 10:28:32 +01:00 |
|
Tom Hvitved
|
2f8b04b225
|
Rust: Models-as-data for flow summaries
|
2024-12-09 13:41:55 +01:00 |
|
Paolo Tranquilli
|
b59b90ba6d
|
Rust: accept test changes
|
2024-12-06 09:12:16 +01:00 |
|
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
|
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 |
|