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
39 lines
991 B
JSON
39 lines
991 B
JSON
{
|
|
"schema_version": 1,
|
|
"case_id": "source-div-zero-guarded",
|
|
"case_type": "finding-set",
|
|
"origin": "synthetic",
|
|
"backend": "source",
|
|
"name": "source_div_zero_guarded",
|
|
"description": "Source golden for div-by-zero: constant zero must report; guarded nonzero divisor must not report.",
|
|
"sources": [
|
|
"../../fixtures/security/div_const_zero.cpp",
|
|
"../../fixtures/security/div_guarded.cpp"
|
|
],
|
|
"detectors": "div-by-zero",
|
|
"processes": 1,
|
|
"expect": {
|
|
"require_physical_location": true,
|
|
"require_backend": true,
|
|
"budgets": {
|
|
"max_wall_seconds": 5.0,
|
|
"max_cpu_seconds": 10.0,
|
|
"max_rss_mb": 1024
|
|
},
|
|
"max_total": 1,
|
|
"min_total": 1,
|
|
"must_report": [
|
|
{
|
|
"ruleId": "fold.div-by-zero",
|
|
"backend": "source",
|
|
"messageRegex": "div_const_zero\\.cpp:3"
|
|
}
|
|
],
|
|
"must_not_report": [
|
|
{
|
|
"ruleId": "fold.div-by-zero",
|
|
"messageRegex": "div_guarded\\.cpp"
|
|
}
|
|
]
|
|
}
|
|
}
|