Geoffrey White
1635ef9ad9
Merge branch 'main' into convert
2025-09-26 14:11:04 +01:00
Geoffrey White
74a350a432
Rust: Effect on tests.
2025-09-26 09:55:16 +01:00
Tom Hvitved
2a814dd37c
Rust: Model union, never, and pointer types
2025-09-25 12:33:51 +02:00
Tom Hvitved
92cced201e
Merge pull request #20496 from hvitved/rust/path-resolution-use-visibility
...
Rust: Visibility check for qualified path resolution
2025-09-24 10:19:22 +02: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
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
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
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
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
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
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
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
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
f7c74664fa
Rust: Improve a few toString implementations
2025-09-09 13:46:51 +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
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
Simon Friis Vindum
0ed6428a94
Merge pull request #20321 from paldepind/rust/trait-method-scope-2
...
Rust: Take trait visibility into account when resolving paths and methods
2025-09-02 10:58:00 +02:00
Simon Friis Vindum
322ef4d985
Rust: Account for trait visibility when resolving paths and methods
2025-09-02 09:01:17 +02:00
Tom Hvitved
5b51bb2ef0
Rust: Deref as taint step
2025-09-02 08:55:10 +02:00
