dk.brics.tajs.analysis

Class CallContext

java.lang.Object

dk.brics.tajs.analysis.CallContext

All Implemented Interfaces:

ICallContext<CallContext>

public final class CallContext
extends Object
implements ICallContext<CallContext>

Call context for context sensitive analysis.

This particular context sensitivity strategy distinguishes between abstract states that have different possible values of 'this'. It also distinguishes between abstract states that have different values for the special function arguments (see SpecialArgs).

Constructor Summary

Constructors

Constructor and Description
CallContext(State callee_state, Function f) Constructs a new initial context.
CallContext(State callee_state, Function f, CallContext caller_context, AbstractNode call_node, String property, SpecialArgs sa) Constructs a new context.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object obj) Checks whether this context is equal to the given object.
int	hashCode() Computes a hash code for this context.
boolean	isContextSensitiveOn(AbstractNode n) Returns true if the context is sensitive on the block that belongs to node.
CallContext	peel() Peels a single layer of the for-in context sensitivity nodes off.
BlockAndContext<CallContext>	toEntry(BasicBlock b) Returns the entry of the nearest enclosing basic block and context.
String	toString() Returns a description of this call context.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

CallContext

public CallContext(State callee_state,
           Function f)

Constructs a new initial context.

Parameters:

callee_state - callee state

f - callee function

CallContext

public CallContext(State callee_state,
           Function f,
           CallContext caller_context,
           AbstractNode call_node,
           String property,
           SpecialArgs sa)

Constructs a new context.

Parameters:

callee_state - callee state

f - callee function

caller_context - caller context, null if none

call_node - call node, null if none

property - property name, null if none

sa - special arguments info, null if none

Method Detail

equals

public boolean equals(Object obj)

Description copied from interface: ICallContext

Checks whether this context is equal to the given object.

Specified by:

equals in interface ICallContext<CallContext>

Overrides:

equals in class Object

hashCode

public int hashCode()

Description copied from interface: ICallContext

Computes a hash code for this context.

Specified by:

hashCode in interface ICallContext<CallContext>

Overrides:

hashCode in class Object

isContextSensitiveOn

public boolean isContextSensitiveOn(AbstractNode n)

Returns true if the context is sensitive on the block that belongs to node.

peel

public CallContext peel()

Peels a single layer of the for-in context sensitivity nodes off.

toEntry

public BlockAndContext<CallContext> toEntry(BasicBlock b)

Description copied from interface: ICallContext

Returns the entry of the nearest enclosing basic block and context.

Specified by:

toEntry in interface ICallContext<CallContext>

toString

public String toString()

Description copied from interface: ICallContext

Returns a description of this call context.

Specified by:

toString in interface ICallContext<CallContext>

Overrides:

toString in class Object