{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:LYS7D5WOCAOA2SC3DZBB4DIEYT","short_pith_number":"pith:LYS7D5WO","schema_version":"1.0","canonical_sha256":"5e25f1f6ce101c0d485b1e421e0d04c4df4da5665cd20d8f786fade24cd3997b","source":{"kind":"arxiv","id":"2508.06643","version":1},"attestation_state":"computed","paper":{"title":"Symbolic Execution in Practice: A Survey of Applications in Vulnerability, Malware, Firmware, and Protocol Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Charles Nicholas, Joshua Bailey","submitted_at":"2025-08-08T18:43:45Z","abstract_excerpt":"Symbolic execution is a powerful program analysis technique that allows for the systematic exploration of all program paths. Path explosion, where the number of states to track becomes unwieldy, is one of the biggest challenges hindering symbolic execution's practical application. To combat this, researchers have employed various strategies to enable symbolic execution on complex software systems. This paper introduces a systematic taxonomy of these strategies, categorizing them into two primary approaches: Scope Reduction, which aims to reduce the scope of symbolic execution to manageable por"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2508.06643","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-08-08T18:43:45Z","cross_cats_sorted":[],"title_canon_sha256":"2e6ee22da1161f35de19819010eb787f071a548297eebbd6c01ba5f55217b8cb","abstract_canon_sha256":"c9e344b1297cd32ab209ccaba681f161d696ed2a6a676792076409c9c74578fd"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:51:04.149124Z","signature_b64":"P11J5hAVUxHrTavei8SJ/eVhDF5NzvjbgHWPlG0za3LkIRQzMhm9rMRk58ANOm+uEKASBGEG6tnY95VO3Z7cDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5e25f1f6ce101c0d485b1e421e0d04c4df4da5665cd20d8f786fade24cd3997b","last_reissued_at":"2026-07-05T11:51:04.148556Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:51:04.148556Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Symbolic Execution in Practice: A Survey of Applications in Vulnerability, Malware, Firmware, and Protocol Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Charles Nicholas, Joshua Bailey","submitted_at":"2025-08-08T18:43:45Z","abstract_excerpt":"Symbolic execution is a powerful program analysis technique that allows for the systematic exploration of all program paths. Path explosion, where the number of states to track becomes unwieldy, is one of the biggest challenges hindering symbolic execution's practical application. To combat this, researchers have employed various strategies to enable symbolic execution on complex software systems. This paper introduces a systematic taxonomy of these strategies, categorizing them into two primary approaches: Scope Reduction, which aims to reduce the scope of symbolic execution to manageable por"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.06643","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2508.06643/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2508.06643","created_at":"2026-07-05T11:51:04.148619+00:00"},{"alias_kind":"arxiv_version","alias_value":"2508.06643v1","created_at":"2026-07-05T11:51:04.148619+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.06643","created_at":"2026-07-05T11:51:04.148619+00:00"},{"alias_kind":"pith_short_12","alias_value":"LYS7D5WOCAOA","created_at":"2026-07-05T11:51:04.148619+00:00"},{"alias_kind":"pith_short_16","alias_value":"LYS7D5WOCAOA2SC3","created_at":"2026-07-05T11:51:04.148619+00:00"},{"alias_kind":"pith_short_8","alias_value":"LYS7D5WO","created_at":"2026-07-05T11:51:04.148619+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2508.06643","citing_title":"Symbolic Execution in Practice: A Survey of Applications in Vulnerability, Malware, Firmware, and Protocol Analysis","ref_index":1,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/LYS7D5WOCAOA2SC3DZBB4DIEYT","json":"https://pith.science/pith/LYS7D5WOCAOA2SC3DZBB4DIEYT.json","graph_json":"https://pith.science/api/pith-number/LYS7D5WOCAOA2SC3DZBB4DIEYT/graph.json","events_json":"https://pith.science/api/pith-number/LYS7D5WOCAOA2SC3DZBB4DIEYT/events.json","paper":"https://pith.science/paper/LYS7D5WO"},"agent_actions":{"view_html":"https://pith.science/pith/LYS7D5WOCAOA2SC3DZBB4DIEYT","download_json":"https://pith.science/pith/LYS7D5WOCAOA2SC3DZBB4DIEYT.json","view_paper":"https://pith.science/paper/LYS7D5WO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2508.06643&json=true","fetch_graph":"https://pith.science/api/pith-number/LYS7D5WOCAOA2SC3DZBB4DIEYT/graph.json","fetch_events":"https://pith.science/api/pith-number/LYS7D5WOCAOA2SC3DZBB4DIEYT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LYS7D5WOCAOA2SC3DZBB4DIEYT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LYS7D5WOCAOA2SC3DZBB4DIEYT/action/storage_attestation","attest_author":"https://pith.science/pith/LYS7D5WOCAOA2SC3DZBB4DIEYT/action/author_attestation","sign_citation":"https://pith.science/pith/LYS7D5WOCAOA2SC3DZBB4DIEYT/action/citation_signature","submit_replication":"https://pith.science/pith/LYS7D5WOCAOA2SC3DZBB4DIEYT/action/replication_record"}},"created_at":"2026-07-05T11:51:04.148619+00:00","updated_at":"2026-07-05T11:51:04.148619+00:00"}