{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:T35DMY3XTT6TTP4DB4AK7WGAIP","short_pith_number":"pith:T35DMY3X","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"},"canonical_sha256":"9efa3663779cfd39bf830f00afd8c043c4d8824756be69e255a14f6ba2ddda41","source":{"kind":"arxiv","id":"2507.18289","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.18289","created_at":"2026-07-05T11:42:45Z"},{"alias_kind":"arxiv_version","alias_value":"2507.18289v1","created_at":"2026-07-05T11:42:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.18289","created_at":"2026-07-05T11:42:45Z"},{"alias_kind":"pith_short_12","alias_value":"T35DMY3XTT6T","created_at":"2026-07-05T11:42:45Z"},{"alias_kind":"pith_short_16","alias_value":"T35DMY3XTT6TTP4D","created_at":"2026-07-05T11:42:45Z"},{"alias_kind":"pith_short_8","alias_value":"T35DMY3X","created_at":"2026-07-05T11:42:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:T35DMY3XTT6TTP4DB4AK7WGAIP","target":"record","payload":{"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"},"canonical_sha256":"9efa3663779cfd39bf830f00afd8c043c4d8824756be69e255a14f6ba2ddda41","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"},"source_kind":"arxiv","source_id":"2507.18289","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:42:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SiFoBv0EsQadLJkqD5FSTfD0ikDzGqfpS+Ibem8jJIGJyNMVQ/nVCxzcR38g7S22mSoP6+xGQ6V8KNnaDNE3Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T20:46:37.608348Z"},"content_sha256":"d4f995dd60bfb1da24f16f934390b4f48e595fea28cc9325ca59bf81e3ae3ba8","schema_version":"1.0","event_id":"sha256:d4f995dd60bfb1da24f16f934390b4f48e595fea28cc9325ca59bf81e3ae3ba8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:T35DMY3XTT6TTP4DB4AK7WGAIP","target":"graph","payload":{"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:42:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bJ4yYkSkiCoPZaxxPsGCxZ8BuIrv0NCG8qje1csyM8IJ4AHihxX2D3gwxlr+99etnM/t5mLqsx36j+DE1mf8CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T20:46:37.608907Z"},"content_sha256":"eb6f7b0202e3bf9cacf7e54883a6c8881595a966c22d8a114ac2d9decc5506d1","schema_version":"1.0","event_id":"sha256:eb6f7b0202e3bf9cacf7e54883a6c8881595a966c22d8a114ac2d9decc5506d1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/T35DMY3XTT6TTP4DB4AK7WGAIP/bundle.json","state_url":"https://pith.science/pith/T35DMY3XTT6TTP4DB4AK7WGAIP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/T35DMY3XTT6TTP4DB4AK7WGAIP/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-16T20:46:37Z","links":{"resolver":"https://pith.science/pith/T35DMY3XTT6TTP4DB4AK7WGAIP","bundle":"https://pith.science/pith/T35DMY3XTT6TTP4DB4AK7WGAIP/bundle.json","state":"https://pith.science/pith/T35DMY3XTT6TTP4DB4AK7WGAIP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/T35DMY3XTT6TTP4DB4AK7WGAIP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:T35DMY3XTT6TTP4DB4AK7WGAIP","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"3415bbfdf8fe98130e7c16d2780a6e16cb131a6b462b4e2b4612966954d0baf2","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-24T10:51:11Z","title_canon_sha256":"b2e8fbf19d76876a08997044c7da46467463d14e8c3c29c79a0869951a3af7d4"},"schema_version":"1.0","source":{"id":"2507.18289","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.18289","created_at":"2026-07-05T11:42:45Z"},{"alias_kind":"arxiv_version","alias_value":"2507.18289v1","created_at":"2026-07-05T11:42:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.18289","created_at":"2026-07-05T11:42:45Z"},{"alias_kind":"pith_short_12","alias_value":"T35DMY3XTT6T","created_at":"2026-07-05T11:42:45Z"},{"alias_kind":"pith_short_16","alias_value":"T35DMY3XTT6TTP4D","created_at":"2026-07-05T11:42:45Z"},{"alias_kind":"pith_short_8","alias_value":"T35DMY3X","created_at":"2026-07-05T11:42:45Z"}],"graph_snapshots":[{"event_id":"sha256:eb6f7b0202e3bf9cacf7e54883a6c8881595a966c22d8a114ac2d9decc5506d1","target":"graph","created_at":"2026-07-05T11:42:45Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2507.18289/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Jian Gao, Lijun Zhang, Shaohua Wang, Wenzhang Yang, Yan Li, Yinxing Xue, Yuekun Wang","cross_cats":["cs.CR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.18289","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:d4f995dd60bfb1da24f16f934390b4f48e595fea28cc9325ca59bf81e3ae3ba8","target":"record","created_at":"2026-07-05T11:42:45Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"3415bbfdf8fe98130e7c16d2780a6e16cb131a6b462b4e2b4612966954d0baf2","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-24T10:51:11Z","title_canon_sha256":"b2e8fbf19d76876a08997044c7da46467463d14e8c3c29c79a0869951a3af7d4"},"schema_version":"1.0","source":{"id":"2507.18289","kind":"arxiv","version":1}},"canonical_sha256":"9efa3663779cfd39bf830f00afd8c043c4d8824756be69e255a14f6ba2ddda41","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9efa3663779cfd39bf830f00afd8c043c4d8824756be69e255a14f6ba2ddda41","first_computed_at":"2026-07-05T11:42:45.415719Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:42:45.415719Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zAVNp4h79/kLTUPCxcEtItTAjllqRtds/dOTVN2QhYGolyQpiI47lhuYmBU6nhydbHGcIy5TyUf7WD3ANYeTBw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:42:45.416246Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.18289","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d4f995dd60bfb1da24f16f934390b4f48e595fea28cc9325ca59bf81e3ae3ba8","sha256:eb6f7b0202e3bf9cacf7e54883a6c8881595a966c22d8a114ac2d9decc5506d1"],"state_sha256":"d9f9f032a8aef37df34aafe555fda99788e975b69121f3e8185aff12dbed17ad"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XL93uBKOTaweQzUha9j2sHbyDaeMhs8CMKa7TbkKEeC97AhM43hJWHSelOmqAO2DkdmJrdsWM9fuRCh5hFuFAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T20:46:37.613378Z","bundle_sha256":"5100284a3ae14436edec966d2bbdf5d4e486ef4439ce02202ffbfb90f4f239cb"}}