2dcbdbc75d
Preserve source, binary, and runtime evidence boundaries while making precision and performance regressions reproducible. - decompose analysis orchestration into bounded modules - add differential, metamorphic, organic, and Yams change-time gates - fix detector, P-Code, fuzz sanitizer, and report identity precision
36 lines
939 B
JSON
36 lines
939 B
JSON
{
|
|
"schema_version": 1,
|
|
"case_id": "rust-unsafe-api",
|
|
"case_type": "positive-semantic",
|
|
"origin": "synthetic",
|
|
"backend": "rust",
|
|
"name": "rust_unsafe_api",
|
|
"description": "Rust frontend golden for unsafe API findings from the security crate fixture.",
|
|
"mode": "rust",
|
|
"paths": ["../../fixtures/rust/security_crate"],
|
|
"detectors": "rust-unsafe-api",
|
|
"skip_if_missing_tools": true,
|
|
"expect": {
|
|
"require_physical_location": true,
|
|
"require_backend": true,
|
|
"require_backends": ["rust"],
|
|
"min_total": 3,
|
|
"must_report": [
|
|
{
|
|
"ruleId": "fold.rust-unsafe-api",
|
|
"backend": "rust",
|
|
"messageRegex": "transmute"
|
|
},
|
|
{
|
|
"ruleId": "fold.rust-unsafe-api",
|
|
"backend": "rust",
|
|
"messageRegex": "from_raw_parts"
|
|
},
|
|
{
|
|
"ruleId": "fold.rust-unsafe-api",
|
|
"backend": "rust",
|
|
"messageRegex": "set_len"
|
|
}
|
|
]
|
|
}
|
|
}
|