{
  "entrypoint_kind": "function_call",
  "entrypoint_detail": "authenticated low-privilege SQL role executes levenshtein_less_equal('aaa','bbbbb',1073741824,-1073741823,-2147483647,0) via contrib/fuzzystrmatch after CREATE EXTENSION fuzzystrmatch",
  "service_started": true,
  "healthcheck_passed": true,
  "target_path_reached": true,
  "runtime_stack": [
    "postgresql",
    "contrib/fuzzystrmatch",
    "psql/libpq"
  ],
  "target_identity": {
    "repository_url": "https://github.com/postgres/postgres",
    "target_digest": "sha256:7958605b474b3d264a969cb3a123d6aa00ad1e1fe9da8a69984dabb704d93317",
    "platform": "linux",
    "architecture": "x86_64"
  },
  "proof_artifacts": [
    "logs/vulnerable_attempt_1/psql.txt",
    "logs/vulnerable_attempt_1/server.txt",
    "logs/vulnerable_attempt_1/wraparound.txt",
    "logs/vulnerable_attempt_2/psql.txt",
    "logs/vulnerable_attempt_2/server.txt",
    "logs/vulnerable_attempt_2/wraparound.txt",
    "logs/fixed_attempt_1/psql.txt",
    "logs/fixed_attempt_1/server.txt",
    "logs/fixed_attempt_1/range_ref.txt",
    "logs/fixed_attempt_2/psql.txt",
    "logs/fixed_attempt_2/server.txt",
    "logs/fixed_attempt_2/range_ref.txt",
    "logs/rce/readelf_vuln.txt",
    "logs/rce/readelf_fixed.txt",
    "logs/rce/randomize_va_space.txt",
    "logs/rce/leak_1.txt",
    "logs/rce/leak_2.txt",
    "logs/rce/leak_3.txt",
    "logs/rce/leak_4.txt",
    "logs/rce/leak_5.txt",
    "logs/rce/leak_6.txt",
    "logs/rce/leak_7.txt",
    "logs/rce/leak_8.txt",
    "logs/rce/finale_x.psql.txt",
    "logs/rce/finale_y.psql.txt",
    "logs/rce/finale_fixed.psql.txt",
    "logs/rce/negative_control.json",
    "logs/rce/marker_x.txt",
    "logs/rce/marker_y.txt",
    "logs/rce/maps_finale_x.txt",
    "logs/rce/maps_finale_y.txt"
  ],
  "artifact_sha256": {
    "logs/vulnerable_attempt_1/psql.txt": "2d11cfcbb5ba556df2789ddadb0049a715554e238f50ff3e61e7fc624d3390cb",
    "logs/vulnerable_attempt_1/server.txt": "16f016d3d760a344fbbbfe9e83d1d8d5c52472003a3065474a36b0b9a7258079",
    "logs/vulnerable_attempt_1/wraparound.txt": "921830fe921e9758450d037982e7742798e4d381e524147e990435a5675f79f9",
    "logs/vulnerable_attempt_2/psql.txt": "2d11cfcbb5ba556df2789ddadb0049a715554e238f50ff3e61e7fc624d3390cb",
    "logs/vulnerable_attempt_2/server.txt": "c6a724fc47868bc2381bb9094321714259766a4194f35c0881e7da5ff35d4e1d",
    "logs/vulnerable_attempt_2/wraparound.txt": "921830fe921e9758450d037982e7742798e4d381e524147e990435a5675f79f9",
    "logs/fixed_attempt_1/psql.txt": "932753210307cda303ac8a2cf12384fc6adc89c15ca1edfd7f1e82486a0b6ad1",
    "logs/fixed_attempt_1/server.txt": "7967fbe4326864fce66025b2b3feadde22db60fd2630bd3eedca834794a0a69b",
    "logs/fixed_attempt_1/range_ref.txt": "4b4bc5feb791b928d949a919c15a9089e0d3b95a2acb8b9c21a277ca4a8cd305",
    "logs/fixed_attempt_2/psql.txt": "932753210307cda303ac8a2cf12384fc6adc89c15ca1edfd7f1e82486a0b6ad1",
    "logs/fixed_attempt_2/server.txt": "1797303a8eafe8df85fdcac02553a41cb9785ea69de6b906bc7bcd133419ecd6",
    "logs/fixed_attempt_2/range_ref.txt": "4b4bc5feb791b928d949a919c15a9089e0d3b95a2acb8b9c21a277ca4a8cd305",
    "logs/rce/readelf_vuln.txt": "f2bd0dad24eea6cffd5e6aa66673693052f8f42e57f75508d8f767179edc80bf",
    "logs/rce/readelf_fixed.txt": "2c03cee22fbe8101e13fe5f78fb4303ede1d10a342fd714f67f873d60c3b2b5d",
    "logs/rce/randomize_va_space.txt": "53c234e5e8472b6ac51c1ae1cab3fe06fad053beb8ebfd8977b010655bfdd3c3",
    "logs/rce/leak_1.txt": "9c8bf87d839fad9d41fb419208ea1be4db464ec0132f447045b548529c06e6dc",
    "logs/rce/leak_2.txt": "9c8bf87d839fad9d41fb419208ea1be4db464ec0132f447045b548529c06e6dc",
    "logs/rce/leak_3.txt": "202aa5f90302914ebcb728e83078b0ed7642ffb3f6f18750c115cac1d9c05496",
    "logs/rce/leak_4.txt": "9c8bf87d839fad9d41fb419208ea1be4db464ec0132f447045b548529c06e6dc",
    "logs/rce/leak_5.txt": "9c8bf87d839fad9d41fb419208ea1be4db464ec0132f447045b548529c06e6dc",
    "logs/rce/leak_6.txt": "9c8bf87d839fad9d41fb419208ea1be4db464ec0132f447045b548529c06e6dc",
    "logs/rce/leak_7.txt": "9c8bf87d839fad9d41fb419208ea1be4db464ec0132f447045b548529c06e6dc",
    "logs/rce/leak_8.txt": "9c8bf87d839fad9d41fb419208ea1be4db464ec0132f447045b548529c06e6dc",
    "logs/rce/finale_x.psql.txt": "1ccd0fe0735afd4825e57d5dde760fd940fad3dbf9fcc6b673bbe521876bc5a0",
    "logs/rce/finale_y.psql.txt": "05c14eaaae7462dee86c08fc07797a8a1050e99b5aa944dbdbd19dcafcfba8a8",
    "logs/rce/finale_fixed.psql.txt": "cffbdb45a2ce8ff62dc4e6b7b45857b6fb89ff6a49527e7a6179b586798061cf",
    "logs/rce/negative_control.json": "1db314f3c0ef2b9098d47d680c16325a66c85a822ebd3bafb63c8174e6931d29",
    "logs/rce/marker_x.txt": "415153436f8b44da97db71247de9fce344fb7a309dd794c91a6b459d8e2f234d",
    "logs/rce/marker_y.txt": "d60b9b9b74a3fc966119cd150221aab905499c474e8026b2063bcd408aaae5fa",
    "logs/rce/maps_finale_x.txt": "60781624fc39f73a1157e947a4809f572b5b476020175b0604f259d4c0cca897",
    "logs/rce/maps_finale_y.txt": "60781624fc39f73a1157e947a4809f572b5b476020175b0604f259d4c0cca897"
  },
  "notes": "mode=docker; vulnerable=postgres@sha256:7958605b474b3d264a969cb3a123d6aa00ad1e1fe9da8a69984dabb704d93317 (SIGSEGV 2/2); fixed=postgres@sha256:f4c66b820c6f974249089d3d16d86a3698eae11e8746eb6644b2271031e91232 (healthy 2/2); fixed commit e88eb4e766381070f42e5b84e583a1d0288983f7; rce_ok=1 markers=2/2 libc=0x75a2b2a1e000 system=0x75a2b2a71110"
}