Package chord.project.analyses

Program analysis templates.

See:
Description

Class Summary

BasicDynamicAnalysis	Generic implementation of a basic dynamic analysis.
DlogAnalysis	Generic implementation of a Dlog task (a program analysis expressed in Datalog and solved using BDD-based solver bddbddb).
DynamicAnalysis	Generic implementation of a dynamic analysis that allows choosing from a limited but commonly-used set of events, such as method entry/exit, field reads/writes, lock acquires/releases, etc.
JavaAnalysis	Generic implementation of a Java task (a program analysis expressed in Java).
ProgramDom<T>	Generic implementation of a program domain (a specialized kind of Java task).
ProgramRel	Generic implementation of a program relation (a specialized kind of Java task).

Package chord.project.analyses Description

Program analysis templates.