{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:K3EFFKTHBQQRNCG54V57SUA4JU","short_pith_number":"pith:K3EFFKTH","canonical_record":{"source":{"id":"2410.22818","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-10-30T08:53:33Z","cross_cats_sorted":[],"title_canon_sha256":"c1bfa541283a3212f4481dc79ec8ab1c0e93d317aec5dd634021c022f7095ad6","abstract_canon_sha256":"dac2b336ecf41c815b00612da5c2793cd22405eb549c46754fe7a2db1086a5f7"},"schema_version":"1.0"},"canonical_sha256":"56c852aa670c211688dde57bf9501c4d388396f1436f4def82c576ed78e14ca6","source":{"kind":"arxiv","id":"2410.22818","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.22818","created_at":"2026-07-05T09:28:36Z"},{"alias_kind":"arxiv_version","alias_value":"2410.22818v1","created_at":"2026-07-05T09:28:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.22818","created_at":"2026-07-05T09:28:36Z"},{"alias_kind":"pith_short_12","alias_value":"K3EFFKTHBQQR","created_at":"2026-07-05T09:28:36Z"},{"alias_kind":"pith_short_16","alias_value":"K3EFFKTHBQQRNCG5","created_at":"2026-07-05T09:28:36Z"},{"alias_kind":"pith_short_8","alias_value":"K3EFFKTH","created_at":"2026-07-05T09:28:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:K3EFFKTHBQQRNCG54V57SUA4JU","target":"record","payload":{"canonical_record":{"source":{"id":"2410.22818","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-10-30T08:53:33Z","cross_cats_sorted":[],"title_canon_sha256":"c1bfa541283a3212f4481dc79ec8ab1c0e93d317aec5dd634021c022f7095ad6","abstract_canon_sha256":"dac2b336ecf41c815b00612da5c2793cd22405eb549c46754fe7a2db1086a5f7"},"schema_version":"1.0"},"canonical_sha256":"56c852aa670c211688dde57bf9501c4d388396f1436f4def82c576ed78e14ca6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:28:36.545835Z","signature_b64":"yRbAIaPBV9fUCZU+CEH4wJzrg7TtwN/uJjFyvO17/AoVHKsEYGNrYqpX5u2UgwHOBf3G6ZPun/3iRV0cmPg4Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"56c852aa670c211688dde57bf9501c4d388396f1436f4def82c576ed78e14ca6","last_reissued_at":"2026-07-05T09:28:36.545421Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:28:36.545421Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2410.22818","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-05T09:28:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b3dEmKiLyrHRIYoNsHu0vTX6uMAx1rucswDdh71oPL/4duskxiZXHtE1j+YrZV9ewf6CtMUN0QiAfIxMWSxSDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T09:56:05.949268Z"},"content_sha256":"2a23d9abce78541077df34d760fb8bc03af20a0e5d78b5dc47137820c360871c","schema_version":"1.0","event_id":"sha256:2a23d9abce78541077df34d760fb8bc03af20a0e5d78b5dc47137820c360871c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:K3EFFKTHBQQRNCG54V57SUA4JU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A test-free semantic mistakes localization framework in Neural Code Translation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Fangzhou Xu, Lei Chen, Liang Wan, Sai Zhang, Xiaowang Zhang, Zhenchang Xing, Zhiyong Feng","submitted_at":"2024-10-30T08:53:33Z","abstract_excerpt":"In the task of code translation, neural network-based models have been shown to frequently produce semantically erroneous code that deviates from the original logic of the source code. This issue persists even with advanced large models. Although a recent approach proposed using test cases to identify these semantic errors, it relies heavily on the quality of the test cases and is not applicable to code snippets without test cases in real-world scenarios. Therefore, We present EISP, a static analysis framework based on the Large Language Model (LLM).First, the framework generates a semantic ma"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.22818","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/2410.22818/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-05T09:28:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QE3ysGicD0HYvas6JgTsEBaD2isjEaOHV2Zwd1vA/GroPkuJLCb6hLexExuGe/rmVsWshMYjrdBJ+uQ3MZ7BDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T09:56:05.949794Z"},"content_sha256":"b99a10d81d7dc7f653b4b6409d81b5bf40afc98b16aec2e3860d7b403949f6bf","schema_version":"1.0","event_id":"sha256:b99a10d81d7dc7f653b4b6409d81b5bf40afc98b16aec2e3860d7b403949f6bf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K3EFFKTHBQQRNCG54V57SUA4JU/bundle.json","state_url":"https://pith.science/pith/K3EFFKTHBQQRNCG54V57SUA4JU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K3EFFKTHBQQRNCG54V57SUA4JU/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-06T09:56:05Z","links":{"resolver":"https://pith.science/pith/K3EFFKTHBQQRNCG54V57SUA4JU","bundle":"https://pith.science/pith/K3EFFKTHBQQRNCG54V57SUA4JU/bundle.json","state":"https://pith.science/pith/K3EFFKTHBQQRNCG54V57SUA4JU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K3EFFKTHBQQRNCG54V57SUA4JU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:K3EFFKTHBQQRNCG54V57SUA4JU","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":"dac2b336ecf41c815b00612da5c2793cd22405eb549c46754fe7a2db1086a5f7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-10-30T08:53:33Z","title_canon_sha256":"c1bfa541283a3212f4481dc79ec8ab1c0e93d317aec5dd634021c022f7095ad6"},"schema_version":"1.0","source":{"id":"2410.22818","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.22818","created_at":"2026-07-05T09:28:36Z"},{"alias_kind":"arxiv_version","alias_value":"2410.22818v1","created_at":"2026-07-05T09:28:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.22818","created_at":"2026-07-05T09:28:36Z"},{"alias_kind":"pith_short_12","alias_value":"K3EFFKTHBQQR","created_at":"2026-07-05T09:28:36Z"},{"alias_kind":"pith_short_16","alias_value":"K3EFFKTHBQQRNCG5","created_at":"2026-07-05T09:28:36Z"},{"alias_kind":"pith_short_8","alias_value":"K3EFFKTH","created_at":"2026-07-05T09:28:36Z"}],"graph_snapshots":[{"event_id":"sha256:b99a10d81d7dc7f653b4b6409d81b5bf40afc98b16aec2e3860d7b403949f6bf","target":"graph","created_at":"2026-07-05T09:28:36Z","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/2410.22818/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In the task of code translation, neural network-based models have been shown to frequently produce semantically erroneous code that deviates from the original logic of the source code. This issue persists even with advanced large models. Although a recent approach proposed using test cases to identify these semantic errors, it relies heavily on the quality of the test cases and is not applicable to code snippets without test cases in real-world scenarios. Therefore, We present EISP, a static analysis framework based on the Large Language Model (LLM).First, the framework generates a semantic ma","authors_text":"Fangzhou Xu, Lei Chen, Liang Wan, Sai Zhang, Xiaowang Zhang, Zhenchang Xing, Zhiyong Feng","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-10-30T08:53:33Z","title":"A test-free semantic mistakes localization framework in Neural Code Translation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.22818","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:2a23d9abce78541077df34d760fb8bc03af20a0e5d78b5dc47137820c360871c","target":"record","created_at":"2026-07-05T09:28:36Z","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":"dac2b336ecf41c815b00612da5c2793cd22405eb549c46754fe7a2db1086a5f7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-10-30T08:53:33Z","title_canon_sha256":"c1bfa541283a3212f4481dc79ec8ab1c0e93d317aec5dd634021c022f7095ad6"},"schema_version":"1.0","source":{"id":"2410.22818","kind":"arxiv","version":1}},"canonical_sha256":"56c852aa670c211688dde57bf9501c4d388396f1436f4def82c576ed78e14ca6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"56c852aa670c211688dde57bf9501c4d388396f1436f4def82c576ed78e14ca6","first_computed_at":"2026-07-05T09:28:36.545421Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:28:36.545421Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yRbAIaPBV9fUCZU+CEH4wJzrg7TtwN/uJjFyvO17/AoVHKsEYGNrYqpX5u2UgwHOBf3G6ZPun/3iRV0cmPg4Bw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:28:36.545835Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.22818","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2a23d9abce78541077df34d760fb8bc03af20a0e5d78b5dc47137820c360871c","sha256:b99a10d81d7dc7f653b4b6409d81b5bf40afc98b16aec2e3860d7b403949f6bf"],"state_sha256":"a88181930c254f225ae9adbc8154b4541cd39f1e52eaa3cac876975665905f9e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tIgkC/R7VlcHP4qe+F41TTsgvIFI9RUVbtG0zfa0FtIae7LEnMc5qaMJzHtkBATtW63Ncx9Rp8IejfqNOWZMDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T09:56:05.953685Z","bundle_sha256":"9d7754fd3c4b33b69990ce20316236c434683ac92eed473516316cc0d335d2e6"}}