{
  "schema": "swift-normal-raw/v1",
  "case_id": "dfb-taint-swift-model-opaque-propagator-positive",
  "plan_sha256": "aaaa5f20a5ece1aadc472c575c313a4a4c081cb20e498a25dbced32d82ef8293",
  "population_sha256": "d05be4f2d9effe7b14a2ce5544238364f171e1fb763db2f79ff486526ca7c890",
  "fixture_revision": "sha256:7c8619b2d4a93467fd0a502ed03668bfc8f3b9878a7bd5e9271c7aca31f75f62",
  "configuration_hash": "ab028dea2a0c1addd6851b625324e8288b290a6a65d5e8ca58c9092147e4c3b8",
  "identity_witness_sha256": "60dccc25895eb222d16387659291d96749789400fa5e0fc45f168b0c032d87c5",
  "execution_contract_sha256": "0cfab0d72db777a5161cba9376a50281f93d790d5faf5cfc3c06fb96b624b86e",
  "raw_outcome": "reached",
  "state": "inconclusive",
  "duration_ms": 94338,
  "diagnostics": [],
  "witness_checkpoints": [],
  "executed": true,
  "commands": [
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/extract.command.json",
      "sha256": "7c69c462b9ba9eb03b36108b34764e5289bf8e1b88d43460a37629c3a1e34106"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/resolve-database.command.json",
      "sha256": "cd751abdfe48147983ac86efb8579a91e5c16ec782b70e83ccf2083135705c7a"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/roles.command.json",
      "sha256": "ef50be3e6d4373cc6b8e5bae6742207e53c5b940fdbd9de28d4dfb7f9c3b0200"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/roles-decode.command.json",
      "sha256": "eb7be1742d1c5e82919255e04504eef41140694bae4d979e5ce24be2435cce1c"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/flow.command.json",
      "sha256": "b97fc4dfd60ab62ee1e09b83b5eb6c5a0cf7afc5d4fe95f3690c781a2ceda966"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/flow-decode.command.json",
      "sha256": "6deace85f1c71c41a58ecca908031fd21f2c80e1d71d6dab06dab0e3438b7028"
    }
  ],
  "native_outputs": [
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/database-closure.json",
      "sha256": "d113739ee052ae647d2a4689108a84927d0bab8769120058a67d30d85cf776d5"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/database-finalization.txt",
      "sha256": "6aa696b38ecb38cdfbf3983216750d5b785ced682cf3bbd25371da2bb171a456"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/extract.stderr",
      "sha256": "3676b63d3ff7fe9afa9b4d5a332c9234cde486feb900a0e80718eaba28a9a896"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/extract.stdout",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/extraction-integrity.json",
      "sha256": "98db4b9deeec3d8cadfd52e37551f1189767aecff509779e115d9534b270f540"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/flow-decode.stderr",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/flow-decode.stdout",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/flow.bqrs",
      "sha256": "dd9020ec52cb024a3499f38fe95aa3723bde15fd80485aa6d6a090f1b1d38b20"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/flow.json",
      "sha256": "01b54939420841a261d8005dd259912d4878ca673af7f56c3a8aa280d495b842"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/flow.stderr",
      "sha256": "3486ac40f1c06008bf101fdce272e1314517c38e7b0d74cf4a49dd3e53827b6d"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/flow.stdout",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/resolve-database.stderr",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/resolve-database.stdout",
      "sha256": "e99c06b8c981de219a44bae20d78f6e5087240335f9c0c8635d94ad1eb3de51e"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/roles-decode.stderr",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/roles-decode.stdout",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/roles.bqrs",
      "sha256": "d34a618bd8abdf830d58f62494a0b2d8d9ec22664802d9089ddb65cfd52fa9a3"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/roles.json",
      "sha256": "5cf81d025809092d8a63f5b12ab038e7b2d8974c62db0ca7edf85138d51379b2"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/roles.stderr",
      "sha256": "4a6d4188c38448b410773e078a33b74b4b13ae780f34407ad3d0b350c1043b95"
    },
    {
      "path": "reports/raw/swift-common-v2/current108-v092-01/dfb-taint-swift-model-opaque-propagator-positive/roles.stdout",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    }
  ],
  "analysis_elapsed_seconds": 9.259251291000055,
  "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"
  }
}