{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:ZDUEFJBQ7P22H46XYZZHZBMN3V","short_pith_number":"pith:ZDUEFJBQ","schema_version":"1.0","canonical_sha256":"c8e842a430fbf5a3f3d7c6727c858ddd504030c71dd5542b84a8cc18099ea3b8","source":{"kind":"arxiv","id":"2508.21302","version":3},"attestation_state":"computed","paper":{"title":"Locus: Agentic Predicate Synthesis for Directed Fuzzing","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.CR","authors_text":"Chihao Shen, Jiahao Yu, Jie Zhu, Kexin Pei, Yizheng Chen, Ziyang Li","submitted_at":"2025-08-29T01:47:07Z","abstract_excerpt":"Directed fuzzing aims to find program inputs that lead to specified target program states. It has broad applications, such as debugging system crashes, confirming reported bugs, and generating exploits for potential vulnerabilities. This task is inherently challenging because target states are often deeply nested in the program, while the search space manifested by numerous possible program inputs is prohibitively large. Existing approaches rely on branch distances or manually-specified constraints to guide the search; however, the branches alone are often insufficient to precisely characteriz"},"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.21302","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-08-29T01:47:07Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"bb138acdac025dadf7ca9fc5ae08bc8c95183a6ab07f7ad7f96b3b7a16ca3f78","abstract_canon_sha256":"1c17d81d13d026e3e921a1d5b845deec956d60ac0091b7281e36ac71da6d3311"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-23T00:23:35.658693Z","signature_b64":"UUyyymTAWe0MKKA3hdVEoQhf2KHPcAaUegnnh9ebcOLphUCHicVk7CgZgzy2M+9PL/ovw+qHMxIAzvDlOATzBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c8e842a430fbf5a3f3d7c6727c858ddd504030c71dd5542b84a8cc18099ea3b8","last_reissued_at":"2026-07-23T00:23:35.657689Z","signature_status":"signed_v1","first_computed_at":"2026-07-23T00:23:35.657689Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Locus: Agentic Predicate Synthesis for Directed Fuzzing","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.CR","authors_text":"Chihao Shen, Jiahao Yu, Jie Zhu, Kexin Pei, Yizheng Chen, Ziyang Li","submitted_at":"2025-08-29T01:47:07Z","abstract_excerpt":"Directed fuzzing aims to find program inputs that lead to specified target program states. It has broad applications, such as debugging system crashes, confirming reported bugs, and generating exploits for potential vulnerabilities. This task is inherently challenging because target states are often deeply nested in the program, while the search space manifested by numerous possible program inputs is prohibitively large. Existing approaches rely on branch distances or manually-specified constraints to guide the search; however, the branches alone are often insufficient to precisely characteriz"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.21302","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2508.21302/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.21302","created_at":"2026-07-23T00:23:35.658156+00:00"},{"alias_kind":"arxiv_version","alias_value":"2508.21302v3","created_at":"2026-07-23T00:23:35.658156+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.21302","created_at":"2026-07-23T00:23:35.658156+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZDUEFJBQ7P22","created_at":"2026-07-23T00:23:35.658156+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZDUEFJBQ7P22H46X","created_at":"2026-07-23T00:23:35.658156+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZDUEFJBQ","created_at":"2026-07-23T00:23:35.658156+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":2,"sample":[{"citing_arxiv_id":"2605.23931","citing_title":"BODHI: Precise OS Kernel Specification Inference","ref_index":18,"is_internal_anchor":true},{"citing_arxiv_id":"2604.09998","citing_title":"Like a Hammer, It Can Build, It Can Break: Large Language Model Uses, Perceptions, and Adoption in Cybersecurity Operations on Reddit","ref_index":37,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ZDUEFJBQ7P22H46XYZZHZBMN3V","json":"https://pith.science/pith/ZDUEFJBQ7P22H46XYZZHZBMN3V.json","graph_json":"https://pith.science/api/pith-number/ZDUEFJBQ7P22H46XYZZHZBMN3V/graph.json","events_json":"https://pith.science/api/pith-number/ZDUEFJBQ7P22H46XYZZHZBMN3V/events.json","paper":"https://pith.science/paper/ZDUEFJBQ"},"agent_actions":{"view_html":"https://pith.science/pith/ZDUEFJBQ7P22H46XYZZHZBMN3V","download_json":"https://pith.science/pith/ZDUEFJBQ7P22H46XYZZHZBMN3V.json","view_paper":"https://pith.science/paper/ZDUEFJBQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2508.21302&json=true","fetch_graph":"https://pith.science/api/pith-number/ZDUEFJBQ7P22H46XYZZHZBMN3V/graph.json","fetch_events":"https://pith.science/api/pith-number/ZDUEFJBQ7P22H46XYZZHZBMN3V/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZDUEFJBQ7P22H46XYZZHZBMN3V/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZDUEFJBQ7P22H46XYZZHZBMN3V/action/storage_attestation","attest_author":"https://pith.science/pith/ZDUEFJBQ7P22H46XYZZHZBMN3V/action/author_attestation","sign_citation":"https://pith.science/pith/ZDUEFJBQ7P22H46XYZZHZBMN3V/action/citation_signature","submit_replication":"https://pith.science/pith/ZDUEFJBQ7P22H46XYZZHZBMN3V/action/replication_record"}},"created_at":"2026-07-23T00:23:35.658156+00:00","updated_at":"2026-07-23T00:23:35.658156+00:00"}