Class ContextSensitiveStateMachine

java.lang.Object
com.ibm.wala.demandpa.alg.ContextSensitiveStateMachine
All Implemented Interfaces:
StateMachine<IFlowLabel>

public class ContextSensitiveStateMachine extends Object implements StateMachine<IFlowLabel>
A state machine for tracking calling context during a points-to query. Filters unrealizable paths.