{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:SF7MA7G22DKLTDY5KQKDJ5E6NI","short_pith_number":"pith:SF7MA7G2","canonical_record":{"source":{"id":"2504.11711","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-16T02:17:06Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"16aeb21fb72c62bba91e07d066586231900ab2fe41e71834e974191fc622d755","abstract_canon_sha256":"dbc96098e957ad3e48ef592e73d55199a6f579add0e889c9e12f393b225c6606"},"schema_version":"1.0"},"canonical_sha256":"917ec07cdad0d4b98f1d541434f49e6a38d39dcae4b1ca63cb584d36c43092a9","source":{"kind":"arxiv","id":"2504.11711","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.11711","created_at":"2026-07-05T11:13:24Z"},{"alias_kind":"arxiv_version","alias_value":"2504.11711v3","created_at":"2026-07-05T11:13:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.11711","created_at":"2026-07-05T11:13:24Z"},{"alias_kind":"pith_short_12","alias_value":"SF7MA7G22DKL","created_at":"2026-07-05T11:13:24Z"},{"alias_kind":"pith_short_16","alias_value":"SF7MA7G22DKLTDY5","created_at":"2026-07-05T11:13:24Z"},{"alias_kind":"pith_short_8","alias_value":"SF7MA7G2","created_at":"2026-07-05T11:13:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:SF7MA7G22DKLTDY5KQKDJ5E6NI","target":"record","payload":{"canonical_record":{"source":{"id":"2504.11711","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-16T02:17:06Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"16aeb21fb72c62bba91e07d066586231900ab2fe41e71834e974191fc622d755","abstract_canon_sha256":"dbc96098e957ad3e48ef592e73d55199a6f579add0e889c9e12f393b225c6606"},"schema_version":"1.0"},"canonical_sha256":"917ec07cdad0d4b98f1d541434f49e6a38d39dcae4b1ca63cb584d36c43092a9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:13:24.227238Z","signature_b64":"X5juYV8zahcJ8cUF01KGa9cRTkqpBHxrjhD1ad31rmcg7w3JsYkSq8OqpIn4gHYvqiaiaf+lkgLD3NmxiLoYAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"917ec07cdad0d4b98f1d541434f49e6a38d39dcae4b1ca63cb584d36c43092a9","last_reissued_at":"2026-07-05T11:13:24.226763Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:13:24.226763Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.11711","source_version":3,"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-05T11:13:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FNQt764CdvHFhK8a5JIQ8PVmWSYApu+nVgc+KPaAywAEmbswdrbLQ6Sq6Qxxe7dN+bFcaNuHaDhNiwAxhUYfBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T05:20:11.558302Z"},"content_sha256":"af51428ff556c979b99ca49e9d39f054ea07ac35bc70323c8c77b31174cd5b11","schema_version":"1.0","event_id":"sha256:af51428ff556c979b99ca49e9d39f054ea07ac35bc70323c8c77b31174cd5b11"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:SF7MA7G22DKLTDY5KQKDJ5E6NI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Hitchhiker's Guide to Program Analysis, Part II: Deep Thoughts by LLMs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Hang Zhang, Haonan Li, Kexin Pei, Zhiyun Qian","submitted_at":"2025-04-16T02:17:06Z","abstract_excerpt":"Static analysis plays a crucial role in software vulnerability detection, yet faces a persistent precision-scalability tradeoff. In large codebases like the Linux kernel, traditional static analysis tools often generate excessive false positives due to simplified vulnerability modeling and overapproximation of path and data constraints. While large language models (LLMs) demonstrate promising code understanding capabilities, their direct application to program analysis remains unreliable due to inherent reasoning limitations.\n  We introduce BugLens, a post-refinement framework that significant"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.11711","kind":"arxiv","version":3},"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/2504.11711/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-05T11:13:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uRXIVfOSRZ6XPXtLtVBpBmMndEbg3VOk2A0lDzSSYQv6JdDex9z5dOTag3j5gnsR2mLcKqPFJwiTm3W3IZYeBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T05:20:11.559186Z"},"content_sha256":"baf58d571273b4a983eceda8957acab476f1818320a99953ad1a5ee994a3656e","schema_version":"1.0","event_id":"sha256:baf58d571273b4a983eceda8957acab476f1818320a99953ad1a5ee994a3656e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SF7MA7G22DKLTDY5KQKDJ5E6NI/bundle.json","state_url":"https://pith.science/pith/SF7MA7G22DKLTDY5KQKDJ5E6NI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SF7MA7G22DKLTDY5KQKDJ5E6NI/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-18T05:20:11Z","links":{"resolver":"https://pith.science/pith/SF7MA7G22DKLTDY5KQKDJ5E6NI","bundle":"https://pith.science/pith/SF7MA7G22DKLTDY5KQKDJ5E6NI/bundle.json","state":"https://pith.science/pith/SF7MA7G22DKLTDY5KQKDJ5E6NI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SF7MA7G22DKLTDY5KQKDJ5E6NI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:SF7MA7G22DKLTDY5KQKDJ5E6NI","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":"dbc96098e957ad3e48ef592e73d55199a6f579add0e889c9e12f393b225c6606","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-16T02:17:06Z","title_canon_sha256":"16aeb21fb72c62bba91e07d066586231900ab2fe41e71834e974191fc622d755"},"schema_version":"1.0","source":{"id":"2504.11711","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.11711","created_at":"2026-07-05T11:13:24Z"},{"alias_kind":"arxiv_version","alias_value":"2504.11711v3","created_at":"2026-07-05T11:13:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.11711","created_at":"2026-07-05T11:13:24Z"},{"alias_kind":"pith_short_12","alias_value":"SF7MA7G22DKL","created_at":"2026-07-05T11:13:24Z"},{"alias_kind":"pith_short_16","alias_value":"SF7MA7G22DKLTDY5","created_at":"2026-07-05T11:13:24Z"},{"alias_kind":"pith_short_8","alias_value":"SF7MA7G2","created_at":"2026-07-05T11:13:24Z"}],"graph_snapshots":[{"event_id":"sha256:baf58d571273b4a983eceda8957acab476f1818320a99953ad1a5ee994a3656e","target":"graph","created_at":"2026-07-05T11:13:24Z","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/2504.11711/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Static analysis plays a crucial role in software vulnerability detection, yet faces a persistent precision-scalability tradeoff. In large codebases like the Linux kernel, traditional static analysis tools often generate excessive false positives due to simplified vulnerability modeling and overapproximation of path and data constraints. While large language models (LLMs) demonstrate promising code understanding capabilities, their direct application to program analysis remains unreliable due to inherent reasoning limitations.\n  We introduce BugLens, a post-refinement framework that significant","authors_text":"Hang Zhang, Haonan Li, Kexin Pei, Zhiyun Qian","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-16T02:17:06Z","title":"The Hitchhiker's Guide to Program Analysis, Part II: Deep Thoughts by LLMs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.11711","kind":"arxiv","version":3},"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:af51428ff556c979b99ca49e9d39f054ea07ac35bc70323c8c77b31174cd5b11","target":"record","created_at":"2026-07-05T11:13:24Z","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":"dbc96098e957ad3e48ef592e73d55199a6f579add0e889c9e12f393b225c6606","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-16T02:17:06Z","title_canon_sha256":"16aeb21fb72c62bba91e07d066586231900ab2fe41e71834e974191fc622d755"},"schema_version":"1.0","source":{"id":"2504.11711","kind":"arxiv","version":3}},"canonical_sha256":"917ec07cdad0d4b98f1d541434f49e6a38d39dcae4b1ca63cb584d36c43092a9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"917ec07cdad0d4b98f1d541434f49e6a38d39dcae4b1ca63cb584d36c43092a9","first_computed_at":"2026-07-05T11:13:24.226763Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:13:24.226763Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"X5juYV8zahcJ8cUF01KGa9cRTkqpBHxrjhD1ad31rmcg7w3JsYkSq8OqpIn4gHYvqiaiaf+lkgLD3NmxiLoYAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:13:24.227238Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.11711","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:af51428ff556c979b99ca49e9d39f054ea07ac35bc70323c8c77b31174cd5b11","sha256:baf58d571273b4a983eceda8957acab476f1818320a99953ad1a5ee994a3656e"],"state_sha256":"b97e89ac0fc454807e5acfbab37e6a4b08cf5c1028773504d0073caa15d5843c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZitE80MNObFZRpyNjAen5LX0cnckM/iAki+zTTqSz1JaKZN1pgpScgG2a/Dh20X54Pc4s/aulhdbbnqbW6yYDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T05:20:11.568227Z","bundle_sha256":"0e374b2fba21e4e1a6ee6753e4fa408e86e0c12fd6bd5b438039fa538278ecad"}}