Tom Hvitved
|
8b82eaa633
|
Rust: Fix data flow through callbacks passed to library functions
|
2025-01-28 13:44:27 +01:00 |
|
Geoffrey White
|
f2564c351f
|
Rust: Changes to other tests - mostly MaD IDs :(.
|
2025-01-28 09:22:30 +00:00 |
|
Geoffrey White
|
dfd1865b96
|
Rust: Add some basic flow models.
|
2025-01-28 08:47:15 +00:00 |
|
Geoffrey White
|
c04d619a3c
|
Rust: Add a couple of extra data flow test cases.
|
2025-01-28 08:47:13 +00:00 |
|
Geoffrey White
|
fd9fb10bb9
|
Rust: Accept changes from fixing the ].
|
2025-01-27 22:50:09 +00:00 |
|
Geoffrey White
|
23ac35e5ca
|
Rust: Model more Reqwest methods (.await still doesn't work though).
|
2025-01-27 20:52:31 +00:00 |
|
Geoffrey White
|
f32fd38f74
|
Merge pull request #18582 from geoffw0/logging
Rust: Query for cleartext logging of sensitive information
|
2025-01-27 10:37:17 +00:00 |
|
Simon Friis Vindum
|
b84adec407
|
Merge pull request #18568 from paldepind/rust-container
Rust: Change array element content type into a general collection element content type
|
2025-01-24 09:40:46 +01:00 |
|
Geoffrey White
|
037d496a68
|
Rust: Fix some more tests (MaD ID changes and extraction consistency issues).
|
2025-01-23 19:14:28 +00:00 |
|
Tom Hvitved
|
33e07edcbf
|
Rust: Translate more MaD IDs in tests
|
2025-01-23 14:45:33 +01:00 |
|
Simon Friis Vindum
|
66b6ae70c2
|
Rust: Change array element content type into a general collection
element type
|
2025-01-23 09:49:23 +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
|
09fd27af80
|
Rust: Add read steps for tuple and reference patterns
|
2024-12-18 13:22:05 +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 |
|
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 |
|
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
|
e8357a648d
|
Rust: Add additional data flow tests
|
2024-12-11 14:56:16 +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 |
|
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
|
ed6f873478
|
Merge branch 'main' into rust-df-try-expr
|
2024-12-04 11:33:41 +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 |
|
Simon Friis Vindum
|
bb015cf56d
|
Merge branch 'main' into rust-df-closure
|
2024-12-04 09:25:18 +01:00 |
|
Simon Friis Vindum
|
70c60868a6
|
Rust: Model ? as reading from Option and Result
|
2024-12-03 17:01:34 +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 |
|
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 |
|
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 |
|
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 |
|
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 |
|