{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:QI6FLKNOS6DQ3SUAZCCP4H3CUF","short_pith_number":"pith:QI6FLKNO","canonical_record":{"source":{"id":"2305.12138","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-05-20T08:43:49Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"0eff3726d7d8a3646911ffa6a35a58992e1d74ea6ccbe758c1470b73f0346d06","abstract_canon_sha256":"108be5bf5f2feecae8437e4c2f5f6281a51fb4c5b941ec6b7d5187b5c02248a2"},"schema_version":"1.0"},"canonical_sha256":"823c55a9ae97870dca80c884fe1f62a1743cf67e4072c84243029964cf20d508","source":{"kind":"arxiv","id":"2305.12138","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.12138","created_at":"2026-05-22T00:02:26Z"},{"alias_kind":"arxiv_version","alias_value":"2305.12138v5","created_at":"2026-05-22T00:02:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.12138","created_at":"2026-05-22T00:02:26Z"},{"alias_kind":"pith_short_12","alias_value":"QI6FLKNOS6DQ","created_at":"2026-05-22T00:02:26Z"},{"alias_kind":"pith_short_16","alias_value":"QI6FLKNOS6DQ3SUA","created_at":"2026-05-22T00:02:26Z"},{"alias_kind":"pith_short_8","alias_value":"QI6FLKNO","created_at":"2026-05-22T00:02:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:QI6FLKNOS6DQ3SUAZCCP4H3CUF","target":"record","payload":{"canonical_record":{"source":{"id":"2305.12138","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-05-20T08:43:49Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"0eff3726d7d8a3646911ffa6a35a58992e1d74ea6ccbe758c1470b73f0346d06","abstract_canon_sha256":"108be5bf5f2feecae8437e4c2f5f6281a51fb4c5b941ec6b7d5187b5c02248a2"},"schema_version":"1.0"},"canonical_sha256":"823c55a9ae97870dca80c884fe1f62a1743cf67e4072c84243029964cf20d508","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-22T00:02:26.692260Z","signature_b64":"7HcubNG5iBUnaZlN4w31chCbv1YbJ9nVK9TD5QVplve+Gp6DqjFXSz9CVwEfwVyJ/Ws3OlgKMldgX33GunanAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"823c55a9ae97870dca80c884fe1f62a1743cf67e4072c84243029964cf20d508","last_reissued_at":"2026-05-22T00:02:26.690679Z","signature_status":"signed_v1","first_computed_at":"2026-05-22T00:02:26.690679Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.12138","source_version":5,"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-05-22T00:02:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NgoN2n46Ycr8IVSCPogMB/R4G6TEgk/kLC2M5ieRKyZh3LUExt1uDEo1j+KoUd17Z45fnsX8EljRjtgfmZOfAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T04:57:07.571647Z"},"content_sha256":"9701eadfd7b99badfc56e82cc66a760fac5da2d3bb70dfe527cd073eecea8d52","schema_version":"1.0","event_id":"sha256:9701eadfd7b99badfc56e82cc66a760fac5da2d3bb70dfe527cd073eecea8d52"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:QI6FLKNOS6DQ3SUAZCCP4H3CUF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Exploring Code Analysis: Zero-Shot Insights on Syntax and Semantics with LLMs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Cen Zhang, Li Li, Liming Nie, Lingxiao Jiang, Qiang Hu, Shangqing Liu, Wei Ma, Wenhan Wang, Yang Liu, Ye Liu, Zhihao Lin","submitted_at":"2023-05-20T08:43:49Z","abstract_excerpt":"Code analysis is fundamental in Software Engineering, supporting debugging, optimization, and security assessment. Human developers approach it through syntax parsing, static semantics inference, and dynamic reasoning. Traditional tools are effective but limited by language specificity and weak cross-language generalization. Large language models (LLMs) are promising for code tasks, yet their capabilities for fundamental code analysis remain underexplored. We structure our study around three aspects aligned with human practices: syntax parsing, static semantics inference, and dynamic reasoning"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.12138","kind":"arxiv","version":5},"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/2305.12138/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-05-22T00:02:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bjx+CXQ3k1Y+nBquhEAhAlfn2k9khMMH7Ko84EeEaqZh4MWb8QSStMhQvQhquWHqZXxV+BWm738kjt38SiNGDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T04:57:07.572029Z"},"content_sha256":"2d38102ce0dc5de98576c653c10dc5550580d86cb9ee58a2c2d4c0e3fd667cda","schema_version":"1.0","event_id":"sha256:2d38102ce0dc5de98576c653c10dc5550580d86cb9ee58a2c2d4c0e3fd667cda"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QI6FLKNOS6DQ3SUAZCCP4H3CUF/bundle.json","state_url":"https://pith.science/pith/QI6FLKNOS6DQ3SUAZCCP4H3CUF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QI6FLKNOS6DQ3SUAZCCP4H3CUF/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-06-01T04:57:07Z","links":{"resolver":"https://pith.science/pith/QI6FLKNOS6DQ3SUAZCCP4H3CUF","bundle":"https://pith.science/pith/QI6FLKNOS6DQ3SUAZCCP4H3CUF/bundle.json","state":"https://pith.science/pith/QI6FLKNOS6DQ3SUAZCCP4H3CUF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QI6FLKNOS6DQ3SUAZCCP4H3CUF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:QI6FLKNOS6DQ3SUAZCCP4H3CUF","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":"108be5bf5f2feecae8437e4c2f5f6281a51fb4c5b941ec6b7d5187b5c02248a2","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-05-20T08:43:49Z","title_canon_sha256":"0eff3726d7d8a3646911ffa6a35a58992e1d74ea6ccbe758c1470b73f0346d06"},"schema_version":"1.0","source":{"id":"2305.12138","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.12138","created_at":"2026-05-22T00:02:26Z"},{"alias_kind":"arxiv_version","alias_value":"2305.12138v5","created_at":"2026-05-22T00:02:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.12138","created_at":"2026-05-22T00:02:26Z"},{"alias_kind":"pith_short_12","alias_value":"QI6FLKNOS6DQ","created_at":"2026-05-22T00:02:26Z"},{"alias_kind":"pith_short_16","alias_value":"QI6FLKNOS6DQ3SUA","created_at":"2026-05-22T00:02:26Z"},{"alias_kind":"pith_short_8","alias_value":"QI6FLKNO","created_at":"2026-05-22T00:02:26Z"}],"graph_snapshots":[{"event_id":"sha256:2d38102ce0dc5de98576c653c10dc5550580d86cb9ee58a2c2d4c0e3fd667cda","target":"graph","created_at":"2026-05-22T00:02:26Z","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/2305.12138/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Code analysis is fundamental in Software Engineering, supporting debugging, optimization, and security assessment. Human developers approach it through syntax parsing, static semantics inference, and dynamic reasoning. Traditional tools are effective but limited by language specificity and weak cross-language generalization. Large language models (LLMs) are promising for code tasks, yet their capabilities for fundamental code analysis remain underexplored. We structure our study around three aspects aligned with human practices: syntax parsing, static semantics inference, and dynamic reasoning","authors_text":"Cen Zhang, Li Li, Liming Nie, Lingxiao Jiang, Qiang Hu, Shangqing Liu, Wei Ma, Wenhan Wang, Yang Liu, Ye Liu, Zhihao Lin","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-05-20T08:43:49Z","title":"Exploring Code Analysis: Zero-Shot Insights on Syntax and Semantics with LLMs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.12138","kind":"arxiv","version":5},"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:9701eadfd7b99badfc56e82cc66a760fac5da2d3bb70dfe527cd073eecea8d52","target":"record","created_at":"2026-05-22T00:02:26Z","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":"108be5bf5f2feecae8437e4c2f5f6281a51fb4c5b941ec6b7d5187b5c02248a2","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-05-20T08:43:49Z","title_canon_sha256":"0eff3726d7d8a3646911ffa6a35a58992e1d74ea6ccbe758c1470b73f0346d06"},"schema_version":"1.0","source":{"id":"2305.12138","kind":"arxiv","version":5}},"canonical_sha256":"823c55a9ae97870dca80c884fe1f62a1743cf67e4072c84243029964cf20d508","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"823c55a9ae97870dca80c884fe1f62a1743cf67e4072c84243029964cf20d508","first_computed_at":"2026-05-22T00:02:26.690679Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-22T00:02:26.690679Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7HcubNG5iBUnaZlN4w31chCbv1YbJ9nVK9TD5QVplve+Gp6DqjFXSz9CVwEfwVyJ/Ws3OlgKMldgX33GunanAg==","signature_status":"signed_v1","signed_at":"2026-05-22T00:02:26.692260Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.12138","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9701eadfd7b99badfc56e82cc66a760fac5da2d3bb70dfe527cd073eecea8d52","sha256:2d38102ce0dc5de98576c653c10dc5550580d86cb9ee58a2c2d4c0e3fd667cda"],"state_sha256":"e63ca1aed0f377f1369f9eb3acde798fa1500ac044a31b066903fbf6b699572b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dL6iBdhjuGDmwmmVPC13s9up1qwJjHU+LzxELqsi7NDp2OPXmrCnaAzv4r2cPr57Z7G7AMdnZU23m4eRJj1wBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T04:57:07.574554Z","bundle_sha256":"87d1de3f068ae6f88444cff56b38818a089686722420f728e9c2a42119c5e3cf"}}