{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:7J5SJ2SCKS5MTXSICKOID2IOJ4","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":"c63833aaa228a26b1f037460133fe433fbe263281bb85695392b9bb2e29b57db","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-04T03:41:30Z","title_canon_sha256":"a59914f0c6c5a08666aeb9f0ed88f02b79307d2eeb3f2cb5fb31040aacfe16de"},"schema_version":"1.0","source":{"id":"2506.11076","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.11076","created_at":"2026-07-05T11:20:59Z"},{"alias_kind":"arxiv_version","alias_value":"2506.11076v1","created_at":"2026-07-05T11:20:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.11076","created_at":"2026-07-05T11:20:59Z"},{"alias_kind":"pith_short_12","alias_value":"7J5SJ2SCKS5M","created_at":"2026-07-05T11:20:59Z"},{"alias_kind":"pith_short_16","alias_value":"7J5SJ2SCKS5MTXSI","created_at":"2026-07-05T11:20:59Z"},{"alias_kind":"pith_short_8","alias_value":"7J5SJ2SC","created_at":"2026-07-05T11:20:59Z"}],"graph_snapshots":[{"event_id":"sha256:99eeed082c89e3a2b0053341a1187bd31b3545213e47aa31fddfc9066f05f8c7","target":"graph","created_at":"2026-07-05T11:20:59Z","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/2506.11076/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Dead code introduces several challenges in software development, such as increased binary size and maintenance difficulties. It can also obscure logical errors and be exploited for obfuscation in malware. For LLM-based code-related tasks, dead code introduces vulnerabilities that can mislead these models, raising security concerns. Although modern compilers and IDEs offer dead code elimination, sophisticated patterns can bypass these tools. A universal approach that includes classification, location, explanation, and correction is needed, yet current tools often require significant manual effo","authors_text":"Guoqiang Li, Ling-I Wu, Minyu Chen, Ruibang Liu","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-04T03:41:30Z","title":"DCE-LLM: Dead Code Elimination with Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.11076","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:2fda56b6d935f19020730eed0003e948afaacb59fd3569e66638fbc2cb528f20","target":"record","created_at":"2026-07-05T11:20:59Z","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":"c63833aaa228a26b1f037460133fe433fbe263281bb85695392b9bb2e29b57db","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-04T03:41:30Z","title_canon_sha256":"a59914f0c6c5a08666aeb9f0ed88f02b79307d2eeb3f2cb5fb31040aacfe16de"},"schema_version":"1.0","source":{"id":"2506.11076","kind":"arxiv","version":1}},"canonical_sha256":"fa7b24ea4254bac9de48129c81e90e4f1bc928abff14e5ef574fa5995eaec0ff","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fa7b24ea4254bac9de48129c81e90e4f1bc928abff14e5ef574fa5995eaec0ff","first_computed_at":"2026-07-05T11:20:59.076924Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:20:59.076924Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+DvtleeuTjFbsEJTyflg98pXlQIl1m5ajFtL+DPVJuFbypYw9nTWta15tTfhv0+5hxuY6Q3uzo6pYCDIW2gaAg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:20:59.077478Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.11076","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2fda56b6d935f19020730eed0003e948afaacb59fd3569e66638fbc2cb528f20","sha256:99eeed082c89e3a2b0053341a1187bd31b3545213e47aa31fddfc9066f05f8c7"],"state_sha256":"a1e2edb2f2444295b8fa83bd413bb65509d185a67a0f329d810b0c93b34505db"}