Package avrora.stack.isea

Interface Summary

ISEInterpreter.SummaryCache

Class Summary

ISEAbstractState
ISEAbstractState.Element
ISEAnalyzer	The ISEAnalyzer class is a static analyzer for machine code.
ISEInterpreter	The ISEInterpreter class implements an abstract interpreter for intraprocedural side effect analysis.
ISEState
ISEValue	The ISEValue class contains a collection of constants and methods relating to the abstract values used in intraprocedural side effect analysis.