Package de.rwth.i2.attestor.main

Loads and executes a program analysis task.

See: Description

Class Summary

Class	Description
AbstractAttestor
AbstractPhase
Attestor	The main class to run Attestor.
PhaseRegistry

Package de.rwth.i2.attestor.main Description

Loads and executes a program analysis task. For each actual program analysis that can be performed there is a dedicated package in de.rwth.i2.attestor.programState.

Furthermore, the sub-package de.rwth.i2.attestor.phases.communication containsSubsumingState all possible communication that can be used to customize a program analysis task using either a configuration file or command line arguments.

Author:

Christoph