© 1999-2048 dssz.net 粤ICP备11031372号
[其它] ikos:基于抽象解释理论的CC ++静态分析器-源码
说明:IKOS IKOS(开放静态分析器的推理内核)是基于抽象解释理论的C / C ++静态分析器。 介绍 IKOS最初是一个C ++库,旨在促进基于的声音静态分析器的开发。 对于一个应用程序或一系列应用程序,静态分析仪的专业化对于实现精度和可扩展性都至关重要。 开发这样的分析器是艰巨的,并且需要在抽象解释方面的大量专业知识。 IKOS提供了最先进的抽象解释数据结构和算法的通用且有效的实现,例如控制流图,定点迭代器,数字抽象域等。IKOS独立于特定的编程语言。 IKOS还提供了基于的C和C ++<weixin_42121905> 上传 | 大小:2mb