文件名称：围裙：围裙数值抽象域库
文件大小：1.37MB
文件格式：ZIP
更新时间：2024-03-08 22:50:10
C
围裙数值抽象域库 介绍 Apron是一个库，用于表示数字变量的属性（例如变量边界或变量之间的线性关系），并通过语义操作（例如变量分配，测试，连接和蕴含）来操纵这些属性。 Apron旨在用于静态程序分析器中，以推断数值变量的不变性，即对于程序的所有执行均适用的属性。 它基于抽象解释理论。 有关API文档，请参见 。 概述 Apron库包括几个数字抽象域，它们对应于具有自己的内部表示形式和算法的不同类别的数字属性，从而在精度，表达性和效率之间实现了各种折衷。 围裙包括以下数字域： 间隔（框） 多面体（newpolka） 八边形 地带（taylor1plus） 通过可选的PPL第三方库可以使用其他域： 替代多面体实现 网格 多面体和网格的减积 这些域在公共界面下可用，因此在静态分析中更改抽象解释域仅需一行更改。 核心API使用C语言，但提供了其他语言的可选API包装器： OC