{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:7NHU6DNCORG2KPMVV6Z6NCQ3HT","short_pith_number":"pith:7NHU6DNC","schema_version":"1.0","canonical_sha256":"fb4f4f0da2744da53d95afb3e68a1b3ceb1bdb4b524919318ab566d59bbe001a","source":{"kind":"arxiv","id":"2606.29108","version":1},"attestation_state":"computed","paper":{"title":"Symbolon: Symbolic Execution by Learning Code Transformation","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.PL","cs.SE"],"primary_cat":"cs.CR","authors_text":"Chihao Shen, Jie Zhu, Kexin Pei, Penghui Li, Yizheng Chen, Zhongxuan Li, Ziyang Li","submitted_at":"2026-06-27T23:16:50Z","abstract_excerpt":"Symbolic execution is a powerful program analysis technique with broad applications, such as vulnerability detection, security testing, and malware analysis. However, this technique is known to suffer from scalability issues, e.g., path explosion, complex constraints, due to certain structural and semantic patterns commonly presented in real-world programs. Existing approaches attempt to escape these patterns by transforming programs into new representations to reduce the execution cost. Unfortunately, these transformations are often too rigid to exploit diverse local program semantics and som"},"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":"2606.29108","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2026-06-27T23:16:50Z","cross_cats_sorted":["cs.PL","cs.SE"],"title_canon_sha256":"4e6a9b757cf551d4f8054282d488cf788c89094169b6f14ea5a584e529f9216d","abstract_canon_sha256":"91a9f592d1c3071ac94a84b79cb3d3739fd90ceec0596e8bf152a471db0584fa"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-30T01:17:53.140809Z","signature_b64":"VUXV4p7YFn106lgUCLg25Yye5bbhvbLAyu1OD+1vlh2ebqf7ijFL84EAPr/bHcaj1DcWRIY3w8046/eCNDBeDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fb4f4f0da2744da53d95afb3e68a1b3ceb1bdb4b524919318ab566d59bbe001a","last_reissued_at":"2026-06-30T01:17:53.140302Z","signature_status":"signed_v1","first_computed_at":"2026-06-30T01:17:53.140302Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Symbolon: Symbolic Execution by Learning Code Transformation","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.PL","cs.SE"],"primary_cat":"cs.CR","authors_text":"Chihao Shen, Jie Zhu, Kexin Pei, Penghui Li, Yizheng Chen, Zhongxuan Li, Ziyang Li","submitted_at":"2026-06-27T23:16:50Z","abstract_excerpt":"Symbolic execution is a powerful program analysis technique with broad applications, such as vulnerability detection, security testing, and malware analysis. However, this technique is known to suffer from scalability issues, e.g., path explosion, complex constraints, due to certain structural and semantic patterns commonly presented in real-world programs. Existing approaches attempt to escape these patterns by transforming programs into new representations to reduce the execution cost. Unfortunately, these transformations are often too rigid to exploit diverse local program semantics and som"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.29108","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/2606.29108/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":"2606.29108","created_at":"2026-06-30T01:17:53.140390+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.29108v1","created_at":"2026-06-30T01:17:53.140390+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.29108","created_at":"2026-06-30T01:17:53.140390+00:00"},{"alias_kind":"pith_short_12","alias_value":"7NHU6DNCORG2","created_at":"2026-06-30T01:17:53.140390+00:00"},{"alias_kind":"pith_short_16","alias_value":"7NHU6DNCORG2KPMV","created_at":"2026-06-30T01:17:53.140390+00:00"},{"alias_kind":"pith_short_8","alias_value":"7NHU6DNC","created_at":"2026-06-30T01:17:53.140390+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/7NHU6DNCORG2KPMVV6Z6NCQ3HT","json":"https://pith.science/pith/7NHU6DNCORG2KPMVV6Z6NCQ3HT.json","graph_json":"https://pith.science/api/pith-number/7NHU6DNCORG2KPMVV6Z6NCQ3HT/graph.json","events_json":"https://pith.science/api/pith-number/7NHU6DNCORG2KPMVV6Z6NCQ3HT/events.json","paper":"https://pith.science/paper/7NHU6DNC"},"agent_actions":{"view_html":"https://pith.science/pith/7NHU6DNCORG2KPMVV6Z6NCQ3HT","download_json":"https://pith.science/pith/7NHU6DNCORG2KPMVV6Z6NCQ3HT.json","view_paper":"https://pith.science/paper/7NHU6DNC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.29108&json=true","fetch_graph":"https://pith.science/api/pith-number/7NHU6DNCORG2KPMVV6Z6NCQ3HT/graph.json","fetch_events":"https://pith.science/api/pith-number/7NHU6DNCORG2KPMVV6Z6NCQ3HT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7NHU6DNCORG2KPMVV6Z6NCQ3HT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7NHU6DNCORG2KPMVV6Z6NCQ3HT/action/storage_attestation","attest_author":"https://pith.science/pith/7NHU6DNCORG2KPMVV6Z6NCQ3HT/action/author_attestation","sign_citation":"https://pith.science/pith/7NHU6DNCORG2KPMVV6Z6NCQ3HT/action/citation_signature","submit_replication":"https://pith.science/pith/7NHU6DNCORG2KPMVV6Z6NCQ3HT/action/replication_record"}},"created_at":"2026-06-30T01:17:53.140390+00:00","updated_at":"2026-06-30T01:17:53.140390+00:00"}