Package de.uzl.its.swat.symbolic.processor

package de.uzl.its.swat.symbolic.processor

Related Packages

Package	Description
de.uzl.its.swat.symbolic
de.uzl.its.swat.symbolic.instruction
de.uzl.its.swat.symbolic.invoke
de.uzl.its.swat.symbolic.trace	This package contains the trace, its handler and its elements.
de.uzl.its.swat.symbolic.value

Class	Description
AbstractInstructionProcessor	Template Method pattern for processing instruction processing.
DummyInstructionProcessor
InstructionProcessor	Interface for instruction handling.
SymbolicInstructionProcessor	This class is used to process instructions and triggers symbolic execution handling through visiting the current instruction.