{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:3JINKJD37QGHDPC2IE6F2FT2EX","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"9696530ae99d4f6f915995205ff0e5fcbb85c78b36e04b6a2fc68adf83e61352","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-07-18T01:14:31Z","title_canon_sha256":"563a1209f7f9fe5da2582a31de389f1aa47996a2364c085e556a4ec06dce3b9b"},"schema_version":"1.0","source":{"id":"2307.08912","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.08912","created_at":"2026-07-05T06:33:47Z"},{"alias_kind":"arxiv_version","alias_value":"2307.08912v2","created_at":"2026-07-05T06:33:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.08912","created_at":"2026-07-05T06:33:47Z"},{"alias_kind":"pith_short_12","alias_value":"3JINKJD37QGH","created_at":"2026-07-05T06:33:47Z"},{"alias_kind":"pith_short_16","alias_value":"3JINKJD37QGHDPC2","created_at":"2026-07-05T06:33:47Z"},{"alias_kind":"pith_short_8","alias_value":"3JINKJD3","created_at":"2026-07-05T06:33:47Z"}],"graph_snapshots":[{"event_id":"sha256:640702c2437c44fc5a3518a5fce7447f8f33c313210c6bb5bdd24fabef5d3ec5","target":"graph","created_at":"2026-07-05T06:33:47Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2307.08912/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The increased adoption of smart contracts in many industries has made them an attractive target for cybercriminals, leading to millions of dollars in losses. Thus, deploying smart contracts with detected vulnerabilities (known to developers) are not acceptable, and fixing all the detected vulnerabilities is needed, which incurs high manual labor cost without effective tool support. To fill this need, in this paper, we propose ContractFix, a novel framework that automatically generates security patches for vulnerable smart contracts. ContractFix is a general framework that can incorporate diffe","authors_text":"DAWN, Peng, Pengcheng, Prateek, Qingzhao, Sanjeev, Tao, Xusheng, Yun, Zhuotao","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-07-18T01:14:31Z","title":"CONTRACTFIX: A Framework for Automatically Fixing Vulnerabilities in Smart Contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.08912","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:082f867d05e3ef977c54bb2d80c28c0dda8ce4a93385ff55b527a2e862413396","target":"record","created_at":"2026-07-05T06:33:47Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"9696530ae99d4f6f915995205ff0e5fcbb85c78b36e04b6a2fc68adf83e61352","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-07-18T01:14:31Z","title_canon_sha256":"563a1209f7f9fe5da2582a31de389f1aa47996a2364c085e556a4ec06dce3b9b"},"schema_version":"1.0","source":{"id":"2307.08912","kind":"arxiv","version":2}},"canonical_sha256":"da50d5247bfc0c71bc5a413c5d167a25f86474de5ea828ac3aefae1c5c3e23d9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"da50d5247bfc0c71bc5a413c5d167a25f86474de5ea828ac3aefae1c5c3e23d9","first_computed_at":"2026-07-05T06:33:47.504939Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:33:47.504939Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Na4Hob5wKZZ4OupyjBzd7+rC+zXb7FUS6bZDXZ7FKLjWB+1089je74lyQit7PpcR+v5lX67ZeiJI7u5S6mnKAA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:33:47.505437Z","signed_message":"canonical_sha256_bytes"},"source_id":"2307.08912","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:082f867d05e3ef977c54bb2d80c28c0dda8ce4a93385ff55b527a2e862413396","sha256:640702c2437c44fc5a3518a5fce7447f8f33c313210c6bb5bdd24fabef5d3ec5"],"state_sha256":"c8737653051f5fa64b2549f0a3ca6819d95f74b72649e9f8d2f71389dadf3b23"}