IKOSIKOS(开放静态分析器的推理内核)是基于抽象解释理论的C/C++静态分析器。
引见IKOS最初是一个C++库,旨在促进基于的声音静态分析器的开发。
对于一个应用程序或一系列应用程序,静态分析仪的专业化对于实现精度和可扩展性都至关重要。
开发这样的分析器是艰巨的,并且需要在抽象解释方面的大量专业知识。
IKOS提供了最先进的抽象解释数据结构和算法的通用且有效的实现,例如控制流图,定点迭代器,数字抽象域等。
IKOS独立于特定的编程语言。
IKOS还提供了基于的C和C++静态分析器。
它实现了可伸缩的分析,以检测和证明C和C++程序中没有运行时错误。
执照IKOS已根据NASA开源协议1.3版发布,请参阅接触发行说明见故障排除请参阅安装依存关系要构建和运行分析器,您将需要以下依赖项:支持C++14的C++编译器(gcc>=4.9.2
2023/1/27 2:49:52
2.34MB
1