Geoffrey White
|
7658ebb449
|
Rust: Add spurious test case for rust/uncontrolled-allocation-size.
|
2026-01-12 13:52:53 +00:00 |
|
Tom Hvitved
|
17441a5462
|
Rust: Add missing .Reference in various models
|
2026-01-12 14:21:45 +01:00 |
|
Tom Hvitved
|
6b34d0d250
|
Merge pull request #21123 from hvitved/rust/fix-path-models
Rust: Improve/add various models
|
2026-01-12 12:20:56 +01:00 |
|
Simon Friis Vindum
|
41921a85bb
|
Rust: Make function trait syntax without return type default to unit
|
2026-01-09 16:08:01 +01:00 |
|
Simon Friis Vindum
|
d45269609a
|
Rust: Add test with fn trait syntax without return type
|
2026-01-09 15:38:12 +01:00 |
|
Tom Hvitved
|
f3d78a4e0b
|
Rust: Update expected test output
|
2026-01-09 14:40:04 +01:00 |
|
Tom Hvitved
|
0d0029f5a3
|
Rust: Update expected test output
|
2026-01-09 14:40:01 +01:00 |
|
Tom Hvitved
|
209ee9236b
|
Rust: Also lift read steps in summaries as taint steps
|
2026-01-09 12:13:46 +01:00 |
|
Tom Hvitved
|
dce21e595e
|
Rust: Model implicit Deref trait calls in data flow
|
2026-01-07 10:51:56 +01:00 |
|
Tom Hvitved
|
0c7aeb4bce
|
Rust: Update data flow test to use implicit borrow
|
2026-01-07 10:51:55 +01:00 |
|
Tom Hvitved
|
4540662ab9
|
Rust: Model Deref trait in type inference
|
2026-01-07 10:51:53 +01:00 |
|
Tom Hvitved
|
caa0e90cd8
|
Rust: More type inference tests
|
2026-01-07 10:51:52 +01:00 |
|
Geoffrey White
|
13df23630b
|
Rust: Effect of lifting content reads as taint steps.
|
2026-01-06 16:47:07 +00:00 |
|
Geoffrey White
|
6e2702c3af
|
Rust: Add some taint tests involving tuples.
|
2026-01-06 16:38:36 +00:00 |
|
Tom Hvitved
|
1a2f72252a
|
Merge pull request #21072 from hvitved/rust/mad-provenance-refactor
Rust: Refactor MaD provenance-based filtering
|
2026-01-06 14:59:42 +01:00 |
|
Tom Hvitved
|
ae9588e176
|
Rust: Improve TuplePositionContent.getAnAccess
|
2026-01-06 09:24:32 +01:00 |
|
Tom Hvitved
|
f23351afca
|
Rust: Refactor MaD provanance-based filtering
|
2025-12-19 19:35:41 +01:00 |
|
Tom Hvitved
|
3c6a757c3e
|
Rust: Distinguish &mut T from &T in type inference
|
2025-12-18 12:47:42 +01:00 |
|
Simon Friis Vindum
|
da99bbf6a6
|
Merge pull request #21059 from paldepind/rust/adt-class
Rust: Improve and rename `Adt` class
|
2025-12-18 10:41:11 +01:00 |
|
Simon Friis Vindum
|
9e8735f84c
|
Merge pull request #20878 from paldepind/rust/axum-model
Rust: Add models for Axum
|
2025-12-17 15:47:28 +01:00 |
|
Simon Friis Vindum
|
97fd70e4f4
|
Rust: Accept change to expected file
|
2025-12-17 14:19:19 +01:00 |
|
Simon Friis Vindum
|
b64809cbd3
|
Rust: Adapt QL to AST changes
|
2025-12-17 14:19:16 +01:00 |
|
Simon Friis Vindum
|
dd02ac3964
|
Rust: Update generated files
|
2025-12-17 11:13:13 +01:00 |
|
Tom Hvitved
|
eb56cbd358
|
Rust: Fix candidate receiver type calculation for trait bounds
|
2025-12-17 11:06:27 +01:00 |
|
Tom Hvitved
|
3104adbe77
|
Rust: Add type inference test
|
2025-12-17 11:06:22 +01:00 |
|
Tom Hvitved
|
802c465b31
|
Merge pull request #21027 from hvitved/rust/type-inference-matching-specialization
Rust: Also use specialized types when inferring types for calls
|
2025-12-17 11:03:44 +01:00 |
|
Tom Hvitved
|
fe0ce7a492
|
Address review comments
|
2025-12-17 10:35:28 +01:00 |
|
Simon Friis Vindum
|
e53bdb11be
|
Rust: Accept changes to expected files for consistency check
|
2025-12-16 13:15:34 +01:00 |
|
Simon Friis Vindum
|
63329b47d8
|
Merge pull request #21036 from paldepind/rust/prioritize-manual-summaries
Rust: Don't apply generated models for functions that have a manual model
|
2025-12-16 12:47:27 +01:00 |
|
Simon Friis Vindum
|
cbdab99497
|
Rust: Add XSS sink for Axum HTML response creation
|
2025-12-16 12:41:44 +01:00 |
|
Simon Friis Vindum
|
fbf9f7eda7
|
Rust: Add models for Axum
|
2025-12-16 12:41:32 +01:00 |
|
Simon Friis Vindum
|
0ea06aca06
|
Rust: Introduce more functions in Axum test
|
2025-12-16 12:32:40 +01:00 |
|
Simon Friis Vindum
|
477e1cd96c
|
Rust: Fix manual model for PathBuf::as_path
|
2025-12-16 09:25:42 +01:00 |
|
Simon Friis Vindum
|
1b70111dd2
|
Rust: Don't apply generated models for functions that have a manual model
|
2025-12-15 14:25:49 +01:00 |
|
Simon Friis Vindum
|
d2cfd53933
|
Rust: Add test with wrong generated model
|
2025-12-15 14:23:48 +01:00 |
|
Tom Hvitved
|
86a4d42316
|
Rust: Remove obsolete comment from test
|
2025-12-15 13:10:41 +01:00 |
|
Tom Hvitved
|
3239afb278
|
Rust: Also use specialized types when inferring types for calls
|
2025-12-15 13:10:37 +01:00 |
|
Tom Hvitved
|
8e2d9d50b7
|
Rust: Add type inference test
|
2025-12-15 13:09:21 +01:00 |
|
Tom Hvitved
|
fc49360e81
|
Rust: Add models for core::cmp::Ord::{min,max,clamp}
|
2025-12-15 11:52:05 +01:00 |
|
Tom Hvitved
|
b61a439491
|
Merge pull request #21020 from hvitved/shared/source-sink-provenance-prio
Shared: Prefer source/sink models with manual provenance over generated
|
2025-12-12 16:01:06 +01:00 |
|
Tom Hvitved
|
0b00589f95
|
Rust: Update expected test output
|
2025-12-12 11:16:17 +01:00 |
|
Simon Friis Vindum
|
4425891352
|
Rust: Don't propagate impl in return position into function bodies
|
2025-12-12 09:13:04 +01:00 |
|
Geoffrey White
|
5db6b92411
|
Merge pull request #20887 from github/copilot/add-ecb-cbc-test-cases
Add ECB and CBC block mode test cases for BrokenCryptoAlgorithm query
|
2025-12-11 16:22:27 +00:00 |
|
Simon Friis Vindum
|
e13bb0f866
|
Merge pull request #20879 from paldepind/rust/reads-as-taint
Rust: Lift content reads as taint steps
|
2025-12-11 16:05:29 +01:00 |
|
Tom Hvitved
|
d5a95a8099
|
Rust: Strengthen isNotInstantiationOf uses
|
2025-12-10 20:48:21 +01:00 |
|
Tom Hvitved
|
f30a3b3712
|
Rust: Add type inference blowup test
|
2025-12-10 20:48:18 +01:00 |
|
Simon Friis Vindum
|
c6d2047827
|
Rust: Update expected files
|
2025-12-10 15:05:36 +01:00 |
|
Simon Friis Vindum
|
047ea10a9a
|
Rust: Update tests and expected files
|
2025-12-10 14:35:17 +01:00 |
|
Simon Friis Vindum
|
c5a44cf8ff
|
Rust: Accept changes to expected files
|
2025-12-10 11:35:32 +01:00 |
|
Geoffrey White
|
506a1ea0b8
|
Rust: Add test case for rust/access-after-lifetime-ended involving an invalidated reference.
|
2025-12-10 11:35:31 +01:00 |
|