{"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"}