以安全为先评估文本到Terraform：面向安全IaC生成的LLM与SLM基准测试

该论文在17个AWS Terraform场景中评测3个闭源LLM与4个开放SLM，结合Checkov、Trivy和GitLab CI/CD，在三种安全等级提示下进行pass@5测试。结果显示，Terraform语法有效性与安全合规性基本正交：WizardCoder-33B验证率达77.8%但Checkov合规率为零，而Claude Opus 4在详细安全提示下达到23.1% Checkov与92.5% Trivy通过率。论文据此强调，提示工程不能替代自动化、多工具安全扫描。