{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:BZFZX27BLQI7QIZFIRCCDZ2RDE","short_pith_number":"pith:BZFZX27B","schema_version":"1.0","canonical_sha256":"0e4b9bebe15c11f82325444421e751191840c874e88cd1377b2fa4998a465cc2","source":{"kind":"arxiv","id":"1610.00502","version":3},"attestation_state":"computed","paper":{"title":"A Survey of Symbolic Execution Techniques","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Camil Demetrescu, Daniele Cono D'Elia, Emilio Coppa, Irene Finocchi, Roberto Baldoni","submitted_at":"2016-10-03T11:34:31Z","abstract_excerpt":"Many security and software testing applications require checking whether certain properties of a program hold for any possible usage scenario. For instance, a tool for identifying software vulnerabilities may need to rule out the existence of any backdoor to bypass a program's authentication. One approach would be to test the program using different, possibly random inputs. As the backdoor may only be hit for very specific program workloads, automated exploration of the space of possible inputs is of the essence. Symbolic execution provides an elegant solution to the problem, by systematically"},"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":"1610.00502","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-10-03T11:34:31Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"88855cecdf3fa41ca7dc2e0bdd2b7b608ddc300fc5d6f96e8f14433f5f518c59","abstract_canon_sha256":"a2a4a447d65e7d735452d00773d126a91316b7d689bcfc530ceaa4a1b682d76c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:02.099618Z","signature_b64":"1qW82GtD4f+YD57yd9zXG4x57vanuxbAyhxw2BnzV36/XcHEUNQXPE4Qyj/V7qwxLzNs8iKkVj+ubcJVWGSfDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0e4b9bebe15c11f82325444421e751191840c874e88cd1377b2fa4998a465cc2","last_reissued_at":"2026-05-18T00:17:02.098806Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:02.098806Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Survey of Symbolic Execution Techniques","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Camil Demetrescu, Daniele Cono D'Elia, Emilio Coppa, Irene Finocchi, Roberto Baldoni","submitted_at":"2016-10-03T11:34:31Z","abstract_excerpt":"Many security and software testing applications require checking whether certain properties of a program hold for any possible usage scenario. For instance, a tool for identifying software vulnerabilities may need to rule out the existence of any backdoor to bypass a program's authentication. One approach would be to test the program using different, possibly random inputs. As the backdoor may only be hit for very specific program workloads, automated exploration of the space of possible inputs is of the essence. Symbolic execution provides an elegant solution to the problem, by systematically"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.00502","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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":"1610.00502","created_at":"2026-05-18T00:17:02.098948+00:00"},{"alias_kind":"arxiv_version","alias_value":"1610.00502v3","created_at":"2026-05-18T00:17:02.098948+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.00502","created_at":"2026-05-18T00:17:02.098948+00:00"},{"alias_kind":"pith_short_12","alias_value":"BZFZX27BLQI7","created_at":"2026-05-18T12:30:09.641336+00:00"},{"alias_kind":"pith_short_16","alias_value":"BZFZX27BLQI7QIZF","created_at":"2026-05-18T12:30:09.641336+00:00"},{"alias_kind":"pith_short_8","alias_value":"BZFZX27B","created_at":"2026-05-18T12:30:09.641336+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/BZFZX27BLQI7QIZFIRCCDZ2RDE","json":"https://pith.science/pith/BZFZX27BLQI7QIZFIRCCDZ2RDE.json","graph_json":"https://pith.science/api/pith-number/BZFZX27BLQI7QIZFIRCCDZ2RDE/graph.json","events_json":"https://pith.science/api/pith-number/BZFZX27BLQI7QIZFIRCCDZ2RDE/events.json","paper":"https://pith.science/paper/BZFZX27B"},"agent_actions":{"view_html":"https://pith.science/pith/BZFZX27BLQI7QIZFIRCCDZ2RDE","download_json":"https://pith.science/pith/BZFZX27BLQI7QIZFIRCCDZ2RDE.json","view_paper":"https://pith.science/paper/BZFZX27B","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1610.00502&json=true","fetch_graph":"https://pith.science/api/pith-number/BZFZX27BLQI7QIZFIRCCDZ2RDE/graph.json","fetch_events":"https://pith.science/api/pith-number/BZFZX27BLQI7QIZFIRCCDZ2RDE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BZFZX27BLQI7QIZFIRCCDZ2RDE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BZFZX27BLQI7QIZFIRCCDZ2RDE/action/storage_attestation","attest_author":"https://pith.science/pith/BZFZX27BLQI7QIZFIRCCDZ2RDE/action/author_attestation","sign_citation":"https://pith.science/pith/BZFZX27BLQI7QIZFIRCCDZ2RDE/action/citation_signature","submit_replication":"https://pith.science/pith/BZFZX27BLQI7QIZFIRCCDZ2RDE/action/replication_record"}},"created_at":"2026-05-18T00:17:02.098948+00:00","updated_at":"2026-05-18T00:17:02.098948+00:00"}