本文探讨了大型语言模型（LLM）在代码生成中的安全性问题，提出了多种方法以减少生成脆弱代码的风险。研究表明，结合脆弱性约束解码和形式验证工具，可以有效提高代码的安全性和正确性，降低安全漏洞的传播。