e30764fb19
Add negative_cases_from_universe to expand an explicit file-by-rule universe into labeled negatives (enabling TP/FP/TN/FN, not just TP/FP), plus project-eval harness updates in run_project_eval and the score/score_fp/quality-gate helpers.
20 lines
531 B
JSON
20 lines
531 B
JSON
{
|
|
"name": "svcomp-array-memsafety-realloc",
|
|
"description": "SV-COMP array-memsafety-realloc category gold, built from per-file yml specs (valid-deref/valid-free/valid-memtrack).",
|
|
"expected": [
|
|
{
|
|
"kind": "memory-leak",
|
|
"files": [
|
|
"array-memsafety-realloc/array-realloc-3.c"
|
|
],
|
|
"id": "svcomp-array-memsafety-realloc-memory-leak-0000"
|
|
},
|
|
{
|
|
"kind": "use-after-free",
|
|
"files": [
|
|
"array-memsafety-realloc/array-realloc-1.c"
|
|
],
|
|
"id": "svcomp-array-memsafety-realloc-use-after-free-0001"
|
|
}
|
|
]
|
|
}
|