推断循环界限的方法和设备

本说明书提供的推断循环界限的方法和设备，获得包括循环单元的目标代码，并利用有界模型检验工具按照预设的第一展开次数对循环单元进行展开检验，以确定循环单元在第一展开次数下是否能够完全展开。在不能完全展开的情况下，获得有界模型检验工具生成的反例，并将第一展开次数和反例提供给大模型，以通过大模型自动推断出循环单元的循环界限，其中的反例表征从目标代码的执行入口到循环单元之间的执行路径，从而实现了循环界限推断的自动化，减少了对人工干预的需求。而且，利用反例来指导大模型推断循环界限，大模型可以从反例中提取很多关键信息，因此能够提升推断循环界限的准确性。