Package com.ibm.wala.analysis.stackMachine
package com.ibm.wala.analysis.stackMachine
-
ClassDescriptionSkeleton of functionality to propagate information through the Java bytecode stack machine using ShrikeBT.This gives some basic facilities for shoving things around on the stack.Interface which defines a flow function for a basic blockA Meeter object provides the dataflow logic needed to meet the abstract machine state for a dataflow meet.