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
31 lines
838 B
JSON
31 lines
838 B
JSON
{
|
|
"schema_version": 1,
|
|
"case_id": "binary-guarded-division",
|
|
"case_type": "negative-near-miss",
|
|
"origin": "synthetic",
|
|
"backend": "binary",
|
|
"name": "binary_guarded_division",
|
|
"description": "Portable binary P-Code golden: guarded machine division must not report div-by-zero.",
|
|
"build_source": "fixtures/guarded_division.c",
|
|
"compiler": "cc",
|
|
"cflags": ["-O1", "-g0", "-fno-stack-protector"],
|
|
"detectors": "security",
|
|
"expect": {
|
|
"require_physical_location": true,
|
|
"require_backend": true,
|
|
"budgets": {
|
|
"max_wall_seconds": 5.0,
|
|
"max_cpu_seconds": 10.0,
|
|
"max_rss_mb": 1024
|
|
},
|
|
"max_by_rule": {
|
|
"fold.div-by-zero": 0
|
|
},
|
|
"must_not_report": [
|
|
{
|
|
"ruleId": "fold.div-by-zero",
|
|
"messageRegex": "division by zero|guarded_divide"
|
|
}
|
|
]
|
|
}
|
|
}
|