Secure and Correct Code Generation with Constrained Decoding for Code Large Language Models

Constrained decoding techniques can effectively generate code that is both secure and functionally correct, outperforming the state-of-the-art defense of prefix tuning.