Simon Friis Vindum c1ee20b2b9 Rust: Update generated models for Rust built-in libraries

2025-02-28 13:40:43 +01:00

..

barrier

Rust: Never skip match scrutinee/patterns in data flow

2024-12-16 15:12:16 +01:00

closures

Rust: Never skip assignment LHS in data flow

2024-12-16 15:12:15 +01:00

global

Rust: Path resolution for inherited functions

2025-02-18 13:49:05 +01:00

local

Rust: Update generated models for Rust built-in libraries

2025-02-28 13:40:43 +01:00

modeled

Rust: Model pointer read and write functions

2025-02-28 11:44:11 +01:00

models

Rust: Use Field MaD token instead of Variant, Struct, Tuple

2025-02-13 13:32:08 +01:00

pointers

Rust: Handle ref patterns in data flow

2025-02-12 13:20:11 +01:00

sources

Merge branch 'main' into nth

2025-02-12 15:14:20 +00:00

strings

Rust: Accept changes

2025-02-25 15:56:10 +01:00

taint

Rust: Add more models for Iterator.

2025-02-18 17:20:39 +00:00