| Package | Description |
|---|---|
| com.ibm.wala.dalvik.ssa |
| Class and Description |
|---|
| AbstractIntRegisterMachine
Skeleton of functionality to propagate information through the Java bytecode stack machine using ShrikeBT.
|
| AbstractIntRegisterMachine.BasicRegisterFlowProvider.BasicRegisterMachineVisitor
Update the machine state to account for an instruction
|
| AbstractIntRegisterMachine.FlowProvider
Interface which defines a flow function for a basic block
|
| AbstractIntRegisterMachine.MachineState
Representation of the state of the JVM stack machine at some program point.
|
| AbstractIntRegisterMachine.Meeter
A Meeter object provides the dataflow logic needed to meet the abstract machine state for a dataflow meet.
|
| DexSSABuilder
This class constructs an SSA
IR from a backing ShrikeBT instruction stream. |
Copyright © 2019. All rights reserved.