技术栈
coverity
虫无涯
19 天前
git
·
单元测试
·
嵌入式测试
·
coverity
·
静态扫描
Coverity 如何结合 GJB8114-2013使用？
Coverity 是新思科技（Synopsys Black Duck）旗下商用SAST静态源代码分析工具，源自斯坦福大学学术成果，无需运行程序，仅扫描源码即可提前挖掘代码缺陷、安全漏洞、编码合规问题，是航空、汽车、军工、嵌入式高安全领域主流代码测试工具。
虫无涯
20 天前
人工智能
·
python
·
大模型
·
llm
·
codeql
·
coverity
大模型联动 CodeQL + Coverity 完整落地方案
功能包含：输出要求JSON格式，字段说明：基于以下高频漏洞模式，生成完整可执行的CodeQL .ql 查询脚本，语言为{lang}。 漏洞模式集合： {pattern_text} 要求：包含import、predicate定义、污点追踪逻辑、alert告警，语法可直接codeql query run执行，仅输出ql完整代码，无多余文字。
我是有底线的