com.ibm.wala.demandpa.alg

Class ContextSensitiveStateMachine

java.lang.Object

com.ibm.wala.demandpa.alg.ContextSensitiveStateMachine

All Implemented Interfaces:

StateMachine<IFlowLabel>

public class ContextSensitiveStateMachine
extends java.lang.Object
implements StateMachine<IFlowLabel>

A state machine for tracking calling context during a points-to query. Filters unrealizable paths.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ContextSensitiveStateMachine.BasicRecursionHandler handles method recursion by only collapsing cycles of recursive calls observed during analysis
static class	ContextSensitiveStateMachine.Factory
static interface	ContextSensitiveStateMachine.RecursionHandler

Nested classes/interfaces inherited from interface com.ibm.wala.demandpa.alg.statemachine.StateMachine

StateMachine.State

Field Summary

Fields inherited from interface com.ibm.wala.demandpa.alg.statemachine.StateMachine

ERROR

Method Summary

Modifier and Type	Method and Description
CallStack	getStartState()
StateMachine.State	transition(StateMachine.State prevState, IFlowLabel label)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getStartState

public CallStack getStartState()

Specified by:

getStartState in interface StateMachine<IFlowLabel>

transition

public StateMachine.State transition(StateMachine.State prevState,
                                     IFlowLabel label)
                              throws java.lang.IllegalArgumentException,
                                     java.lang.IllegalArgumentException

Specified by:

transition in interface StateMachine<IFlowLabel>

Returns:

the successor state of prevState for the transition labelled label, or null if no such transition exists

Throws:

java.lang.IllegalArgumentException

See Also:

StatesMergedException