Tom Hvitved 209ee9236b Rust: Also lift read steps in summaries as taint steps

2026-01-09 12:13:46 +01:00

..

CWE-020

Rust: Add integral type barrier for Regex injection.

2025-10-31 16:37:10 +00:00

CWE-022

Rust: Also lift read steps in summaries as taint steps

2026-01-09 12:13:46 +01:00

CWE-079

Rust: Add XSS sink for Axum HTML response creation

2025-12-16 12:41:44 +01:00

CWE-089

Rust: Refactor MaD provanance-based filtering

2025-12-19 19:35:41 +01:00

CWE-117

Rust: Distinguish &mut T from &T in type inference

2025-12-18 12:47:42 +01:00

CWE-295

Rust: Avoid duplicating sinks.

2025-11-21 19:34:16 +00:00

CWE-311

Rust: accept test changes

2025-10-07 14:49:08 +02:00

CWE-312

Rust: Refactor MaD provanance-based filtering

2025-12-19 19:35:41 +01:00

CWE-319

Rust: accept test changes

2025-10-07 14:49:08 +02:00

CWE-327

Merge branch 'main' into copilot/add-ecb-cbc-test-cases

2025-12-10 08:56:20 +00:00

CWE-614

Rust: Improve handling of implicit derefs/borrows in data flow

2025-12-01 11:34:01 +01:00

CWE-696

Rust: Accept test changes

2025-12-02 14:43:51 +01:00

CWE-770

Rust: Model implicit Deref trait calls in data flow

2026-01-07 10:51:56 +01:00

CWE-798

Rust: Also lift read steps in summaries as taint steps

2026-01-09 12:13:46 +01:00

CWE-825

Rust: Distinguish &mut T from &T in type inference

2025-12-18 12:47:42 +01:00

CWE-918

Rust: Restrict type propagation into arguments

2025-11-14 09:44:58 +01:00