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.
29 lines
1,008 B
JSON
29 lines
1,008 B
JSON
{
|
|
"name": "svcomp-array-memsafety",
|
|
"description": "SV-COMP array-memsafety category gold, built from per-file yml specs (valid-deref/valid-free/valid-memtrack).",
|
|
"expected": [
|
|
{
|
|
"kind": "null-deref",
|
|
"files": [
|
|
"array-memsafety/add_last_unsafe.c",
|
|
"array-memsafety/bubblesort_unsafe.c",
|
|
"array-memsafety/count_down_unsafe.c",
|
|
"array-memsafety/cstrcat_unsafe.c",
|
|
"array-memsafety/cstrchr_unsafe.c",
|
|
"array-memsafety/cstrlen_unsafe.c",
|
|
"array-memsafety/cstrncat_unsafe.c",
|
|
"array-memsafety/cstrncpy_unsafe.c",
|
|
"array-memsafety/cstrpbrk_unsafe.c",
|
|
"array-memsafety/diff_usafe.c",
|
|
"array-memsafety/knapsack_alloca_unsafe.c",
|
|
"array-memsafety/lis_unsafe.c",
|
|
"array-memsafety/mult_array_unsafe.c",
|
|
"array-memsafety/reverse_array_alloca_unsafe.c",
|
|
"array-memsafety/reverse_array_unsafe.c",
|
|
"array-memsafety/selectionsort_unsafe.c",
|
|
"array-memsafety/stroeder1_unsafe.c"
|
|
],
|
|
"id": "svcomp-array-memsafety-null-deref-0000"
|
|
}
|
|
]
|
|
}
|