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