dk.brics.tajs.analysis

Class CustomContextSensitivityStrategy

java.lang.Object

dk.brics.tajs.analysis.CustomContextSensitivityStrategy

All Implemented Interfaces:

IContextSensitivityStrategy

public class CustomContextSensitivityStrategy
extends java.lang.Object
implements IContextSensitivityStrategy

Context sensitivity strategy determined by TAJS_makeContextSensitive instructions in the analyzed program. Wraps another context sensitivity strategy while enabling custom context sensitivity for selected functions. The wrapper can encode parameter-sensitivity, object-sensitivity, and closure-variable-sensitivity, and uses the wrapped context sensitivity strategy as default.

Constructor Summary

Constructors

Constructor and Description
CustomContextSensitivityStrategy(IContextSensitivityStrategy defaultContextSensitivity) Creates a new CustomContextSensitivityWrapper by wrapping the given context sensitivity strategy.

Method Summary

Modifier and Type	Method and Description
HeapContext	makeActivationAndArgumentsHeapContext(State state, ObjectLabel function, Value thisval, FunctionCalls.CallInfo callInfo, GenericSolver.SolverInterface c) Constructs a heap context for objects related to a call.
HeapContext	makeClosureVariableContext(Function fun, GenericSolver.SolverInterface c)
HeapContext	makeConstructorHeapContext(State state, ObjectLabel function, FunctionCalls.CallInfo callInfo, GenericSolver.SolverInterface c) Constructs a heap context for an object created at 'new'.
ContextArguments	makeContextArguments(State edgeState, ObjectLabel calleeObj, Value thisval, FunctionCalls.CallInfo callInfo) Attempts to make a context for a call, but only for callees that have been made context sensitive.
Context	makeForInEntryContext(Context currentContext, BeginForInNode n, Value v) Constructs a context for entering a for-in body.
Context	makeFunctionEntryContext(State state, ObjectLabel function, FunctionCalls.CallInfo callInfo, Value thisval, GenericSolver.SolverInterface c) Constructs a context for call.
HeapContext	makeFunctionHeapContext(Function fun, GenericSolver.SolverInterface c) Constructs a heap context for a function object.
Context	makeInitialContext() Constructs the initial context.
Context	makeLoopExitContext(Context currentContext, EndLoopNode node) Constructs a context for leaving a loop.
Context	makeNextLoopUnrollingContext(Context currentContext, BeginLoopNode node) Constructs a context for (re-)entering a loop.
HeapContext	makeObjectLiteralHeapContext(AbstractNode node, State state) Constructs a heap context for an object literal.
void	makeSensitive(Function function, int sensitivity) Makes a function context sensitive.
void	makeSensitiveFromCaller(Function callee, int sensitivity, Function caller) Makes a function context sensitive, but only when it is invoked from a specific caller.
void	requestContextSensitiveParameter(Function function, java.lang.String parameter) Requests that a parameter is treated context sensitively.

Methods inherited from class java.lang.Object

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

Constructor Detail

CustomContextSensitivityStrategy

public CustomContextSensitivityStrategy(IContextSensitivityStrategy defaultContextSensitivity)

Creates a new CustomContextSensitivityWrapper by wrapping the given context sensitivity strategy.

Method Detail

makeActivationAndArgumentsHeapContext

public HeapContext makeActivationAndArgumentsHeapContext(State state,
                                                         ObjectLabel function,
                                                         Value thisval,
                                                         FunctionCalls.CallInfo callInfo,
                                                         GenericSolver.SolverInterface c)

Description copied from interface: IContextSensitivityStrategy

Constructs a heap context for objects related to a call.

Specified by:

makeActivationAndArgumentsHeapContext in interface IContextSensitivityStrategy

makeClosureVariableContext

public HeapContext makeClosureVariableContext(Function fun,
                                              GenericSolver.SolverInterface c)

makeConstructorHeapContext

