Geoffrey White
cc9c4149d7
Apply suggestions from code review
2025-09-22 16:54:08 +01:00
Geoffrey White
4662e42584
Rust: Add examples as tests (and fix them).
2025-09-22 16:12:27 +01:00
Geoffrey White
94afc82304
Rust: Fix an issue with the local flow.
2025-09-22 16:12:25 +01:00
Geoffrey White
a3ed83bfff
Rust: Make state transition / barrier nodes more reliable.
2025-09-22 16:12:23 +01:00
Geoffrey White
2654affeee
Rust: Account for the 'secure' and 'partitioned' attributes.
2025-09-22 16:12:22 +01:00
Geoffrey White
eadf922280
Rust: Use models-as-data, add source/sink/flow models.
2025-09-22 16:04:56 +01:00
Geoffrey White
7e75c1d242
Rust: Add very basic query prototype.
2025-09-22 16:04:53 +01:00
Geoffrey White
513ae2ab54
Rust: Add tests for insecure cookies.
2025-09-22 16:04:52 +01:00
Simon Friis Vindum
a4c61f6945
Rust: Accept test changes
2025-09-22 14:18:59 +02:00
Simon Friis Vindum
265e8b3623
Shared: Pass SummaryComponentStack to isSource and getSourceType
2025-09-22 14:18:54 +02:00
Simon Friis Vindum
05a58323c1
Rust: Add Warp test to request forgery query tests
2025-09-22 14:13:38 +02:00
Simon Friis Vindum
cd807533f2
Rust: Add tests for parameter in source model
2025-09-22 14:13:37 +02:00
Tom Hvitved
b2cc01c490
Rust: Visibility check for qualified path resolution
2025-09-22 09:38:30 +02:00
Tom Hvitved
8d5d219c0f
Rust: Update expected test output
2025-09-21 15:36:22 +02:00
Tom Hvitved
bdeeb3217e
Rust: Add path resolution tests
2025-09-20 09:30:55 +02:00
Tom Hvitved
fdb0c6ebb5
Merge pull request #20454 from paldepind/rust/path-resolution-attribute-expansion
...
Rust: Account for attribute expansions in path resolution
2025-09-20 09:21:00 +02:00
Geoffrey White
523ec9d633
Merge pull request #20439 from geoffw0/assignment
...
Rust: Add a couple of simple data flow test cases
2025-09-19 16:27:14 +01:00
Simon Friis Vindum
72103adacc
Rust: Fix spurious path resolution
...
The annotated impl block was filtered away, but it's children where not. This caused the associated type `Foo` to appear as if it was an item in the scope outside of the impl block.
2025-09-19 14:25:11 +02:00
Simon Friis Vindum
a9d7662bb7
Rust: Add path resolution test with attribute on impl block
2025-09-19 14:23:39 +02:00
Simon Friis Vindum
2c84b49ced
Rust: Update test expecations
2025-09-19 14:22:10 +02:00
Simon Friis Vindum
32365fd673
Rust: Account for attribute expansions in path resolution
2025-09-19 14:22:00 +02:00
Tom Hvitved
f6bdfba3b3
Rust: Path resolution improvements
2025-09-19 09:43:22 +02:00
Tom Hvitved
c831a8c2d9
Rust: Add more path resolution tests
2025-09-19 09:36:54 +02:00
Tom Hvitved
51a33c279d
Merge pull request #20460 from hvitved/rust/source-inline-flow-path-problem
2025-09-18 09:27:06 +02:00
Tom Hvitved
aba2cb487e
Rust: Convert data flow test to @kind path-problem
2025-09-17 20:52:17 +02:00
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
