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.