{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:T6QJTDCMSRWIVZOCRX6NBYVCY3","short_pith_number":"pith:T6QJTDCM","canonical_record":{"source":{"id":"2607.21676","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-23T10:54:56Z","cross_cats_sorted":[],"title_canon_sha256":"7bdcad1157c7f9364c20dc8539b78ddc57edd62a304c2f2c68203ed3d80c9041","abstract_canon_sha256":"844c080a00eef376ad13227d2e775bcbd76e96ec580d576723c70b7fbc667e69"},"schema_version":"1.0"},"canonical_sha256":"9fa0998c4c946c8ae5c28dfcd0e2a2c6e0ca9d5bff91b1b6422d0fdb262dffb7","source":{"kind":"arxiv","id":"2607.21676","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.21676","created_at":"2026-07-27T00:20:14Z"},{"alias_kind":"arxiv_version","alias_value":"2607.21676v1","created_at":"2026-07-27T00:20:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.21676","created_at":"2026-07-27T00:20:14Z"},{"alias_kind":"pith_short_12","alias_value":"T6QJTDCMSRWI","created_at":"2026-07-27T00:20:14Z"},{"alias_kind":"pith_short_16","alias_value":"T6QJTDCMSRWIVZOC","created_at":"2026-07-27T00:20:14Z"},{"alias_kind":"pith_short_8","alias_value":"T6QJTDCM","created_at":"2026-07-27T00:20:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:T6QJTDCMSRWIVZOCRX6NBYVCY3","target":"record","payload":{"canonical_record":{"source":{"id":"2607.21676","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-23T10:54:56Z","cross_cats_sorted":[],"title_canon_sha256":"7bdcad1157c7f9364c20dc8539b78ddc57edd62a304c2f2c68203ed3d80c9041","abstract_canon_sha256":"844c080a00eef376ad13227d2e775bcbd76e96ec580d576723c70b7fbc667e69"},"schema_version":"1.0"},"canonical_sha256":"9fa0998c4c946c8ae5c28dfcd0e2a2c6e0ca9d5bff91b1b6422d0fdb262dffb7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-27T00:20:14.519279Z","signature_b64":"5DeHIJC/71c28Ey3aV0SKCpEocvxTf0F/N4kBOiHhSYhDwTpRS6zpGtqL3ovlyL8YkECQa6pn3lF7Y3km55JAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9fa0998c4c946c8ae5c28dfcd0e2a2c6e0ca9d5bff91b1b6422d0fdb262dffb7","last_reissued_at":"2026-07-27T00:20:14.518405Z","signature_status":"signed_v1","first_computed_at":"2026-07-27T00:20:14.518405Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.21676","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-27T00:20:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+tDKb2Bk0EdB8PcU0c1Po3ApZcGiIt4LZK+VaY/OpeFsGmQ2x0BGQTwOPeaQYH+YLHvSkmHcpVB9vepTnfGICQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-02T17:52:16.476299Z"},"content_sha256":"3bfa25c51bb7d4ab9e488574af442845ea28cd3034173e3ff11d771b5c7163fb","schema_version":"1.0","event_id":"sha256:3bfa25c51bb7d4ab9e488574af442845ea28cd3034173e3ff11d771b5c7163fb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:T6QJTDCMSRWIVZOCRX6NBYVCY3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Lingfeng Chen, Masanari Kondo, Tao Xiao, Yasutaka Kamei","submitted_at":"2026-07-23T10:54:56Z","abstract_excerpt":"Symbolic execution effectively discovers security violations but suffers from path explosion. Engines like KLEE therefore use path prioritization heuristics to order state exploration, typically optimizing code coverage. However, path prioritization can become trapped in cyclic control-flow regions, where repeated branching consumes the exploration budget before exploration reaches vulnerable code beyond these cyclic regions. We propose KLEECopilot, a Large Language Model (LLM)-guided directed symbolic execution approach built on KLEE. KLEECopilot uses LLMs to mark potentially vulnerable code "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.21676","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/2607.21676/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-27T00:20:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Fg4jr7923i7b9fpJcQSCNhHglTgHWyTpyL1rpg9mBZMtRTV7HHwKytS/ihPwloCIouRGA019SgesjtVNSmR7Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-02T17:52:16.476799Z"},"content_sha256":"c858b99e647e144997554978febfc011404561e5d04ef948bee18527c30e0a14","schema_version":"1.0","event_id":"sha256:c858b99e647e144997554978febfc011404561e5d04ef948bee18527c30e0a14"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/T6QJTDCMSRWIVZOCRX6NBYVCY3/bundle.json","state_url":"https://pith.science/pith/T6QJTDCMSRWIVZOCRX6NBYVCY3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/T6QJTDCMSRWIVZOCRX6NBYVCY3/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-02T17:52:16Z","links":{"resolver":"https://pith.science/pith/T6QJTDCMSRWIVZOCRX6NBYVCY3","bundle":"https://pith.science/pith/T6QJTDCMSRWIVZOCRX6NBYVCY3/bundle.json","state":"https://pith.science/pith/T6QJTDCMSRWIVZOCRX6NBYVCY3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/T6QJTDCMSRWIVZOCRX6NBYVCY3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:T6QJTDCMSRWIVZOCRX6NBYVCY3","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":"844c080a00eef376ad13227d2e775bcbd76e96ec580d576723c70b7fbc667e69","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-23T10:54:56Z","title_canon_sha256":"7bdcad1157c7f9364c20dc8539b78ddc57edd62a304c2f2c68203ed3d80c9041"},"schema_version":"1.0","source":{"id":"2607.21676","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.21676","created_at":"2026-07-27T00:20:14Z"},{"alias_kind":"arxiv_version","alias_value":"2607.21676v1","created_at":"2026-07-27T00:20:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.21676","created_at":"2026-07-27T00:20:14Z"},{"alias_kind":"pith_short_12","alias_value":"T6QJTDCMSRWI","created_at":"2026-07-27T00:20:14Z"},{"alias_kind":"pith_short_16","alias_value":"T6QJTDCMSRWIVZOC","created_at":"2026-07-27T00:20:14Z"},{"alias_kind":"pith_short_8","alias_value":"T6QJTDCM","created_at":"2026-07-27T00:20:14Z"}],"graph_snapshots":[{"event_id":"sha256:c858b99e647e144997554978febfc011404561e5d04ef948bee18527c30e0a14","target":"graph","created_at":"2026-07-27T00:20:14Z","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/2607.21676/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Symbolic execution effectively discovers security violations but suffers from path explosion. Engines like KLEE therefore use path prioritization heuristics to order state exploration, typically optimizing code coverage. However, path prioritization can become trapped in cyclic control-flow regions, where repeated branching consumes the exploration budget before exploration reaches vulnerable code beyond these cyclic regions. We propose KLEECopilot, a Large Language Model (LLM)-guided directed symbolic execution approach built on KLEE. KLEECopilot uses LLMs to mark potentially vulnerable code ","authors_text":"Lingfeng Chen, Masanari Kondo, Tao Xiao, Yasutaka Kamei","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-23T10:54:56Z","title":"Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.21676","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:3bfa25c51bb7d4ab9e488574af442845ea28cd3034173e3ff11d771b5c7163fb","target":"record","created_at":"2026-07-27T00:20:14Z","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":"844c080a00eef376ad13227d2e775bcbd76e96ec580d576723c70b7fbc667e69","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-23T10:54:56Z","title_canon_sha256":"7bdcad1157c7f9364c20dc8539b78ddc57edd62a304c2f2c68203ed3d80c9041"},"schema_version":"1.0","source":{"id":"2607.21676","kind":"arxiv","version":1}},"canonical_sha256":"9fa0998c4c946c8ae5c28dfcd0e2a2c6e0ca9d5bff91b1b6422d0fdb262dffb7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9fa0998c4c946c8ae5c28dfcd0e2a2c6e0ca9d5bff91b1b6422d0fdb262dffb7","first_computed_at":"2026-07-27T00:20:14.518405Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-27T00:20:14.518405Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5DeHIJC/71c28Ey3aV0SKCpEocvxTf0F/N4kBOiHhSYhDwTpRS6zpGtqL3ovlyL8YkECQa6pn3lF7Y3km55JAA==","signature_status":"signed_v1","signed_at":"2026-07-27T00:20:14.519279Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.21676","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3bfa25c51bb7d4ab9e488574af442845ea28cd3034173e3ff11d771b5c7163fb","sha256:c858b99e647e144997554978febfc011404561e5d04ef948bee18527c30e0a14"],"state_sha256":"7fbc8dfa56075c61509cb30dbedca2f05a0c37e3e9e0c03b32d1dc5fbe0a215e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HEl6Kk48SqcCJUQBgnlyCqq21VhxLqbwIlcC4t54SQXvm9Zw/jvB+kimGIxXlK2aiKWma6qyYJqpzU4+g++qAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-02T17:52:16.482198Z","bundle_sha256":"6b7712d2c644911a6e46c71f57396178df865a9001d6c5b27791d7267087f239"}}