Simon Friis Vindum
|
655449be81
|
Rust: Add auto generated flow summaries for Option
|
2025-02-12 08:38:47 +01:00 |
|
Simon Friis Vindum
|
a09b37edc3
|
Rust: Expand on toString of IdentPat
|
2025-02-11 15:25:54 +01:00 |
|
Geoffrey White
|
2c85353b7e
|
Merge branch 'main' into http
|
2025-02-10 09:07:34 +00:00 |
|
Geoffrey White
|
f3501819f7
|
Merge branch 'main' into nth
|
2025-02-07 18:13:18 +00:00 |
|
Geoffrey White
|
b5c07540d0
|
Merge pull request #18621 from geoffw0/sourcemodels4
Rust: Improve models for environment sources, iterators
|
2025-02-07 16:02:28 +00:00 |
|
Tom Hvitved
|
707bf16d90
|
Rust: Shorthand record construction in data flow
|
2025-02-06 19:19:18 +01:00 |
|
Tom Hvitved
|
9bc3b0e96e
|
Rust: Update a test to use shorthand record syntax
|
2025-02-06 19:19:17 +01:00 |
|
Geoffrey White
|
bce4735062
|
Rust: Additional test case suggested by copilot.
|
2025-02-06 14:29:26 +00:00 |
|
Geoffrey White
|
a8a051234e
|
Rust: Model parse.
|
2025-02-06 12:51:41 +00:00 |
|
Geoffrey White
|
d0f5aad085
|
Rust: Model to_string.
|
2025-02-06 12:51:40 +00:00 |
|
Geoffrey White
|
1ff7a521d5
|
Rust: Add a flow test for some iterator methods.
|
2025-02-06 12:51:34 +00:00 |
|
Geoffrey White
|
c597818c4b
|
Rust: Add a flow test for to_string() and parse().
|
2025-02-06 10:30:27 +00:00 |
|
Tom Hvitved
|
e4d9e29368
|
Rust: Implement data flow through tuple structs
|
2025-02-05 13:27:07 +01:00 |
|
Tom Hvitved
|
22f6f4e46b
|
Rust: Add data flow test for tuple structs
|
2025-02-05 13:27:04 +01:00 |
|
Geoffrey White
|
f9f5d2c3c2
|
Rust: Accept changes to consistency test .expected file as well.
|
2025-02-05 11:45:38 +00:00 |
|
Geoffrey White
|
0590c6f171
|
Rust: Fix .expected after merge.
|
2025-02-05 10:36:11 +00:00 |
|
Geoffrey White
|
70d969f3a0
|
Merge branch 'main' into http
|
2025-02-05 09:36:43 +00:00 |
|
Simon Friis Vindum
|
670ecb3298
|
Merge pull request #18673 from paldepind/rust-higher-order-function-model-generation
Rust: Higher order function model generation
|
2025-02-05 09:15:46 +01:00 |
|
Geoffrey White
|
0cdef97276
|
Merge branch 'main' into sourcemodels4
|
2025-02-04 14:30:37 +00:00 |
|
Simon Friis Vindum
|
b0a3cdc68c
|
Rust: Generate flow summaries for higher-order functions
|
2025-02-04 14:03:19 +01:00 |
|
Geoffrey White
|
23e9270a20
|
Rust: Add test cases for flow through references.
|
2025-02-04 10:28:08 +00:00 |
|
Tom Hvitved
|
f1050c4988
|
Rust: Shorthand record pattern destructuring in data flow
|
2025-02-03 13:00:52 +01:00 |
|
Geoffrey White
|
3b5397f3b0
|
Rust: Model Iterator.collect.
|
2025-01-29 09:19:20 +00:00 |
|
Geoffrey White
|
de149a9623
|
Rust: Model Iterator.nth.
|
2025-01-29 09:19:19 +00:00 |
|
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 |
|