{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:XPBPEO33TPRT44RKIA3XFRNHFU","short_pith_number":"pith:XPBPEO33","schema_version":"1.0","canonical_sha256":"bbc2f23b7b9be33e722a403772c5a72d2aaa81c691771f39ec9268c7af5ec35e","source":{"kind":"arxiv","id":"2405.00218","version":3},"attestation_state":"computed","paper":{"title":"Constrained Decoding for Secure Code Generation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LG","cs.SE"],"primary_cat":"cs.CR","authors_text":"Ethan Baker, Yanjun Fu, Yizheng Chen, Yu Ding","submitted_at":"2024-04-30T21:52:19Z","abstract_excerpt":"Code Large Language Models (Code LLMs) have been increasingly used by developers to boost productivity, but they often generate vulnerable code. Thus, there is an urgent need to ensure that code generated by Code LLMs is correct and secure. Previous research has primarily focused on generating secure code, overlooking the fact that secure code also needs to be correct. This oversight can lead to a false sense of security. Currently, the community lacks a method to measure actual progress in this area, and we need solutions that address both security and correctness of code generation.\n  This p"},"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":"2405.00218","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2024-04-30T21:52:19Z","cross_cats_sorted":["cs.AI","cs.LG","cs.SE"],"title_canon_sha256":"7c2a50a644bcd5cbad1e763a8902bd5995aee1b9c1d50ceb08449f18b5d2adaf","abstract_canon_sha256":"d7a36e3f8c4f062b866ce947324c8fc9c4f03203cf666cc9049f6b68fa30bfca"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:46:24.635203Z","signature_b64":"y18oRof6VuRa51I+RvF9FqqPRzpXkBgZr1z3Jjx9dyUyXgvZPaJCjWTWwPDp6vteOXehfM2an0luew3BRwS7Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bbc2f23b7b9be33e722a403772c5a72d2aaa81c691771f39ec9268c7af5ec35e","last_reissued_at":"2026-07-05T08:46:24.634726Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:46:24.634726Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Constrained Decoding for Secure Code Generation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LG","cs.SE"],"primary_cat":"cs.CR","authors_text":"Ethan Baker, Yanjun Fu, Yizheng Chen, Yu Ding","submitted_at":"2024-04-30T21:52:19Z","abstract_excerpt":"Code Large Language Models (Code LLMs) have been increasingly used by developers to boost productivity, but they often generate vulnerable code. Thus, there is an urgent need to ensure that code generated by Code LLMs is correct and secure. Previous research has primarily focused on generating secure code, overlooking the fact that secure code also needs to be correct. This oversight can lead to a false sense of security. Currently, the community lacks a method to measure actual progress in this area, and we need solutions that address both security and correctness of code generation.\n  This p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.00218","kind":"arxiv","version":3},"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/2405.00218/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":"2405.00218","created_at":"2026-07-05T08:46:24.634792+00:00"},{"alias_kind":"arxiv_version","alias_value":"2405.00218v3","created_at":"2026-07-05T08:46:24.634792+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.00218","created_at":"2026-07-05T08:46:24.634792+00:00"},{"alias_kind":"pith_short_12","alias_value":"XPBPEO33TPRT","created_at":"2026-07-05T08:46:24.634792+00:00"},{"alias_kind":"pith_short_16","alias_value":"XPBPEO33TPRT44RK","created_at":"2026-07-05T08:46:24.634792+00:00"},{"alias_kind":"pith_short_8","alias_value":"XPBPEO33","created_at":"2026-07-05T08:46:24.634792+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":9,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2607.07881","citing_title":"Functional and Secure Code Generation with Task Vectors","ref_index":18,"is_internal_anchor":true},{"citing_arxiv_id":"2606.25195","citing_title":"SoK: AI Secure Code Generation: Progress, Pitfalls, and Paths Forward","ref_index":9,"is_internal_anchor":false},{"citing_arxiv_id":"2607.01814","citing_title":"MMIR-TCM: Memory-Integrated Multimodal Inference and Retrieval for TCM Clinical Decision Support","ref_index":71,"is_internal_anchor":false},{"citing_arxiv_id":"2503.12374","citing_title":"Beyond Final Code: A Process-Oriented Error Analysis of Software Development Agents in Real-World GitHub Scenarios","ref_index":18,"is_internal_anchor":false},{"citing_arxiv_id":"2604.09089","citing_title":"DeepGuard: Secure Code Generation via Multi-Layer Semantic Aggregation","ref_index":3,"is_internal_anchor":false},{"citing_arxiv_id":"2605.00754","citing_title":"Themis: Training Robust Multilingual Code Reward Models for Flexible Multi-Criteria Scoring","ref_index":7,"is_internal_anchor":false},{"citing_arxiv_id":"2604.07755","citing_title":"An Empirical Analysis of Static Analysis Methods for Detection and Mitigation of Code Library Hallucinations","ref_index":2,"is_internal_anchor":false},{"citing_arxiv_id":"2605.00754","citing_title":"Themis: Training Robust Multilingual Code Reward Models for Flexible Multi-Criteria Scoring","ref_index":7,"is_internal_anchor":false},{"citing_arxiv_id":"2605.06279","citing_title":"Correct Code, Vulnerable Dependencies: A Large Scale Measurement Study of LLM-Specified Library Versions","ref_index":7,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/XPBPEO33TPRT44RKIA3XFRNHFU","json":"https://pith.science/pith/XPBPEO33TPRT44RKIA3XFRNHFU.json","graph_json":"https://pith.science/api/pith-number/XPBPEO33TPRT44RKIA3XFRNHFU/graph.json","events_json":"https://pith.science/api/pith-number/XPBPEO33TPRT44RKIA3XFRNHFU/events.json","paper":"https://pith.science/paper/XPBPEO33"},"agent_actions":{"view_html":"https://pith.science/pith/XPBPEO33TPRT44RKIA3XFRNHFU","download_json":"https://pith.science/pith/XPBPEO33TPRT44RKIA3XFRNHFU.json","view_paper":"https://pith.science/paper/XPBPEO33","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2405.00218&json=true","fetch_graph":"https://pith.science/api/pith-number/XPBPEO33TPRT44RKIA3XFRNHFU/graph.json","fetch_events":"https://pith.science/api/pith-number/XPBPEO33TPRT44RKIA3XFRNHFU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XPBPEO33TPRT44RKIA3XFRNHFU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XPBPEO33TPRT44RKIA3XFRNHFU/action/storage_attestation","attest_author":"https://pith.science/pith/XPBPEO33TPRT44RKIA3XFRNHFU/action/author_attestation","sign_citation":"https://pith.science/pith/XPBPEO33TPRT44RKIA3XFRNHFU/action/citation_signature","submit_replication":"https://pith.science/pith/XPBPEO33TPRT44RKIA3XFRNHFU/action/replication_record"}},"created_at":"2026-07-05T08:46:24.634792+00:00","updated_at":"2026-07-05T08:46:24.634792+00:00"}