Tom Hvitved 6b003580d1 Rust: Improve handling of implicit derefs/borrows in data flow

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

..

CONSISTENCY

Rust: Restrict type propagation into arguments

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

Cargo.lock

Rust: Add tests for rusqlite.

2025-08-04 15:00:06 +01:00

CleartextLogging.expected

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

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

CleartextLogging.qlref

Rust: Add PrettyPrintModels.ql to the test. I gather this stabilized the output MaD IDs.

2025-01-28 16:23:20 +00:00

CleartextStorageDatabase.expected

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

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

CleartextStorageDatabase.qlref

Rust: Query framework.

2025-07-28 16:59:01 +01:00

options.yml

Rust: Add tests for rusqlite.

2025-08-04 15:00:06 +01:00

test_logging.rs

Rust: Query framework.

2025-07-28 16:59:01 +01:00

test_storage.rs

Rust: Accept that sql-injection sinks are sinks for this query, and that the existing sinks created for this query are also new sql-injection sinks.

2025-08-04 15:23:04 +01:00