{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:V3ORUWOBVCAV46IDQLG6BAK5JF","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":"034ed54d97be6d46fd4feeea622e80fd776ea99f4ea729758ce40ae2d01f7c70","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-12T03:11:38Z","title_canon_sha256":"7343917022fb120a5f934d4f532d233dee7ab7f2ee394743d9227d9e9005c611"},"schema_version":"1.0","source":{"id":"2506.10322","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.10322","created_at":"2026-07-05T11:20:21Z"},{"alias_kind":"arxiv_version","alias_value":"2506.10322v1","created_at":"2026-07-05T11:20:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.10322","created_at":"2026-07-05T11:20:21Z"},{"alias_kind":"pith_short_12","alias_value":"V3ORUWOBVCAV","created_at":"2026-07-05T11:20:21Z"},{"alias_kind":"pith_short_16","alias_value":"V3ORUWOBVCAV46ID","created_at":"2026-07-05T11:20:21Z"},{"alias_kind":"pith_short_8","alias_value":"V3ORUWOB","created_at":"2026-07-05T11:20:21Z"}],"graph_snapshots":[{"event_id":"sha256:52dd88c4e7753037e2302e3473c0c63a4e828daa049b0acd1968626b4cb71a7a","target":"graph","created_at":"2026-07-05T11:20:21Z","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.10322/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Static bug analyzers play a crucial role in ensuring software quality. However, existing analyzers for bug detection in large codebases often suffer from high false positive rates. This is primarily due to the limited capabilities of analyzers in path feasibility validation with multiple conditional branches and complex data dependencies. While current LLM-based approaches attempt to address this issue, their effectiveness remains limited due to insufficient constraint cascade analysis and scalability challenges in large projects. To address this challenge, we propose an iterative path feasibi","authors_text":"Chong Wang, Kai Yu, Lingming Zhang, Wentai Deng, Xin Peng, Xueying Du, Yiling Lou, Yi Zou, Zuoyu Ou","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.10322","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:06bdd59e06c6c5c39b87bc01bd88a465fe504c98418e7042525bec247f81b536","target":"record","created_at":"2026-07-05T11:20:21Z","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":"034ed54d97be6d46fd4feeea622e80fd776ea99f4ea729758ce40ae2d01f7c70","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-12T03:11:38Z","title_canon_sha256":"7343917022fb120a5f934d4f532d233dee7ab7f2ee394743d9227d9e9005c611"},"schema_version":"1.0","source":{"id":"2506.10322","kind":"arxiv","version":1}},"canonical_sha256":"aedd1a59c1a8815e790382cde0815d495ecba05855eaf4af7cc23e72ffe053f5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aedd1a59c1a8815e790382cde0815d495ecba05855eaf4af7cc23e72ffe053f5","first_computed_at":"2026-07-05T11:20:21.459138Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:20:21.459138Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sLO5GpLczcPei+Qy884HgedV8TtVQilP7KQbR80MkxamVeY8BRXXhNNsOhpi5c9018daEjbz6xFBZ4m7SmXSBg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:20:21.459649Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.10322","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:06bdd59e06c6c5c39b87bc01bd88a465fe504c98418e7042525bec247f81b536","sha256:52dd88c4e7753037e2302e3473c0c63a4e828daa049b0acd1968626b4cb71a7a"],"state_sha256":"697a18a701cfaec8a09cf1de2a0f4f8843470ce9f0039caff8345a295d32c41d"}