{
  "schema": "swift-normal-raw/v1",
  "case_id": "dfb-taint-swift-model-sanitizer-kill-negative",
  "plan_sha256": "aaaa5f20a5ece1aadc472c575c313a4a4c081cb20e498a25dbced32d82ef8293",
  "population_sha256": "d05be4f2d9effe7b14a2ce5544238364f171e1fb763db2f79ff486526ca7c890",
  "fixture_revision": "sha256:7c8619b2d4a93467fd0a502ed03668bfc8f3b9878a7bd5e9271c7aca31f75f62",
  "configuration_hash": "ab028dea2a0c1addd6851b625324e8288b290a6a65d5e8ca58c9092147e4c3b8",
  "identity_witness_sha256": "60dccc25895eb222d16387659291d96749789400fa5e0fc45f168b0c032d87c5",
  "execution_contract_sha256": "0cfab0d72db777a5161cba9376a50281f93d790d5faf5cfc3c06fb96b624b86e",
  "raw_outcome": "not-reached",
  "state": "inconclusive",
  "duration_ms": 47514,
  "diagnostics": [],
  "witness_checkpoints": [],
  "executed": true,
  "commands": [
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/extract.command.json",
      "sha256": "fd495d3ecf94a2e86e608c19bc8303a636a19e27c3c48dae5ab28d8df7e2608c"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/resolve-database.command.json",
      "sha256": "450f6d7cde9117e922ac9e3f105c32e4090af48a83ed969a55505401f7e5464c"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/roles.command.json",
      "sha256": "81145c01f0faf06c66680785047dac16e94e4ea7b8aef9a5ccc633d44f723818"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/roles-decode.command.json",
      "sha256": "b5bc4566504ac73b2134d1adcd45a3214100ec190412a19d3d9de626c5da5979"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/flow.command.json",
      "sha256": "bfb81e6ba95c362f8dca2d39280318ffbbe24247311ca45f4c726d69f21e3b3f"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/flow-decode.command.json",
      "sha256": "d80795545947a4a363a9a87d37d7add74c9ee106d381af4a846391dfd984f632"
    }
  ],
  "native_outputs": [
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/database-closure.json",
      "sha256": "ea624d09a78c5f2c1b528204b1482577dbf69e691aa6a2c8b5ed3238f429e9d0"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/database-finalization.txt",
      "sha256": "c179beee93e36360374cab1966290bcf06ddc9bf3ab582b949662056783b311a"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/extract.stderr",
      "sha256": "e780b4a5ef957d1a70fda5a73e9cd246bd80afe2f160d9e3d419c3c4caf8bff6"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/extract.stdout",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/extraction-integrity.json",
      "sha256": "a83b6bf6f37f83d5c35a356d9a066fbf84b3d355bf14be31d8e535ea4bfdc041"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/flow-decode.stderr",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/flow-decode.stdout",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/flow.bqrs",
      "sha256": "bfcde9cc8e0326ac73bdd0285e98aab565c37856cdfe931e9057e629ce8a5842"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/flow.json",
      "sha256": "d0c6c4d00dc03993ce6a346eb900b63ab0ea4c2f4822af09c234a6c87044a7c9"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/flow.stderr",
      "sha256": "d3960e659ddf74344119dd93eec5da32d7c9d79e27e4a24c96641582062fc770"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/flow.stdout",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/resolve-database.stderr",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/resolve-database.stdout",
      "sha256": "a9cb0078e75a9c4b9d0502d0b276fbc501a00c9546c5d97947d0807a3ed11580"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/roles-decode.stderr",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/roles-decode.stdout",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/roles.bqrs",
      "sha256": "8e9d1bceb598fe93ae81afc82af189491c52bcb241e413c24b27491e10594665"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/roles.json",
      "sha256": "6b6b4ea7a6de899b3a3197eb75272c7164af6e3d9a61451266e976550ef1d119"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/roles.stderr",
      "sha256": "3b5c65a774bdc2d847e96e6471fa35fa3128580fe26cd31c3f0a9bd56a55b8d2"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-sanitizer-kill-negative/roles.stdout",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    }
  ],
  "analysis_elapsed_seconds": 7.402057875000082,
  "query_qualification": {
    "path": "reports/releases/v0.9.2/qualification/codeql-swift-common108/query-check-02/receipt.json",
    "sha256": "62b934fb5546296ebd790bb952a169a8fe8ea59c9e056ea377c839cfcf3fa468"
  },
  "runtime_manifest_sha256": {
    "cli": "6d78ada551622e9f80e7ef2ef0cd50f15db7b82d2921d257e00025d2b296accf",
    "cli_tree": "ddef999abfc6d5578cc9e3d46c9ebf7f7c2835c11e64a2b1a96cd179888945b8",
    "compiler": "02e538310488d814f027f689d17187d50f005226f8de8ca868d99e27ae36af0d",
    "extractor": "8712dcc19b67dd52ea35a771e4483c0695006ef4c312f3b919158667e40d5132",
    "extractor_tree": "5f96b6498443c509a16889049a1f44f22d5f5680aeda09c6b40bd5d9f08ab5af",
    "packs": "fb47dc786441189213937dae9638efe8b0878e04e0be56c3d349ce03d6ceb4bc",
    "packs_tree": "5b1dca82019e9d47a6aa6a38f1045d69422e4d627b04331205d418344388f431",
    "sdk": "6ef552967a655ba9949bc9fd0a439f5d1d7a684def20ea89ee5e1e9f0fdb26a5"
  }
}