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
18 lines
607 B
JSON
18 lines
607 B
JSON
{
|
|
"schema_version": 1,
|
|
"case_id": "swift-fuzz-me-no-crash",
|
|
"case_type": "negative-near-miss",
|
|
"origin": "synthetic",
|
|
"backend": "swift",
|
|
"name": "swift_fuzz_me_no_crash",
|
|
"description": "Swift frontend golden for no-crash/report-shape behavior on the current Swift fixture. User-facing findings are currently filtered to zero.",
|
|
"mode": "swift",
|
|
"paths": ["../../fixtures/swift/Sources/fuzz_me.swift"],
|
|
"detectors": "rust-unsafe-api,null-deref",
|
|
"skip_if_missing_tools": true,
|
|
"expect": {
|
|
"require_physical_location": true,
|
|
"require_backend": true,
|
|
"max_total": 0
|
|
}
|
|
}
|