{
  "raw_outcome": "reached",
  "state": "inconclusive",
  "diagnostics": [],
  "duration_ms": 6134,
  "total_elapsed_seconds": 6.134347832994536,
  "commands": [
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-declared-sink-positive/typecheck.command.json",
      "sha256": "63aa823ea36ecf5c3ec378542c5226fdbf232c1ec94eef8c6eb06558190dfa2f"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-declared-sink-positive/frontend.command.json",
      "sha256": "b4c7ca345b2c3a1e6f0b64d16fd98f783d851586098e3e707e7fea802bbd5dfe"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-declared-sink-positive/query.command.json",
      "sha256": "d07d2faf943e54b0dca0ff551178ebb77d71f248b9a284b58b17cdce570ea6f1"
    }
  ],
  "native_outputs": [
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-declared-sink-positive/build.log",
      "sha256": "48ae6ab03a2441c4c6f242d45f74df9def8a3954c7380ba52193e48ab3d59745"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-declared-sink-positive/config.json",
      "sha256": "78685b81e8014b6ad2e37d3177a1d5d41d0245e4defe3e8ec10154fc67aea06a"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-declared-sink-positive/cpg.bin",
      "sha256": "f0b671db9714eac1504f4fcc2cc662bd7f0acc9b7924557fa00f832d7f5f281a"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-declared-sink-positive/fixture-hashes.json",
      "sha256": "294b86eb6ee63637f39fe62747aa3bfa1a7d41a98b7ae21d17311e28b76f54f0"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-declared-sink-positive/frontend.stderr",
      "sha256": "b5000e0cf992e7616a5a8cbe8e0a3a21ae239da039074630fdb529ccacedca04"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-declared-sink-positive/frontend.stdout",
      "sha256": "0046d808cfed6c1e1dd326d2c33fbbdaf5691f9b743c44dd22c24dc564ca8072"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-declared-sink-positive/graph.json",
      "sha256": "a90741c6c545232f9cecb8bd140add22c8bd3e31f2463b73e07907f0ac5169bb"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-declared-sink-positive/query.stderr",
      "sha256": "5ce557ed76ba6c29671b0045edc0d0b1a1f8d8d093bb9d158b2d1b7f7ca49158"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-declared-sink-positive/query.stdout",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-declared-sink-positive/source-closure.json",
      "sha256": "b668b77f6c44095fb370699ea2f35b7eb79163bb5c02cad0e0b441152dfffe6e"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-declared-sink-positive/typecheck.stderr",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "execution-state/v092/groups/series-02/joern-swift-common108/attempt-05/reports/raw/joern-common-v2/current108-v092-01/dfb-taint-swift-model-declared-sink-positive/typecheck.stdout",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    }
  ],
  "witness_checkpoints": [],
  "executed": true,
  "capability": {
    "identity_gate": "exact-native-edges",
    "model_mode": "off",
    "model_status": "unqualified"
  },
  "schema": "joern-common-raw/v092",
  "case_id": "dfb-taint-swift-model-declared-sink-positive",
  "plan_sha256": "f4ae8f2ca3ece1bb253ce24a70368e969f0a25bc8d35dd2c8f7578d730aff4e9",
  "qualification_sha256": "d23b9e1b173a0c0584652ee6f241cab1c2bf273d8a06805ac0ac71e561ef3017",
  "population_sha256": "d05be4f2d9effe7b14a2ce5544238364f171e1fb763db2f79ff486526ca7c890",
  "fixture_revision": "sha256:7c8619b2d4a93467fd0a502ed03668bfc8f3b9878a7bd5e9271c7aca31f75f62",
  "configuration": "joern-current108",
  "identity": {
    "adapter_version": "joern-normal-v092",
    "tool": "joern",
    "tool_build_identity": "joern-cli:4.0.660;engine:309ff2c75b0d7314cd9003a13ae298325827a680580efad9be55d6c168363e00;frontend:d8e0746dd2aa6d3919f2f44e329014d4fcff7fab641bcdef5696a33ea6690f07",
    "tool_version": "4.0.660"
  }
}