{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:WSTVC6GZU32MKOX2QAWIOASR2M","short_pith_number":"pith:WSTVC6GZ","canonical_record":{"source":{"id":"2409.00922","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-09-02T03:31:08Z","cross_cats_sorted":[],"title_canon_sha256":"16698104fce7e55e26c5060e4bf598947c4281142c56d83451eae3212bf32cf5","abstract_canon_sha256":"d00b8c039fffadbe0e4c0d30404032f8e59b30b93d5a8c246ecf39b05accc14b"},"schema_version":"1.0"},"canonical_sha256":"b4a75178d9a6f4c53afa802c870251d331fa83f0543fdb7251a96ce1a99ccef9","source":{"kind":"arxiv","id":"2409.00922","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.00922","created_at":"2026-07-05T09:01:55Z"},{"alias_kind":"arxiv_version","alias_value":"2409.00922v1","created_at":"2026-07-05T09:01:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.00922","created_at":"2026-07-05T09:01:55Z"},{"alias_kind":"pith_short_12","alias_value":"WSTVC6GZU32M","created_at":"2026-07-05T09:01:55Z"},{"alias_kind":"pith_short_16","alias_value":"WSTVC6GZU32MKOX2","created_at":"2026-07-05T09:01:55Z"},{"alias_kind":"pith_short_8","alias_value":"WSTVC6GZ","created_at":"2026-07-05T09:01:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:WSTVC6GZU32MKOX2QAWIOASR2M","target":"record","payload":{"canonical_record":{"source":{"id":"2409.00922","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-09-02T03:31:08Z","cross_cats_sorted":[],"title_canon_sha256":"16698104fce7e55e26c5060e4bf598947c4281142c56d83451eae3212bf32cf5","abstract_canon_sha256":"d00b8c039fffadbe0e4c0d30404032f8e59b30b93d5a8c246ecf39b05accc14b"},"schema_version":"1.0"},"canonical_sha256":"b4a75178d9a6f4c53afa802c870251d331fa83f0543fdb7251a96ce1a99ccef9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:01:55.282207Z","signature_b64":"7z6lkBGlm99F1j1gACFMEWQce+QmHcyCMFujPjgFc2YQV+JCsU/82ZVMbCe1DUDJ5FIKeDaoTyMUzRKXEvBQAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b4a75178d9a6f4c53afa802c870251d331fa83f0543fdb7251a96ce1a99ccef9","last_reissued_at":"2026-07-05T09:01:55.281778Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:01:55.281778Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2409.00922","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-05T09:01:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eRo/OrTr15ZdIXJH3EhWWLAn2R9btfTHyL9s6pBOZ2WjB+FUmB0izy53Zf5aqRH2O1odcemTc4JQFvA57gzVDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T01:07:46.077077Z"},"content_sha256":"b7ad24a23615a7195838074a093de5bf5820881789769cb5bd6e1f37e16691e1","schema_version":"1.0","event_id":"sha256:b7ad24a23615a7195838074a093de5bf5820881789769cb5bd6e1f37e16691e1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:WSTVC6GZU32MKOX2QAWIOASR2M","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ProphetFuzz: Fully Automated Prediction and Fuzzing of High-Risk Option Combinations with Only Documentation via Large Language Model","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Dan Li, Dawei Wang, Geng Zhou, Li Chen, Yukai Miao","submitted_at":"2024-09-02T03:31:08Z","abstract_excerpt":"Vulnerabilities related to option combinations pose a significant challenge in software security testing due to their vast search space. Previous research primarily addressed this challenge through mutation or filtering techniques, which inefficiently treated all option combinations as having equal potential for vulnerabilities, thus wasting considerable time on non-vulnerable targets and resulting in low testing efficiency. In this paper, we utilize carefully designed prompt engineering to drive the large language model (LLM) to predict high-risk option combinations (i.e., more likely to cont"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.00922","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/2409.00922/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-05T09:01:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FA4YyCvwsA8KBQjCqGfC7MhFbTCGnqH9QuWdijGd9x0brwipvOCEj/ts1wbwl50uIvt5SGrGgGzO8eS4a/1FBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T01:07:46.077475Z"},"content_sha256":"f8bb1521e8fa2f92189c3bd235f6f00111922b4c74ef928f44f27de667c00139","schema_version":"1.0","event_id":"sha256:f8bb1521e8fa2f92189c3bd235f6f00111922b4c74ef928f44f27de667c00139"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WSTVC6GZU32MKOX2QAWIOASR2M/bundle.json","state_url":"https://pith.science/pith/WSTVC6GZU32MKOX2QAWIOASR2M/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WSTVC6GZU32MKOX2QAWIOASR2M/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-20T01:07:46Z","links":{"resolver":"https://pith.science/pith/WSTVC6GZU32MKOX2QAWIOASR2M","bundle":"https://pith.science/pith/WSTVC6GZU32MKOX2QAWIOASR2M/bundle.json","state":"https://pith.science/pith/WSTVC6GZU32MKOX2QAWIOASR2M/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WSTVC6GZU32MKOX2QAWIOASR2M/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:WSTVC6GZU32MKOX2QAWIOASR2M","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":"d00b8c039fffadbe0e4c0d30404032f8e59b30b93d5a8c246ecf39b05accc14b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-09-02T03:31:08Z","title_canon_sha256":"16698104fce7e55e26c5060e4bf598947c4281142c56d83451eae3212bf32cf5"},"schema_version":"1.0","source":{"id":"2409.00922","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.00922","created_at":"2026-07-05T09:01:55Z"},{"alias_kind":"arxiv_version","alias_value":"2409.00922v1","created_at":"2026-07-05T09:01:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.00922","created_at":"2026-07-05T09:01:55Z"},{"alias_kind":"pith_short_12","alias_value":"WSTVC6GZU32M","created_at":"2026-07-05T09:01:55Z"},{"alias_kind":"pith_short_16","alias_value":"WSTVC6GZU32MKOX2","created_at":"2026-07-05T09:01:55Z"},{"alias_kind":"pith_short_8","alias_value":"WSTVC6GZ","created_at":"2026-07-05T09:01:55Z"}],"graph_snapshots":[{"event_id":"sha256:f8bb1521e8fa2f92189c3bd235f6f00111922b4c74ef928f44f27de667c00139","target":"graph","created_at":"2026-07-05T09:01:55Z","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/2409.00922/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Vulnerabilities related to option combinations pose a significant challenge in software security testing due to their vast search space. Previous research primarily addressed this challenge through mutation or filtering techniques, which inefficiently treated all option combinations as having equal potential for vulnerabilities, thus wasting considerable time on non-vulnerable targets and resulting in low testing efficiency. In this paper, we utilize carefully designed prompt engineering to drive the large language model (LLM) to predict high-risk option combinations (i.e., more likely to cont","authors_text":"Dan Li, Dawei Wang, Geng Zhou, Li Chen, Yukai Miao","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-09-02T03:31:08Z","title":"ProphetFuzz: Fully Automated Prediction and Fuzzing of High-Risk Option Combinations with Only Documentation via Large Language Model"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.00922","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:b7ad24a23615a7195838074a093de5bf5820881789769cb5bd6e1f37e16691e1","target":"record","created_at":"2026-07-05T09:01:55Z","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":"d00b8c039fffadbe0e4c0d30404032f8e59b30b93d5a8c246ecf39b05accc14b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-09-02T03:31:08Z","title_canon_sha256":"16698104fce7e55e26c5060e4bf598947c4281142c56d83451eae3212bf32cf5"},"schema_version":"1.0","source":{"id":"2409.00922","kind":"arxiv","version":1}},"canonical_sha256":"b4a75178d9a6f4c53afa802c870251d331fa83f0543fdb7251a96ce1a99ccef9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b4a75178d9a6f4c53afa802c870251d331fa83f0543fdb7251a96ce1a99ccef9","first_computed_at":"2026-07-05T09:01:55.281778Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:01:55.281778Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7z6lkBGlm99F1j1gACFMEWQce+QmHcyCMFujPjgFc2YQV+JCsU/82ZVMbCe1DUDJ5FIKeDaoTyMUzRKXEvBQAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:01:55.282207Z","signed_message":"canonical_sha256_bytes"},"source_id":"2409.00922","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b7ad24a23615a7195838074a093de5bf5820881789769cb5bd6e1f37e16691e1","sha256:f8bb1521e8fa2f92189c3bd235f6f00111922b4c74ef928f44f27de667c00139"],"state_sha256":"84ca44130ced013849efd56b114bbd9e73650f9ad66c8349c80b40968f044715"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e+FKHxxXLbHW4yIMFkCIOBPCJQG4PdKaqguMfjRfju0rlDLXFzca9avkV6/5ZiHp2/rfi5oBEUdAGPUXTuJKAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T01:07:46.079923Z","bundle_sha256":"f408952caa4a77784a239c72fdde310d2715fefa575e7f1260bdfacef562d615"}}