|
Packages |
| de.rwth.dfa |
The core of this package is the class DataFlowSolver, which
contains an implementation of the classical iterative algorithm for
intra-procedural data-flow analysis. |
| de.rwth.dfa.jvm |
This package adds an additional level of abstraction on the @{link de.rwth.dfa}
package. |
| de.rwth.dfa.jvm.samples |
This package contains bytecode analyses implemented using the de.rwth.dfa.jvm package. |
| de.rwth.domains |
This package contains interfaces for modelling the mathematical structures. |
| de.rwth.domains.templates |
This package contains implementations of the interfaces from the package de.rwth.domains for standard domains and domain constructors like bit vectors,
Cartesian product, or lifted partially ordered sets. |
| de.rwth.graph |
This package implements an API for representing directed graphs. |
| de.rwth.utils |
This package contains useful utilties. |