Geoffrey White
0ef4c6f954
Merge branch 'main' into okerr
2025-02-26 12:33:39 +00:00
Simon Friis Vindum
5c997859b0
Merge branch 'main' into rust-core-std-models
2025-02-25 15:07:29 +01:00
Simon Friis Vindum
6353dbf3f5
Merge branch 'main' into rust-core-std-models
2025-02-24 16:05:08 +01:00
Geoffrey White
6cb8f65076
Rust: Fix up .expected after merge.
2025-02-24 10:58:19 +00:00
Geoffrey White
fdc76dd06a
Merge branch 'main' into nth
2025-02-24 10:57:45 +00:00
Simon Friis Vindum
b6144c2f08
Merge branch 'main' into rust-core-std-models
2025-02-20 12:00:47 +01:00
Tom Hvitved
889ef33006
Rust: Update expected test output
2025-02-20 10:19:41 +01:00
Geoffrey White
12d5a30703
Rust: Add a test of mutable iterators as well.
2025-02-18 17:20:43 +00:00
Geoffrey White
8024fb6812
Rust: Add more models for Iterator.
2025-02-18 17:20:39 +00:00
Geoffrey White
79525fa4ed
Rust: Variant -> Field.
2025-02-17 17:33:52 +00:00
Geoffrey White
048f7dbd37
Merge branch 'main' into nth
2025-02-17 17:17:59 +00:00
Simon Friis Vindum
0c3e8a0f5b
Rust: Adapt tests and existing models to account for generated models
2025-02-17 11:08:42 +01:00
Simon Friis Vindum
8b3c1ab698
Merge branch 'main' into rust-ref-pattern
2025-02-17 10:36:39 +01:00
Geoffrey White
bee8b2fe32
Merge branch 'main' into okerr
2025-02-13 17:55:32 +00:00
Geoffrey White
fdcbbdfa08
Rust: Model them.
2025-02-13 17:42:41 +00:00
Geoffrey White
2d9e1b3d16
Rust: Add a test of Result.ok and Result.err.
2025-02-13 17:39:20 +00:00
Tom Hvitved
e9c25037d4
Rust: Use Field MaD token instead of Variant, Struct, Tuple
2025-02-13 13:32:08 +01:00
Geoffrey White
edda26c90d
Merge branch 'main' into nth
2025-02-12 15:14:20 +00:00
Simon Friis Vindum
7476aeaabf
Rust: Handle ref patterns in data flow
...
To do this we:
* Let SSA writes target the name inside identifier patterns instead of
the pattern itself
* Include relevant names in the data flow graph
* Add a store step from a identifier patterns with `ref` into the
contained name. So we have an edge `ref a` -> `a` that stores in the
reference content type.
2025-02-12 13:20:11 +01:00
Geoffrey White
333b183f43
Merge branch 'main' into http
2025-02-12 09:40:12 +00:00
Simon Friis Vindum
b24386fb58
Merge pull request #18743 from paldepind/rust-add-generated-option-model
...
Rust: Add generated flow summaries for `Option`
2025-02-12 08:51:03 +01:00
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
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
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
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
