{
  "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"
    }
  ]
}