围裙:围裙数值抽象域库 源码

围裙数值抽象域库 介绍 Apron是一个库,用于表示数字变量的属性(例如变量边界或变量之间的线性关系),并通过语义操作(例如变量分配,测试,连接和蕴含)来操纵这些属性。 Apron旨在用于静态程序分析器中,以推断数值变量的不变性,即对于程序的所有执行均适用的属性。 它基于抽象解释理论。 有关API文档,请参见 。 概述 Apron库包括几个数字抽象域,它们对应于具有自己的内部表示形式和算法的不同类别的数字属性,从而在精度,表达性和效率之间实现了各种折衷。 围裙包括以下数字域: 间隔(框) 多面体(newpolka) 八边形 地带(taylor1plus) 通过可选的PPL第三方库