DOOP r958

最新发布的相关软件：

Doopfinder 1.0

DOOP r958

Java框架，以帮助您的工作

DOOP开发一个基于Java的框架为指针，或指向的分析程序。

DOOP实现了一系列的算法，包括不敏感的情况下，调用点的敏感，而敏感的分析对象，所有指定的模块化作为一个公共的代码库上的变化。

相对于另一种上下文敏感的神器出山:www.shenqi73.com指针分析的实现（如桨）DOOP快得多，而且能更好地伸缩。此外，具有可比性的上下文敏感的特点，DOOP比同类更精确的Java功能处理一些（例如例外的）。

DOOP声明的指定指针分析算法的想法的基础上，使用数据记录（递归），定义关系：一个基于逻辑的语言。

DOOP进一步进行声明的方法比过去工作（如bddbddb）的描述完整的终端到终端的数据记录分析和优化，积极通过博览会的关系（例如索引）的数据记录的语言水平的代表性。 DOOP使用方言和发动机的LogicBlox数据记录。

下面是一些主要特点“DOOP”：

·DOOP支持多种不同的上下文敏感的指针分析（例如调用点敏感的，敏感的对象和线程敏感）。大多数的逻辑DOOP是完全通用的，因此可以很容易地定义新的上下文敏感的组合。
·DOOP支持上下文敏感的堆抽象（也被称为的堆克隆或堆专业化）。一个上下文敏感的堆抽象，可与任何其他上下文敏感的分析。
·DOOP实现基于子集（或列入）分析，保持方向性的任务（与等价为基础的分析）。
·DOOP产生一个精确的调用图实施全面上飞调用图发现。这意味着，杜朋所收集的指针信息被用来确定调用图的边缘和反之亦然。
·DOOP实现精确的异常分析确定的每一个方法，它可能会抛出的异常。变量捕获的异常点的范围在try块中可能抛出的异常对象。
·DOOP实现一个复杂的反射分析。杜朋java.lang.Class的实例，每一个类中被分析的程序使用不同的陈述。这减少人类配置点的数目，自动解决更多反射场景（例如的Class.newInstance，Method.invoke，Constructor.newInstance），并提高了精度。
·DOOP实现场敏感的分析。这意味着，DOOP区分不同领域的一个对象。然而，分析数组元素不敏感，这意味着DOOP不考虑不同的指标不同的变量的数组对象作为。
·DOOP实现流不敏感的指针分析。 DOOP可以实现的好处流灵敏度为局部变量的静态单赋值（SSA）计划的形式，通过应用分析。
·DOOP模拟一些常见的本地方法的（如特权操作）的行为。在不久的将来将会加入更多！
·DOOP模拟的JVM尽可能准确。例如，杜朋，完全支持java.lang.ref.Reference。
·DOOP的分析型信息点的事实考虑：不会传播，如果他们违反了JVM的类型系统。
·的DOOP分析，不断对了广泛的测试包进行测试。

要求：

·的Java
·LogicBlox