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