{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:T35DMY3XTT6TTP4DB4AK7WGAIP","short_pith_number":"pith:T35DMY3X","schema_version":"1.0","canonical_sha256":"9efa3663779cfd39bf830f00afd8c043c4d8824756be69e255a14f6ba2ddda41","source":{"kind":"arxiv","id":"2507.18289","version":1},"attestation_state":"computed","paper":{"title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.SE","authors_text":"Jian Gao, Lijun Zhang, Shaohua Wang, Wenzhang Yang, Yan Li, Yinxing Xue, Yuekun Wang","submitted_at":"2025-07-24T10:51:11Z","abstract_excerpt":"Fuzzing a library requires experts to understand the library usage well and craft high-quality fuzz drivers, which is tricky and tedious. Therefore, many techniques have been proposed to automatically generate fuzz drivers. However, they fail to generate rational fuzz drivers due to the lack of adherence to proper library usage conventions, such as ensuring a resource is closed after being opened. To make things worse, existing library fuzzing techniques unconditionally execute each driver, resulting in numerous irrational drivers that waste computational resources while contributing little co"},"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":"2507.18289","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-24T10:51:11Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"b2e8fbf19d76876a08997044c7da46467463d14e8c3c29c79a0869951a3af7d4","abstract_canon_sha256":"3415bbfdf8fe98130e7c16d2780a6e16cb131a6b462b4e2b4612966954d0baf2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:42:45.416246Z","signature_b64":"zAVNp4h79/kLTUPCxcEtItTAjllqRtds/dOTVN2QhYGolyQpiI47lhuYmBU6nhydbHGcIy5TyUf7WD3ANYeTBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9efa3663779cfd39bf830f00afd8c043c4d8824756be69e255a14f6ba2ddda41","last_reissued_at":"2026-07-05T11:42:45.415719Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:42:45.415719Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.SE","authors_text":"Jian Gao, Lijun Zhang, Shaohua Wang, Wenzhang Yang, Yan Li, Yinxing Xue, Yuekun Wang","submitted_at":"2025-07-24T10:51:11Z","abstract_excerpt":"Fuzzing a library requires experts to understand the library usage well and craft high-quality fuzz drivers, which is tricky and tedious. Therefore, many techniques have been proposed to automatically generate fuzz drivers. However, they fail to generate rational fuzz drivers due to the lack of adherence to proper library usage conventions, such as ensuring a resource is closed after being opened. To make things worse, existing library fuzzing techniques unconditionally execute each driver, resulting in numerous irrational drivers that waste computational resources while contributing little co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.18289","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/2507.18289/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":"2507.18289","created_at":"2026-07-05T11:42:45.415785+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.18289v1","created_at":"2026-07-05T11:42:45.415785+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.18289","created_at":"2026-07-05T11:42:45.415785+00:00"},{"alias_kind":"pith_short_12","alias_value":"T35DMY3XTT6T","created_at":"2026-07-05T11:42:45.415785+00:00"},{"alias_kind":"pith_short_16","alias_value":"T35DMY3XTT6TTP4D","created_at":"2026-07-05T11:42:45.415785+00:00"},{"alias_kind":"pith_short_8","alias_value":"T35DMY3X","created_at":"2026-07-05T11:42:45.415785+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2605.21824","citing_title":"Quality-Assured Fuzz Harness Generation via the Four Principles Framework","ref_index":24,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/T35DMY3XTT6TTP4DB4AK7WGAIP","json":"https://pith.science/pith/T35DMY3XTT6TTP4DB4AK7WGAIP.json","graph_json":"https://pith.science/api/pith-number/T35DMY3XTT6TTP4DB4AK7WGAIP/graph.json","events_json":"https://pith.science/api/pith-number/T35DMY3XTT6TTP4DB4AK7WGAIP/events.json","paper":"https://pith.science/paper/T35DMY3X"},"agent_actions":{"view_html":"https://pith.science/pith/T35DMY3XTT6TTP4DB4AK7WGAIP","download_json":"https://pith.science/pith/T35DMY3XTT6TTP4DB4AK7WGAIP.json","view_paper":"https://pith.science/paper/T35DMY3X","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.18289&json=true","fetch_graph":"https://pith.science/api/pith-number/T35DMY3XTT6TTP4DB4AK7WGAIP/graph.json","fetch_events":"https://pith.science/api/pith-number/T35DMY3XTT6TTP4DB4AK7WGAIP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/T35DMY3XTT6TTP4DB4AK7WGAIP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/T35DMY3XTT6TTP4DB4AK7WGAIP/action/storage_attestation","attest_author":"https://pith.science/pith/T35DMY3XTT6TTP4DB4AK7WGAIP/action/author_attestation","sign_citation":"https://pith.science/pith/T35DMY3XTT6TTP4DB4AK7WGAIP/action/citation_signature","submit_replication":"https://pith.science/pith/T35DMY3XTT6TTP4DB4AK7WGAIP/action/replication_record"}},"created_at":"2026-07-05T11:42:45.415785+00:00","updated_at":"2026-07-05T11:42:45.415785+00:00"}