基于大语言模型的Rust不健全封装检测方法及装置

本发明公开了一种基于大语言模型的Rust不健全封装检测方法及装置。该方法结合了大语言模型、静态分析工具及总结的领域知识来检测不安全调用封装是否为被调用不安全函数的所有合约提供保障，从而判断其健全性。该方法首先利用静态分析工具获取目标封装的相关上下文，并将初始冗长的安全性说明分解为细粒度的合约，并为每个合约进行分类。随后结合领域知识和大语言模型的推理能力对每个合约进行单独分析，并最终将细粒度的分析结果聚合为对目标封装的健全性判断。该方法不但能够检测出不健全的不安全调用，还能帮助维护人员定位细粒度的不健全来源，即具体的被调用不安全函数和无保障合约。