Geoffrey White
|
1bccf42556
|
Rust: Update test results following fix on main.
|
2025-09-17 14:02:06 +01:00 |
|
Geoffrey White
|
3910a348fd
|
Merge branch 'main' into assignment
|
2025-09-17 13:56:57 +01:00 |
|
Simon Friis Vindum
|
05d5c1dda7
|
Merge pull request #20398 from paldepind/rust/warp-model
Rust: Add tests and models for Warp
|
2025-09-17 11:37:56 +02:00 |
|
Simon Friis Vindum
|
c1ebe920a1
|
Rust: Update expected file
|
2025-09-17 10:38:00 +02:00 |
|
Simon Friis Vindum
|
e80c192cf2
|
Rust: Use async closure instead of async block
|
2025-09-17 10:01:51 +02:00 |
|
Tom Hvitved
|
a7173e0c05
|
Merge pull request #20443 from hvitved/rust/ssa-adjust-write-note
Rust: Adjust SSA write node for (compound) assignments
|
2025-09-17 09:25:50 +02:00 |
|
Simon Friis Vindum
|
1af6b37fc4
|
Rust: Add models for Warp
|
2025-09-17 09:18:39 +02:00 |
|
Simon Friis Vindum
|
bfe934118d
|
Rust: Add web framework tests for Warp
|
2025-09-17 09:18:37 +02:00 |
|
Geoffrey White
|
7c22fe269f
|
Merge branch 'main' into https
|
2025-09-16 14:28:23 +01:00 |
|
Geoffrey White
|
5d40075944
|
Merge branch 'main' into assignment
|
2025-09-16 13:30:20 +01:00 |
|
Geoffrey White
|
4b281fdf12
|
Rust: Use case insensitive regexps.
|
2025-09-16 13:02:54 +01:00 |
|
Geoffrey White
|
80ce55ab10
|
Rust: Make the private address spaces URL more accurate.
|
2025-09-16 12:53:44 +01:00 |
|
Geoffrey White
|
9c7fc58337
|
Rust: Add tests for a few more edge cases.
|
2025-09-16 12:41:00 +01:00 |
|
Geoffrey White
|
0924dec545
|
Rust: Make the tests of the example code closer to the actual example code.
|
2025-09-16 12:28:52 +01:00 |
|
Geoffrey White
|
7b04cf1a73
|
Rust: Fix up the test annotations.
|
2025-09-16 12:20:29 +01:00 |
|
Tom Hvitved
|
7cac226ad9
|
Rust: Adjust SSA write node for (compound) assignments
|
2025-09-16 13:05:50 +02:00 |
|
Tom Hvitved
|
4e77b1b9b8
|
Rust: Add self-assignment variable test
|
2025-09-16 13:05:48 +02:00 |
|
Geoffrey White
|
49de716f10
|
Rust: Accept consistency check changes.
|
2025-09-16 10:50:28 +01:00 |
|
Geoffrey White
|
61faeef1d3
|
Rust: Pretty print models, so that the MaD IDs aren't reported raw / in continual flux.
|
2025-09-16 09:00:40 +01:00 |
|
Geoffrey White
|
5c33af32e3
|
Rust: Update .expected file.
|
2025-09-16 08:55:49 +01:00 |
|
Geoffrey White
|
3ca287454a
|
Merge branch 'main' into assignment
|
2025-09-15 18:01:19 +01:00 |
|
Geoffrey White
|
8442146a0f
|
Rust: Add a couple of simple data flow test cases.
|
2025-09-15 17:37:30 +01:00 |
|
copilot-swe-agent[bot]
|
e630bf86bd
|
Implement Rust non-HTTPS URL query (CWE-319)
Co-authored-by: geoffw0 <40627776+geoffw0@users.noreply.github.com>
|
2025-09-15 11:44:05 +00:00 |
|
Simon Friis Vindum
|
78389c8897
|
Merge pull request #20133 from paldepind/rust/type-inference-blanket-impl
Rust: Support blanket implementations
|
2025-09-15 12:46:41 +02:00 |
|
Simon Friis Vindum
|
af49301332
|
Merge pull request #20381 from paldepind/rust/request-forgery-query
Rust: Add basic request forgery query
|
2025-09-15 12:46:23 +02:00 |
|
Geoffrey White
|
00f644888c
|
Merge pull request #20426 from geoffw0/cookie2
Rust: cookie and biscotti crypto query sinks
|
2025-09-15 11:07:46 +01:00 |
|
Geoffrey White
|
118ac07b71
|
Rust: Convert 'from' models into one generic one.
|
2025-09-12 18:05:30 +01:00 |
|
Geoffrey White
|
9f83b67a7c
|
Rust: Model vec::from_elem.
|
2025-09-12 17:30:44 +01:00 |
|
Geoffrey White
|
e2d94127d6
|
Rust: Model vec::from.
|
2025-09-12 16:44:47 +01:00 |
|
Geoffrey White
|
5d3ea2f4d3
|
Rust: Add models for the cookie and biscotti crates.
|
2025-09-12 16:13:14 +01:00 |
|
Geoffrey White
|
2bb9e2f7be
|
Rust: Add test cases for hardcoded cryptographic constants in cookies.
|
2025-09-12 15:42:56 +01:00 |
|
Simon Friis Vindum
|
e2e6fd0683
|
Rust: Address feedback from PR review
|
2025-09-12 16:10:58 +02:00 |
|
Simon Friis Vindum
|
12dcd751d3
|
Rust: Accept test changes
|
2025-09-12 15:34:09 +02:00 |
|
Simon Friis Vindum
|
29ba013580
|
Rust: Add support for resolving methods from blanket implementations
|
2025-09-12 15:34:04 +02:00 |
|
Simon Friis Vindum
|
d10cdfb7f1
|
Rust: Move existing blanket implementation test
|
2025-09-12 15:31:42 +02:00 |
|
Simon Friis Vindum
|
69a1c7e1e8
|
Rust: Add tests with blanket implementation
|
2025-09-12 15:26:19 +02:00 |
|
Simon Friis Vindum
|
eea70069e7
|
Rust: Infer certain type information for struct expressions
|
2025-09-11 09:53:56 +02:00 |
|
Simon Friis Vindum
|
d1a3294f06
|
Merge branch 'main' into rust/request-forgery-query
|
2025-09-10 14:48:22 +02:00 |
|
Simon Friis Vindum
|
c73d081a32
|
Rust: Fix based on review
|
2025-09-10 14:41:20 +02:00 |
|
Simon Friis Vindum
|
50cd200ec5
|
Apply suggestions from code review
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2025-09-10 14:34:54 +02:00 |
|
Simon Friis Vindum
|
f7c74664fa
|
Rust: Improve a few toString implementations
|
2025-09-09 13:46:51 +02:00 |
|
Simon Friis Vindum
|
e1047dc40b
|
Rust: Add request forgery query
|
2025-09-09 10:37:57 +02:00 |
|
Simon Friis Vindum
|
63a2c9da76
|
Rust: Add request forgery tests
|
2025-09-09 10:37:56 +02:00 |
|
Simon Friis Vindum
|
aa9d299230
|
Merge pull request #20348 from paldepind/rust/certain-shorthand-self
Rust: Infer certain type for shorthand `self`
|
2025-09-09 09:40:18 +02:00 |
|
Simon Friis Vindum
|
eea11dbf5f
|
Rust: Relabel reqwest sinks as request-url
|
2025-09-08 13:05:58 +02:00 |
|
Tom Hvitved
|
dff5ed7d29
|
Rust: Assign locations to all DataFlowCallables
|
2025-09-03 11:21:57 +02:00 |
|
Simon Friis Vindum
|
1b683f6359
|
Rust: Infer certain type for self shorthand
|
2025-09-02 16:30:21 +02:00 |
|
Simon Friis Vindum
|
f7201023de
|
Rust: Add annotations to type inference tests
|
2025-09-02 16:24:40 +02:00 |
|
Simon Friis Vindum
|
17d23a9b78
|
Merge pull request #20343 from paldepind/rust/certain-type-inline-expectation
Rust: Change inline expectation annotation for inferred certain types
|
2025-09-02 15:07:41 +02:00 |
|
Simon Friis Vindum
|
8a92b2d611
|
Rust: Change inline expectation annotation for certain inferred types
|
2025-09-02 13:44:06 +02:00 |
|