{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:6DW7QE7ZEOE3YPI42PU4BR5D5B","short_pith_number":"pith:6DW7QE7Z","schema_version":"1.0","canonical_sha256":"f0edf813f92389bc3d1cd3e9c0c7a3e86b58cfd7ab52f35a2297a98f6543f500","source":{"kind":"arxiv","id":"2304.07204","version":2},"attestation_state":"computed","paper":{"title":"Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.SE","authors_text":"Ding Li, Guangtai Liang, Haoyu Wang, Jikai Wang, Ningyu He, Shengjian Guo, Xiangqun Chen, Yao Guo, Yubin Hu, Zhehao Zhao","submitted_at":"2023-04-14T15:31:18Z","abstract_excerpt":"Although existing techniques have proposed automated approaches to alleviate the path explosion problem of symbolic execution, users still need to optimize symbolic execution by applying various searching strategies carefully. As existing approaches mainly support only coarse-grained global searching strategies, they cannot efficiently traverse through complex code structures. In this paper, we propose Eunomia, a symbolic execution technique that allows users to specify local domain knowledge to enable fine-grained search. In Eunomia, we design an expressive DSL, Aes, that lets users precisely"},"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":"2304.07204","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-04-14T15:31:18Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"57d72d30f57e8654a0ca7d95195c1649abbb4b7b03c38ca9aa5c4550d6334f76","abstract_canon_sha256":"f40463c96a606e187024b4da2aafe91fa5dbdeaa4ac415f96aafca7ba1d7b694"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:21:31.243606Z","signature_b64":"6KgQcdJXqF+bsybG3oCR4hQ4qwyOHed4pnm8TI81yYE1VXvvqna4PAz0egE6KsH5oxSuaANbglGROi5u8q9mBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f0edf813f92389bc3d1cd3e9c0c7a3e86b58cfd7ab52f35a2297a98f6543f500","last_reissued_at":"2026-07-05T06:21:31.243133Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:21:31.243133Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.SE","authors_text":"Ding Li, Guangtai Liang, Haoyu Wang, Jikai Wang, Ningyu He, Shengjian Guo, Xiangqun Chen, Yao Guo, Yubin Hu, Zhehao Zhao","submitted_at":"2023-04-14T15:31:18Z","abstract_excerpt":"Although existing techniques have proposed automated approaches to alleviate the path explosion problem of symbolic execution, users still need to optimize symbolic execution by applying various searching strategies carefully. As existing approaches mainly support only coarse-grained global searching strategies, they cannot efficiently traverse through complex code structures. In this paper, we propose Eunomia, a symbolic execution technique that allows users to specify local domain knowledge to enable fine-grained search. In Eunomia, we design an expressive DSL, Aes, that lets users precisely"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.07204","kind":"arxiv","version":2},"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/2304.07204/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":"2304.07204","created_at":"2026-07-05T06:21:31.243186+00:00"},{"alias_kind":"arxiv_version","alias_value":"2304.07204v2","created_at":"2026-07-05T06:21:31.243186+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.07204","created_at":"2026-07-05T06:21:31.243186+00:00"},{"alias_kind":"pith_short_12","alias_value":"6DW7QE7ZEOE3","created_at":"2026-07-05T06:21:31.243186+00:00"},{"alias_kind":"pith_short_16","alias_value":"6DW7QE7ZEOE3YPI4","created_at":"2026-07-05T06:21:31.243186+00:00"},{"alias_kind":"pith_short_8","alias_value":"6DW7QE7Z","created_at":"2026-07-05T06:21:31.243186+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/6DW7QE7ZEOE3YPI42PU4BR5D5B","json":"https://pith.science/pith/6DW7QE7ZEOE3YPI42PU4BR5D5B.json","graph_json":"https://pith.science/api/pith-number/6DW7QE7ZEOE3YPI42PU4BR5D5B/graph.json","events_json":"https://pith.science/api/pith-number/6DW7QE7ZEOE3YPI42PU4BR5D5B/events.json","paper":"https://pith.science/paper/6DW7QE7Z"},"agent_actions":{"view_html":"https://pith.science/pith/6DW7QE7ZEOE3YPI42PU4BR5D5B","download_json":"https://pith.science/pith/6DW7QE7ZEOE3YPI42PU4BR5D5B.json","view_paper":"https://pith.science/paper/6DW7QE7Z","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2304.07204&json=true","fetch_graph":"https://pith.science/api/pith-number/6DW7QE7ZEOE3YPI42PU4BR5D5B/graph.json","fetch_events":"https://pith.science/api/pith-number/6DW7QE7ZEOE3YPI42PU4BR5D5B/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6DW7QE7ZEOE3YPI42PU4BR5D5B/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6DW7QE7ZEOE3YPI42PU4BR5D5B/action/storage_attestation","attest_author":"https://pith.science/pith/6DW7QE7ZEOE3YPI42PU4BR5D5B/action/author_attestation","sign_citation":"https://pith.science/pith/6DW7QE7ZEOE3YPI42PU4BR5D5B/action/citation_signature","submit_replication":"https://pith.science/pith/6DW7QE7ZEOE3YPI42PU4BR5D5B/action/replication_record"}},"created_at":"2026-07-05T06:21:31.243186+00:00","updated_at":"2026-07-05T06:21:31.243186+00:00"}