摘要
本申请公开了一种基于LLM和RAG的静态分析规则自动生成方法,涉及软件静态分析领域。方法包括:采用LLM根据软件历史缺陷信息确定规则描述信息;基于规则描述信息的语义相似度进行静态分析工具的匹配;基于预训练的大语言模型,根据完整提示词确定静态分析工具的分析规则,并采用软件历史缺陷信息进行规则扫描验证,得到验证结果。基于静态分析工具的分析规则,调用对应的静态分析工具对待分析项目的源代码进行扫描;基于缺陷报告进行结果评估,若有效,则将静态分析工具的分析规则的内容及对应的描述信息补充至知识库中;若无效则对规则描述信息进行调整并重新执行后续步骤至评估结果有效。本申请可实现精准的缺陷检测,提高软件质量。
技术关键词
分析工具
自动生成方法
规则知识库
生成规则
查询关键词
静态分析方法
检索策略
动态链接库形式
代码缺陷
语义
软件静态分析
分层存储结构
规则语法
收集工具
摘要
报告
嵌入方法
语句
系统为您推荐了相关专利信息
花边
图案自动生成方法
纺织
图案特征
自动生成系统
视频特征向量
深度强化学习技术
语义图谱
自动生成方法
序列