{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:DSOBOUX6RMF2MXMARXXURQLJYN","short_pith_number":"pith:DSOBOUX6","schema_version":"1.0","canonical_sha256":"1c9c1752fe8b0ba65d808def48c169c35efdb02539f09ecddbde5d0d90676008","source":{"kind":"arxiv","id":"2312.08477","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2312.08477","created_at":"2026-07-05T07:24:05.024759+00:00"},{"alias_kind":"arxiv_version","alias_value":"2312.08477v1","created_at":"2026-07-05T07:24:05.024759+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.08477","created_at":"2026-07-05T07:24:05.024759+00:00"},{"alias_kind":"pith_short_12","alias_value":"DSOBOUX6RMF2","created_at":"2026-07-05T07:24:05.024759+00:00"},{"alias_kind":"pith_short_16","alias_value":"DSOBOUX6RMF2MXMA","created_at":"2026-07-05T07:24:05.024759+00:00"},{"alias_kind":"pith_short_8","alias_value":"DSOBOUX6","created_at":"2026-07-05T07:24:05.024759+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":5,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2412.14399","citing_title":"NESA: Relational Neuro-Symbolic Static Program Analysis","ref_index":27,"is_internal_anchor":false},{"citing_arxiv_id":"2409.02977","citing_title":"Large Language Model-Based Agents for Software Engineering: A Survey","ref_index":139,"is_internal_anchor":false},{"citing_arxiv_id":"2402.19473","citing_title":"Retrieval-Augmented Generation for AI-Generated Content: A Survey","ref_index":257,"is_internal_anchor":false},{"citing_arxiv_id":"2605.12694","citing_title":"Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis","ref_index":17,"is_internal_anchor":false},{"citing_arxiv_id":"2604.15270","citing_title":"Enhancing Large Language Models with Retrieval Augmented Generation for Software Testing and Inspection Automation","ref_index":31,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/DSOBOUX6RMF2MXMARXXURQLJYN","json":"https://pith.science/pith/DSOBOUX6RMF2MXMARXXURQLJYN.json","graph_json":"https://pith.science/api/pith-number/DSOBOUX6RMF2MXMARXXURQLJYN/graph.json","events_json":"https://pith.science/api/pith-number/DSOBOUX6RMF2MXMARXXURQLJYN/events.json","paper":"https://pith.science/paper/DSOBOUX6"},"agent_actions":{"view_html":"https://pith.science/pith/DSOBOUX6RMF2MXMARXXURQLJYN","download_json":"https://pith.science/pith/DSOBOUX6RMF2MXMARXXURQLJYN.json","view_paper":"https://pith.science/paper/DSOBOUX6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2312.08477&json=true","fetch_graph":"https://pith.science/api/pith-number/DSOBOUX6RMF2MXMARXXURQLJYN/graph.json","fetch_events":"https://pith.science/api/pith-number/DSOBOUX6RMF2MXMARXXURQLJYN/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DSOBOUX6RMF2MXMARXXURQLJYN/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DSOBOUX6RMF2MXMARXXURQLJYN/action/storage_attestation","attest_author":"https://pith.science/pith/DSOBOUX6RMF2MXMARXXURQLJYN/action/author_attestation","sign_citation":"https://pith.science/pith/DSOBOUX6RMF2MXMARXXURQLJYN/action/citation_signature","submit_replication":"https://pith.science/pith/DSOBOUX6RMF2MXMARXXURQLJYN/action/replication_record"}},"created_at":"2026-07-05T07:24:05.024759+00:00","updated_at":"2026-07-05T07:24:05.024759+00:00"}