基于大型语言模型与静态分析的并发缺陷语义检测方法

本发明提供一种基于大型语言模型与静态分析的并发缺陷语义检测方法，属于软件工程技术领域。S1.构建静态并发感知程序模型；S2.基于LLM推理意图并发模型；S3.最基于意图规约的缺陷检测。本发明通过引入结合LLM推理和静态分析事实的机制，解决如何从代码中自动提取和形式化表达开发者关于并发行为的高级语义意图；其次，设计一套工作流，解决如何将线程间隐式的、基于逻辑的交互协议转化为机器可验证的形式化规约，用于精确判定程序的行为是否合规；最后，通过利用这些推断出的意图规约，解决如何进行目标明确且高效的缺陷搜索，以避免传统静态分析的盲目性和由此产生的大量误报。