public HeapContext makeConstructorHeapContext(State state,
                                              ObjectLabel function,
                                              FunctionCalls.CallInfo callInfo,
                                              GenericSolver.SolverInterface c)

Description copied from interface: IContextSensitivityStrategy

Constructs a heap context for an object created at 'new'.

Specified by:

makeConstructorHeapContext in interface IContextSensitivityStrategy

makeContextArguments

public ContextArguments makeContextArguments(State edgeState,
                                             ObjectLabel calleeObj,
                                             Value thisval,
                                             FunctionCalls.CallInfo callInfo)

Attempts to make a context for a call, but only for callees that have been made context sensitive.

makeForInEntryContext

public Context makeForInEntryContext(Context currentContext,
                                     BeginForInNode n,
                                     Value v)

Description copied from interface: IContextSensitivityStrategy

Constructs a context for entering a for-in body.

Specified by:

makeForInEntryContext in interface IContextSensitivityStrategy

makeFunctionEntryContext

public Context makeFunctionEntryContext(State state,
                                        ObjectLabel function,
                                        FunctionCalls.CallInfo callInfo,
                                        Value thisval,
                                        GenericSolver.SolverInterface c)

Description copied from interface: IContextSensitivityStrategy

Constructs a context for call.

Specified by:

makeFunctionEntryContext in interface IContextSensitivityStrategy

makeFunctionHeapContext

public HeapContext makeFunctionHeapContext(Function fun,
                                           GenericSolver.SolverInterface c)

Description copied from interface: IContextSensitivityStrategy

Constructs a heap context for a function object.

Specified by:

makeFunctionHeapContext in interface IContextSensitivityStrategy

makeInitialContext

public Context makeInitialContext()

Description copied from interface: IContextSensitivityStrategy

Constructs the initial context.

Specified by:

makeInitialContext in interface IContextSensitivityStrategy

makeLoopExitContext

public Context makeLoopExitContext(Context currentContext,
                                   EndLoopNode node)

Description copied from interface: IContextSensitivityStrategy

Constructs a context for leaving a loop.

Specified by:

makeLoopExitContext in interface IContextSensitivityStrategy

makeNextLoopUnrollingContext

public Context makeNextLoopUnrollingContext(Context currentContext,
                                            BeginLoopNode node)

Description copied from interface: IContextSensitivityStrategy

Constructs a context for (re-)entering a loop.

Specified by:

makeNextLoopUnrollingContext in interface IContextSensitivityStrategy

makeObjectLiteralHeapContext

public HeapContext makeObjectLiteralHeapContext(AbstractNode node,
                                                State state)

Description copied from interface: IContextSensitivityStrategy

Constructs a heap context for an object literal.

Specified by:

makeObjectLiteralHeapContext in interface IContextSensitivityStrategy

makeSensitive

public void makeSensitive(Function function,
                          int sensitivity)

Makes a function context sensitive.

See Also:

makeSensitiveFromCaller(Function, int, Function)

makeSensitiveFromCaller

public void makeSensitiveFromCaller(Function callee,
                                    int sensitivity,
                                    Function caller)

Makes a function context sensitive, but only when it is invoked from a specific caller.

If the specific caller is null, then the function is always context sensitive.

The sensitivity flag can be:

• -2: sensitive in closure variables that are context sensitive parameters of the enclosing function
• -1: sensitive in the receiver (== object sensitivity)
• non-negative: the position of an argument to be sensitive in

Parameters:

callee - the function to make sensitive.

sensitivity - indicates what kind of context sensitivity that should be used.

caller - the caller that is required for context sensitivity to be enabled.

requestContextSensitiveParameter

public void requestContextSensitiveParameter(Function function,
                                             java.lang.String parameter)

Description copied from interface: IContextSensitivityStrategy

Requests that a parameter is treated context sensitively.

Specified by:

requestContextSensitiveParameter in interface IContextSensitivityStrategy