{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:O72EZMVYQVOQY3TTVATZLNZDYV","short_pith_number":"pith:O72EZMVY","canonical_record":{"source":{"id":"2303.14895","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-03-27T03:09:32Z","cross_cats_sorted":[],"title_canon_sha256":"b54f4030861cda495f2f77d2c1811eda365ab5e8803c3481121179002b352537","abstract_canon_sha256":"459eb251e776b4e0755bc9399055598b71b64e02aeeaca4f4c70ae344be3ae44"},"schema_version":"1.0"},"canonical_sha256":"77f44cb2b8855d0c6e73a82795b723c5633011e293cce36ef8c8bea228b1c353","source":{"kind":"arxiv","id":"2303.14895","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.14895","created_at":"2026-07-05T05:54:47Z"},{"alias_kind":"arxiv_version","alias_value":"2303.14895v1","created_at":"2026-07-05T05:54:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.14895","created_at":"2026-07-05T05:54:47Z"},{"alias_kind":"pith_short_12","alias_value":"O72EZMVYQVOQ","created_at":"2026-07-05T05:54:47Z"},{"alias_kind":"pith_short_16","alias_value":"O72EZMVYQVOQY3TT","created_at":"2026-07-05T05:54:47Z"},{"alias_kind":"pith_short_8","alias_value":"O72EZMVY","created_at":"2026-07-05T05:54:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:O72EZMVYQVOQY3TTVATZLNZDYV","target":"record","payload":{"canonical_record":{"source":{"id":"2303.14895","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-03-27T03:09:32Z","cross_cats_sorted":[],"title_canon_sha256":"b54f4030861cda495f2f77d2c1811eda365ab5e8803c3481121179002b352537","abstract_canon_sha256":"459eb251e776b4e0755bc9399055598b71b64e02aeeaca4f4c70ae344be3ae44"},"schema_version":"1.0"},"canonical_sha256":"77f44cb2b8855d0c6e73a82795b723c5633011e293cce36ef8c8bea228b1c353","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:54:47.542580Z","signature_b64":"yD5ZX2rpO9eTI9LB/7UVHKywGi6bgHdc9W/yChs8NLawR5pnCA60PKhhT4FOUWnH2kX5v+agTtlww0sVMvO/Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"77f44cb2b8855d0c6e73a82795b723c5633011e293cce36ef8c8bea228b1c353","last_reissued_at":"2026-07-05T05:54:47.542202Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:54:47.542202Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2303.14895","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-05T05:54:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K7dstujNKh6a4hgAQsFAaGGrIWDzMj2zx3VCDlLNBI02e09NKXsrnleAS/Vf6w1Ninnw5nxKmmltb6R/eXO0DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T11:59:23.424288Z"},"content_sha256":"75ce6b039653b9a393e0eb2ff68438e755fd8254be69848a6e35340d9ff83335","schema_version":"1.0","event_id":"sha256:75ce6b039653b9a393e0eb2ff68438e755fd8254be69848a6e35340d9ff83335"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:O72EZMVYQVOQY3TTVATZLNZDYV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Directed Greybox Fuzzing with Stepwise Constraint Focusing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Fengyu Wang, Guangfa Lv, Xiaofan Li, Xuan Li, Yongzheng Zhang","submitted_at":"2023-03-27T03:09:32Z","abstract_excerpt":"Dynamic data flow analysis has been widely used to guide greybox fuzzing. However, traditional dynamic data flow analysis tends to go astray in the massive path tracking and requires to process a large volume of data, resulting in low efficiency in reaching the target location. In this paper, we propose a directed greybox fuzzer based on dynamic constraint filtering and focusing (CONFF). First, all path constraints are tracked, and those with high priority are filtered as the next solution targets. Next, focusing on a single path constraint to be satisfied, we obtain its data condition and pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.14895","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/2303.14895/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-05T05:54:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2wZxXHvq7vr5xYZ9ZKE11ElMM9Za/8P7CSTMrn3p7ozBzhZfUqmTQkBZ5j3cg+tvRl4sMUMXhYiUPlT3usrECw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T11:59:23.424983Z"},"content_sha256":"486c1cde13cd554d2a37bdd2dbe884ef0ca34f440314cf6bbd9dbe4a473c1bc6","schema_version":"1.0","event_id":"sha256:486c1cde13cd554d2a37bdd2dbe884ef0ca34f440314cf6bbd9dbe4a473c1bc6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O72EZMVYQVOQY3TTVATZLNZDYV/bundle.json","state_url":"https://pith.science/pith/O72EZMVYQVOQY3TTVATZLNZDYV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O72EZMVYQVOQY3TTVATZLNZDYV/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-21T11:59:23Z","links":{"resolver":"https://pith.science/pith/O72EZMVYQVOQY3TTVATZLNZDYV","bundle":"https://pith.science/pith/O72EZMVYQVOQY3TTVATZLNZDYV/bundle.json","state":"https://pith.science/pith/O72EZMVYQVOQY3TTVATZLNZDYV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O72EZMVYQVOQY3TTVATZLNZDYV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:O72EZMVYQVOQY3TTVATZLNZDYV","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":"459eb251e776b4e0755bc9399055598b71b64e02aeeaca4f4c70ae344be3ae44","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-03-27T03:09:32Z","title_canon_sha256":"b54f4030861cda495f2f77d2c1811eda365ab5e8803c3481121179002b352537"},"schema_version":"1.0","source":{"id":"2303.14895","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.14895","created_at":"2026-07-05T05:54:47Z"},{"alias_kind":"arxiv_version","alias_value":"2303.14895v1","created_at":"2026-07-05T05:54:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.14895","created_at":"2026-07-05T05:54:47Z"},{"alias_kind":"pith_short_12","alias_value":"O72EZMVYQVOQ","created_at":"2026-07-05T05:54:47Z"},{"alias_kind":"pith_short_16","alias_value":"O72EZMVYQVOQY3TT","created_at":"2026-07-05T05:54:47Z"},{"alias_kind":"pith_short_8","alias_value":"O72EZMVY","created_at":"2026-07-05T05:54:47Z"}],"graph_snapshots":[{"event_id":"sha256:486c1cde13cd554d2a37bdd2dbe884ef0ca34f440314cf6bbd9dbe4a473c1bc6","target":"graph","created_at":"2026-07-05T05:54:47Z","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/2303.14895/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Dynamic data flow analysis has been widely used to guide greybox fuzzing. However, traditional dynamic data flow analysis tends to go astray in the massive path tracking and requires to process a large volume of data, resulting in low efficiency in reaching the target location. In this paper, we propose a directed greybox fuzzer based on dynamic constraint filtering and focusing (CONFF). First, all path constraints are tracked, and those with high priority are filtered as the next solution targets. Next, focusing on a single path constraint to be satisfied, we obtain its data condition and pro","authors_text":"Fengyu Wang, Guangfa Lv, Xiaofan Li, Xuan Li, Yongzheng Zhang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-03-27T03:09:32Z","title":"Directed Greybox Fuzzing with Stepwise Constraint Focusing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.14895","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:75ce6b039653b9a393e0eb2ff68438e755fd8254be69848a6e35340d9ff83335","target":"record","created_at":"2026-07-05T05:54:47Z","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":"459eb251e776b4e0755bc9399055598b71b64e02aeeaca4f4c70ae344be3ae44","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-03-27T03:09:32Z","title_canon_sha256":"b54f4030861cda495f2f77d2c1811eda365ab5e8803c3481121179002b352537"},"schema_version":"1.0","source":{"id":"2303.14895","kind":"arxiv","version":1}},"canonical_sha256":"77f44cb2b8855d0c6e73a82795b723c5633011e293cce36ef8c8bea228b1c353","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"77f44cb2b8855d0c6e73a82795b723c5633011e293cce36ef8c8bea228b1c353","first_computed_at":"2026-07-05T05:54:47.542202Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:54:47.542202Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yD5ZX2rpO9eTI9LB/7UVHKywGi6bgHdc9W/yChs8NLawR5pnCA60PKhhT4FOUWnH2kX5v+agTtlww0sVMvO/Cg==","signature_status":"signed_v1","signed_at":"2026-07-05T05:54:47.542580Z","signed_message":"canonical_sha256_bytes"},"source_id":"2303.14895","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:75ce6b039653b9a393e0eb2ff68438e755fd8254be69848a6e35340d9ff83335","sha256:486c1cde13cd554d2a37bdd2dbe884ef0ca34f440314cf6bbd9dbe4a473c1bc6"],"state_sha256":"acf2261a7a06d32ca3c91a821720fb6caf5120f4756c0501cfcc91d96140260a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mUEo7eJ/bXSf3Pbhfh3J3pyUZpuX3a9NnuzlLxg2eB7q8lPF+BTPflywQAvhDpPbMWsjWiP1gAwXyj5fne69Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T11:59:23.430473Z","bundle_sha256":"eae1bb06a3430295441254f8321414996c4ab112e373567c3f201f8e69907bf8"}}