摘要
本发明公开了利用大型语言模型进行静态代码分析的系统和方法,包括任务信息模块、源代码模块、伪代码模块、代理模块和结果展示模块。通过代理模块接收用户定义的静态分析任务信息和伪代码,以及源代码模块的代码输入。伪代码模块用于存储用户定义的伪代码,伪代码指定了要执行的分析任务。在设定的执行规范内,利用大型语言模型模拟执行伪代码,进行静态分析。系统通过代理模块模拟执行伪代码,并验证执行的结果,然后,通过结果展示模块输出静态分析的结果。此外,系统可以处理伪代码执行的中间结果,并根据执行结果提供代码优化的建议和错误修复方案。通过模拟执行和验证伪代码,本系统可以有效地提高代码质量,减少编程错误,提升开发效率。
技术关键词
静态代码分析
大语言模型
信息模块
变量
输出模块
归一化方法
检索算法
归因
报告
控制结构
标记
定义
语义
数据
格式
逻辑
污点
软件
关系