一种符号执行树与LLM向量空间异构融合的程序缺陷检测方法

本发明提供一种符号执行树与LLM向量空间异构融合的程序缺陷检测方法，涉及程序静态分析技术领域，解决了传统符号执行在C/C++程序缺陷检测中面临的路径爆炸和约束求解复杂度过高的问题。方法首先构建待检测目标程序的符号执行树并从中提取关键特征信息，转化为多维特征表示，形成对应的符号执行特征向量；随后构建映射模型，实现符号执行特征向量到LLM向量空间的映射过程，得到LLM映射结果；基于符号执行树实现符号执行分析，基于LLM映射结果实现LLM分析，最后将两类分析结果进行融合，即得到程序缺陷检测结果；对于映射模型的优化训练，还采用了对比学习策略。本发明可有效实现程序复杂缺陷的精确检测并同时提高检测效率。