{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:2UCBI3BVTSSQ725TBDR5MHAMLU","short_pith_number":"pith:2UCBI3BV","schema_version":"1.0","canonical_sha256":"d504146c359ca50febb308e3d61c0c5d2e3197f505256a0db30c7ba8f23d98d2","source":{"kind":"arxiv","id":"2606.25195","version":1},"attestation_state":"computed","paper":{"title":"SoK: AI Secure Code Generation: Progress, Pitfalls, and Paths Forward","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CR","authors_text":"Haipeng Cai, Hongxin Hu, Keyan Guo, Rupam Patir","submitted_at":"2026-06-23T21:39:05Z","abstract_excerpt":"The increasing use of AI systems for code generation raises a central security question: what can today's models and coding agents actually do to produce secure code, where do they still fail, and what would move the field forward? Existing work has explored prompting, fine-tuning, reinforcement learning, and agentic workflows for secure code generation, but the field still lacks a systematic understanding of how these techniques improve security and why substantial failures persist. In this SoK, we systematize the progress, pitfalls, and paths forward for AI secure code generation. We introdu"},"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":"2606.25195","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2026-06-23T21:39:05Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"42068a6e5ecee5836af77f9c56892a54674cb42b39969d767d43309902354ada","abstract_canon_sha256":"07d728aa7dcb0a14545de8076ba71a09fba9df99c127780f2ed8f16c3e41f57c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-25T00:18:20.555107Z","signature_b64":"4jLTrzRTXRNosAlVJV0OHZxV8t37WQYbPWWDpjbmAugYOlMQow/7o1BM7hoKSohnUpgx3UFxb0ViX6mmAVWsAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d504146c359ca50febb308e3d61c0c5d2e3197f505256a0db30c7ba8f23d98d2","last_reissued_at":"2026-06-25T00:18:20.554698Z","signature_status":"signed_v1","first_computed_at":"2026-06-25T00:18:20.554698Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"SoK: AI Secure Code Generation: Progress, Pitfalls, and Paths Forward","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CR","authors_text":"Haipeng Cai, Hongxin Hu, Keyan Guo, Rupam Patir","submitted_at":"2026-06-23T21:39:05Z","abstract_excerpt":"The increasing use of AI systems for code generation raises a central security question: what can today's models and coding agents actually do to produce secure code, where do they still fail, and what would move the field forward? Existing work has explored prompting, fine-tuning, reinforcement learning, and agentic workflows for secure code generation, but the field still lacks a systematic understanding of how these techniques improve security and why substantial failures persist. In this SoK, we systematize the progress, pitfalls, and paths forward for AI secure code generation. We introdu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.25195","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/2606.25195/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":"2606.25195","created_at":"2026-06-25T00:18:20.554763+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.25195v1","created_at":"2026-06-25T00:18:20.554763+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.25195","created_at":"2026-06-25T00:18:20.554763+00:00"},{"alias_kind":"pith_short_12","alias_value":"2UCBI3BVTSSQ","created_at":"2026-06-25T00:18:20.554763+00:00"},{"alias_kind":"pith_short_16","alias_value":"2UCBI3BVTSSQ725T","created_at":"2026-06-25T00:18:20.554763+00:00"},{"alias_kind":"pith_short_8","alias_value":"2UCBI3BV","created_at":"2026-06-25T00:18:20.554763+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/2UCBI3BVTSSQ725TBDR5MHAMLU","json":"https://pith.science/pith/2UCBI3BVTSSQ725TBDR5MHAMLU.json","graph_json":"https://pith.science/api/pith-number/2UCBI3BVTSSQ725TBDR5MHAMLU/graph.json","events_json":"https://pith.science/api/pith-number/2UCBI3BVTSSQ725TBDR5MHAMLU/events.json","paper":"https://pith.science/paper/2UCBI3BV"},"agent_actions":{"view_html":"https://pith.science/pith/2UCBI3BVTSSQ725TBDR5MHAMLU","download_json":"https://pith.science/pith/2UCBI3BVTSSQ725TBDR5MHAMLU.json","view_paper":"https://pith.science/paper/2UCBI3BV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.25195&json=true","fetch_graph":"https://pith.science/api/pith-number/2UCBI3BVTSSQ725TBDR5MHAMLU/graph.json","fetch_events":"https://pith.science/api/pith-number/2UCBI3BVTSSQ725TBDR5MHAMLU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2UCBI3BVTSSQ725TBDR5MHAMLU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2UCBI3BVTSSQ725TBDR5MHAMLU/action/storage_attestation","attest_author":"https://pith.science/pith/2UCBI3BVTSSQ725TBDR5MHAMLU/action/author_attestation","sign_citation":"https://pith.science/pith/2UCBI3BVTSSQ725TBDR5MHAMLU/action/citation_signature","submit_replication":"https://pith.science/pith/2UCBI3BVTSSQ725TBDR5MHAMLU/action/replication_record"}},"created_at":"2026-06-25T00:18:20.554763+00:00","updated_at":"2026-06-25T00:18:20.554763+00:00"}