{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:7GLGGFZRH4JJKKFSEHFBAV5RAY","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":"045b38d6c7605963bb44304bd724a6fc7bcd7e9710d8801ce63112a419e16e7e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-05-28T16:02:53Z","title_canon_sha256":"d09661b5f257d23ea33c99dc73ced8d91da810f4f1dfb1d88b739c3f74bd469c"},"schema_version":"1.0","source":{"id":"1805.11001","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.11001","created_at":"2026-05-18T00:14:37Z"},{"alias_kind":"arxiv_version","alias_value":"1805.11001v2","created_at":"2026-05-18T00:14:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.11001","created_at":"2026-05-18T00:14:37Z"},{"alias_kind":"pith_short_12","alias_value":"7GLGGFZRH4JJ","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"7GLGGFZRH4JJKKFS","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"7GLGGFZR","created_at":"2026-05-18T12:32:11Z"}],"graph_snapshots":[{"event_id":"sha256:f1c7a720e24af593bd283f8b2783e29797d40d1992843f83c8242922655f2cb5","target":"graph","created_at":"2026-05-18T00:14:37Z","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"},"paper":{"abstract_excerpt":"With the success of the Cyber Grand Challenge (CGC) sponsored by DARPA, the topic of Autonomous Cyber Reasoning System (CRS) has recently attracted extensive attention from both industry and academia. Utilizing automated system to detect, exploit and patch software vulnerabilities seems so attractive because of its scalability and cost-efficiency compared with the human expert based solution. In this paper, we give an extensive survey of former representative works related to the underlying technologies of a CRS, including vulnerability detection, exploitation and patching. As an important sup","authors_text":"Chang Wang, Tiantian Ji, Xi Zhang, Yue Wu, Zhongru Wang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-05-28T16:02:53Z","title":"The Coming Era of AlphaHacking? A Survey of Automatic Software Vulnerability Detection, Exploitation and Patching Techniques"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.11001","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:f18926eea7192cf30451726110f542f6630a43d2bad5b95f16881004e74f5d95","target":"record","created_at":"2026-05-18T00:14:37Z","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":"045b38d6c7605963bb44304bd724a6fc7bcd7e9710d8801ce63112a419e16e7e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-05-28T16:02:53Z","title_canon_sha256":"d09661b5f257d23ea33c99dc73ced8d91da810f4f1dfb1d88b739c3f74bd469c"},"schema_version":"1.0","source":{"id":"1805.11001","kind":"arxiv","version":2}},"canonical_sha256":"f9966317313f129528b221ca1057b1063596f194ebc4a3961753a6d38881455e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f9966317313f129528b221ca1057b1063596f194ebc4a3961753a6d38881455e","first_computed_at":"2026-05-18T00:14:37.405110Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:14:37.405110Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ClwhvgsdELc4WlRymdlQSTviQWvnbYzjiovrxU1EjX3qDYQV9YTO0KRDMLgLtz/R5XLxMQJMPdAx7yYQ2O+7Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:14:37.406003Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.11001","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f18926eea7192cf30451726110f542f6630a43d2bad5b95f16881004e74f5d95","sha256:f1c7a720e24af593bd283f8b2783e29797d40d1992843f83c8242922655f2cb5"],"state_sha256":"e3df1a07778e35692308f16a5fdc85f657814c9dd6339d28d0ca131c5c8b9bea"}