c4e42cec0a
Split source and binary scan routing with merge-only hybrid support, binary provenance, and router-backed MCP scan contexts. Add async MCP scan jobs for long-running scans, detector precision fixes, benchmark scripts, docs, and integration coverage.
75 lines
1.5 KiB
JSON
75 lines
1.5 KiB
JSON
{
|
|
"name": "interproc",
|
|
"description": "Isolated interprocedural benchmark. Tests single-call, cross-file, and depth-2 patterns.",
|
|
"expected": [
|
|
{
|
|
"kind": "div-by-zero",
|
|
"files": [
|
|
"same_file/div_pass.c"
|
|
],
|
|
"id": "div_pass"
|
|
},
|
|
{
|
|
"kind": "null-deref",
|
|
"files": [
|
|
"same_file/null_pass.c"
|
|
],
|
|
"id": "null_pass"
|
|
},
|
|
{
|
|
"kind": "null-deref",
|
|
"files": [
|
|
"same_file/null_return.c"
|
|
],
|
|
"id": "null_return"
|
|
},
|
|
{
|
|
"kind": "int-overflow",
|
|
"files": [
|
|
"same_file/overflow_pass.c"
|
|
],
|
|
"id": "overflow_pass"
|
|
},
|
|
{
|
|
"kind": "null-deref",
|
|
"files": [
|
|
"cross_file/callee_deref.c"
|
|
],
|
|
"id": "callee_deref",
|
|
"note": "intraprocedural finding on callee"
|
|
},
|
|
{
|
|
"kind": "div-by-zero",
|
|
"files": [
|
|
"cross_file/callee_divide.c"
|
|
],
|
|
"id": "callee_divide",
|
|
"note": "intraprocedural finding on callee"
|
|
},
|
|
{
|
|
"kind": "div-by-zero",
|
|
"files": [
|
|
"cross_file/caller_divide.c"
|
|
],
|
|
"id": "caller_divide",
|
|
"interproc": true
|
|
},
|
|
{
|
|
"kind": "null-deref",
|
|
"files": [
|
|
"cross_file/caller_null.c"
|
|
],
|
|
"id": "caller_null",
|
|
"interproc": true,
|
|
"note": "call-site finding on caller file"
|
|
},
|
|
{
|
|
"kind": "null-deref",
|
|
"files": [
|
|
"depth2/chain_null.c"
|
|
],
|
|
"id": "chain_null",
|
|
"note": "depth-2 interprocedural null precondition"
|
|
}
|
|
]
|
|
}
|