Tom Hvitved
0fc2875527
Rust: Include tuple structs/variants in CallExprBase.getStaticTarget()
2025-10-10 09:48:08 +02:00
Paolo Tranquilli
122b7ebba8
Rust: accept test changes
2025-10-07 14:49:08 +02:00
Paolo Tranquilli
ace2ff5775
Rust: test with the 1.90 toolchain
2025-10-07 11:32:20 +02:00
Simon Friis Vindum
1f2cca7d00
Merge pull request #20547 from paldepind/rust/function-as-lambda
...
Rust: Handle functions as data flow lambdas
2025-10-06 10:15:55 +02:00
Tom Hvitved
b4c979f586
Merge pull request #20548 from hvitved/rust/macro-call-resolution
...
Rust: Macro call resolution
2025-10-02 14:54:10 +02:00
Simon Friis Vindum
a359a24c9e
Merge pull request #20559 from paldepind/rust/string-add-ref
...
Rust: Add taint model for add on `String`
2025-10-01 09:38:54 +02:00
Geoffrey White
d9955ce93c
Merge pull request #20503 from geoffw0/cookie
...
Rust: New query rust/insecure-cookie
2025-09-30 15:26:37 +01:00
Tom Hvitved
537e7a8ec3
Rust: Fix formatting
2025-09-30 16:24:38 +02:00
Tom Hvitved
701cff3ca4
Rust: Macro call resolution
2025-09-30 16:21:02 +02:00
Simon Friis Vindum
19871a2653
Rust: Accept test changes
2025-09-30 15:26:30 +02:00
Simon Friis Vindum
49efd574a0
Rust: Add taint model for add on String
2025-09-30 14:48:03 +02:00
Geoffrey White
a286631018
Merge pull request #20512 from geoffw0/stmtlist
...
Rust: Improve StmtList
2025-09-30 09:53:55 +01:00
Simon Friis Vindum
37ffe82ac9
Rust: Handle functions as lambdas
2025-09-29 14:49:04 +02:00
Simon Friis Vindum
0728692e93
Rust: Add tests for functions as lambdas
2025-09-29 14:46:53 +02:00
Geoffrey White
1635ef9ad9
Merge branch 'main' into convert
2025-09-26 14:11:04 +01:00
Tom Hvitved
615b0a0310
Merge pull request #20502 from hvitved/rust/path-resolution-check-arity
...
Rust: Check call arities in path resolution
2025-09-26 13:45:26 +02:00
Geoffrey White
3a03bb5a0b
Rust: Repair rust/hard-coded-cryptographic-value, which had an unintentional dependence on the taint flow.
2025-09-26 10:03:38 +01:00
Geoffrey White
74a350a432
Rust: Effect on tests.
2025-09-26 09:55:16 +01:00
Tom Hvitved
c52709a5f0
Merge pull request #20516 from hvitved/rust/type-inference-union-pointer-never
...
Rust: Model union, never, and pointer types
2025-09-26 10:26:05 +02:00
Geoffrey White
656a7bc378
Rust: Add missing Cargo.lock files to query tests.
2025-09-25 17:40:59 +01:00
Tom Hvitved
2a814dd37c
Rust: Model union, never, and pointer types
2025-09-25 12:33:51 +02:00
Geoffrey White
7e8e855f28
Rust: Fix bug when there are no statements.
2025-09-24 17:16:26 +01:00
Geoffrey White
93a0198326
Rust: Add a test for StmtList.
2025-09-24 17:04:39 +01:00
Geoffrey White
9bdac9d1cf
Rust: Move 'operations' test into elements subdir.
2025-09-24 17:04:38 +01:00
Geoffrey White
ab30c786a5
Rust: Accept test changes.
2025-09-24 16:08:03 +01:00
Geoffrey White
ed3a6fd799
Rust: Codegen.
2025-09-24 15:32:10 +01:00
Tom Hvitved
e6b1e8ec56
Rust: Check call arities in path resolution
2025-09-24 10:19:56 +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
26aa938acc
Merge pull request #20452 from paldepind/rust/mad-source-parameter
...
Rust, shared: Support `Parameter` in source MaD models
2025-09-24 09:37:25 +02:00
Geoffrey White
5ad332e37f
Merge pull request #20432 from github/copilot/fix-f50317f8-0a91-4bb4-a01b-353dcf0f6f3f
...
Rust: Implement new query for non-HTTPS URLs (CWE-319)
2025-09-22 18:03:52 +01:00
Geoffrey White
266624dd0f
Rust: The test needs to have Source tags now.
2025-09-22 17:12:52 +01:00
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
