{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:DSOBOUX6RMF2MXMARXXURQLJYN","short_pith_number":"pith:DSOBOUX6","canonical_record":{"source":{"id":"2312.08477","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-12-13T19:31:00Z","cross_cats_sorted":[],"title_canon_sha256":"41911ef5b7120a0e60530ce459853c9bf2bef4e485688af2fe3e5d470638df34","abstract_canon_sha256":"1bbc6f73710d80368dd9f48f097fdbd4b9eb3c8b243c6fe5b87b4f2cf541f81a"},"schema_version":"1.0"},"canonical_sha256":"1c9c1752fe8b0ba65d808def48c169c35efdb02539f09ecddbde5d0d90676008","source":{"kind":"arxiv","id":"2312.08477","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.08477","created_at":"2026-07-05T07:24:05Z"},{"alias_kind":"arxiv_version","alias_value":"2312.08477v1","created_at":"2026-07-05T07:24:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.08477","created_at":"2026-07-05T07:24:05Z"},{"alias_kind":"pith_short_12","alias_value":"DSOBOUX6RMF2","created_at":"2026-07-05T07:24:05Z"},{"alias_kind":"pith_short_16","alias_value":"DSOBOUX6RMF2MXMA","created_at":"2026-07-05T07:24:05Z"},{"alias_kind":"pith_short_8","alias_value":"DSOBOUX6","created_at":"2026-07-05T07:24:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:DSOBOUX6RMF2MXMARXXURQLJYN","target":"record","payload":{"canonical_record":{"source":{"id":"2312.08477","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-12-13T19:31:00Z","cross_cats_sorted":[],"title_canon_sha256":"41911ef5b7120a0e60530ce459853c9bf2bef4e485688af2fe3e5d470638df34","abstract_canon_sha256":"1bbc6f73710d80368dd9f48f097fdbd4b9eb3c8b243c6fe5b87b4f2cf541f81a"},"schema_version":"1.0"},"canonical_sha256":"1c9c1752fe8b0ba65d808def48c169c35efdb02539f09ecddbde5d0d90676008","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:24:05.025136Z","signature_b64":"lFrvqOK5R+QtR9wOlXwNKPQraSokLb/iwsgyXinwqO3Bxtjms/prVZxBlQ0ySvYePAL132SiVmRD07WPbabyDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1c9c1752fe8b0ba65d808def48c169c35efdb02539f09ecddbde5d0d90676008","last_reissued_at":"2026-07-05T07:24:05.024701Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:24:05.024701Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2312.08477","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-05T07:24:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YJ+6kdl+bCJFDZ53tS0ljkU8FtBGYZOiISFrnztNkNEzHA6zCrMGDJUqj6PIB+ns3D5Vg+MHpdQd5Z2xIsdJAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T03:52:00.490837Z"},"content_sha256":"f8e0c10b8363bee5c9f000cb3adfc9cecec8b6f5396b2750e47930ca39f71b0c","schema_version":"1.0","event_id":"sha256:f8e0c10b8363bee5c9f000cb3adfc9cecec8b6f5396b2750e47930ca39f71b0c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:DSOBOUX6RMF2MXMARXXURQLJYN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Weidong Cui, Weiteng Chen, Yu Hao, Ziqiao Zhou","submitted_at":"2023-12-13T19:31:00Z","abstract_excerpt":"Static analysis, the process of examining code without executing it, is crucial for identifying software issues. Yet, static analysis is hampered by its complexity and the need for customization for different targets. Traditional static analysis tools require extensive human effort and are often limited to specific target programs and programming languages. Recent advancements in Large Language Models (LLMs), such as GPT-4 and Llama, offer new capabilities for software engineering tasks. However, their application in static analysis, especially in understanding complex code structures, remains"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.08477","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/2312.08477/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-05T07:24:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xFSGFD76QAzR/7FNh6L7NXYQrZqxVbJZOlZdO5+mVFSXgI/JakB79ybeXFPzguXFZp0vV/kt/vYoEvJX11XYCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T03:52:00.491205Z"},"content_sha256":"0abf5c64c5e6fb9a9ccf8d0b8717e8d0f822012159d7655278646df62a726c7a","schema_version":"1.0","event_id":"sha256:0abf5c64c5e6fb9a9ccf8d0b8717e8d0f822012159d7655278646df62a726c7a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DSOBOUX6RMF2MXMARXXURQLJYN/bundle.json","state_url":"https://pith.science/pith/DSOBOUX6RMF2MXMARXXURQLJYN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DSOBOUX6RMF2MXMARXXURQLJYN/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-07-10T03:52:00Z","links":{"resolver":"https://pith.science/pith/DSOBOUX6RMF2MXMARXXURQLJYN","bundle":"https://pith.science/pith/DSOBOUX6RMF2MXMARXXURQLJYN/bundle.json","state":"https://pith.science/pith/DSOBOUX6RMF2MXMARXXURQLJYN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DSOBOUX6RMF2MXMARXXURQLJYN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:DSOBOUX6RMF2MXMARXXURQLJYN","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":"1bbc6f73710d80368dd9f48f097fdbd4b9eb3c8b243c6fe5b87b4f2cf541f81a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-12-13T19:31:00Z","title_canon_sha256":"41911ef5b7120a0e60530ce459853c9bf2bef4e485688af2fe3e5d470638df34"},"schema_version":"1.0","source":{"id":"2312.08477","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.08477","created_at":"2026-07-05T07:24:05Z"},{"alias_kind":"arxiv_version","alias_value":"2312.08477v1","created_at":"2026-07-05T07:24:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.08477","created_at":"2026-07-05T07:24:05Z"},{"alias_kind":"pith_short_12","alias_value":"DSOBOUX6RMF2","created_at":"2026-07-05T07:24:05Z"},{"alias_kind":"pith_short_16","alias_value":"DSOBOUX6RMF2MXMA","created_at":"2026-07-05T07:24:05Z"},{"alias_kind":"pith_short_8","alias_value":"DSOBOUX6","created_at":"2026-07-05T07:24:05Z"}],"graph_snapshots":[{"event_id":"sha256:0abf5c64c5e6fb9a9ccf8d0b8717e8d0f822012159d7655278646df62a726c7a","target":"graph","created_at":"2026-07-05T07:24:05Z","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/2312.08477/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Static analysis, the process of examining code without executing it, is crucial for identifying software issues. Yet, static analysis is hampered by its complexity and the need for customization for different targets. Traditional static analysis tools require extensive human effort and are often limited to specific target programs and programming languages. Recent advancements in Large Language Models (LLMs), such as GPT-4 and Llama, offer new capabilities for software engineering tasks. However, their application in static analysis, especially in understanding complex code structures, remains","authors_text":"Weidong Cui, Weiteng Chen, Yu Hao, Ziqiao Zhou","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-12-13T19:31:00Z","title":"E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.08477","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:f8e0c10b8363bee5c9f000cb3adfc9cecec8b6f5396b2750e47930ca39f71b0c","target":"record","created_at":"2026-07-05T07:24:05Z","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":"1bbc6f73710d80368dd9f48f097fdbd4b9eb3c8b243c6fe5b87b4f2cf541f81a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-12-13T19:31:00Z","title_canon_sha256":"41911ef5b7120a0e60530ce459853c9bf2bef4e485688af2fe3e5d470638df34"},"schema_version":"1.0","source":{"id":"2312.08477","kind":"arxiv","version":1}},"canonical_sha256":"1c9c1752fe8b0ba65d808def48c169c35efdb02539f09ecddbde5d0d90676008","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1c9c1752fe8b0ba65d808def48c169c35efdb02539f09ecddbde5d0d90676008","first_computed_at":"2026-07-05T07:24:05.024701Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:24:05.024701Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lFrvqOK5R+QtR9wOlXwNKPQraSokLb/iwsgyXinwqO3Bxtjms/prVZxBlQ0ySvYePAL132SiVmRD07WPbabyDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:24:05.025136Z","signed_message":"canonical_sha256_bytes"},"source_id":"2312.08477","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f8e0c10b8363bee5c9f000cb3adfc9cecec8b6f5396b2750e47930ca39f71b0c","sha256:0abf5c64c5e6fb9a9ccf8d0b8717e8d0f822012159d7655278646df62a726c7a"],"state_sha256":"a343875b6aacdd7c9f339ca9e5b9392c55f50d72b286f9c7084f8dfc0259a70b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NLdAD+XIm+hC+5PZ7LlnBbZyxIlA2E/wPdDOdhAtnZRvK9ipyVht1iRFRBMsubjOBRgO2+Y5S/5B2FkWbepeBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-10T03:52:00.493088Z","bundle_sha256":"34747eaff6cdc2bcb7912c8243c9ecbcf79855add3a76e8adc4628463c796f96"}}