dk.brics.tajs.analysis.uneval

Class UnevalTools

java.lang.Object

dk.brics.tajs.analysis.uneval.UnevalTools

public class UnevalTools
extends Object

Utility routines for the unevalizer parts.

Author:

simonhj

Field Summary

Fields

Modifier and Type	Field and Description
static String	VAR_PLACEHOLDER

Constructor Summary

Constructors

Constructor and Description
UnevalTools()

Method Summary

Methods

Modifier and Type	Method and Description
static String	gensym()
static String	get_call_name(FlowGraph fg, CallNode n) Returns the function name that was used to call the function or empty string if unknown.
static String	rebuildFullExpression(FlowGraph fg, AbstractNode n, int register) Rebuilds the expression used to create the value in a register from the flow graph.
static String	rebuildFullFromMapping(FlowGraph fg, String unevaled, Map<String,Integer> mapping, AbstractNode n) Rebuild a full expression from a normal form and a mapping.
static NormalForm	rebuildNormalForm(FlowGraph fg, CallNode n, State s, GenericSolver.SolverInterface c) Returns the normal form expression used to create the first argument to the CallNode.
static AnalyzerCallback	unevalizerCallback(FlowGraph fg, State state, AbstractNode evalCall, NormalForm input) Returns a callback object for the transformation component.

Methods inherited from class java.lang.Object

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

Field Detail

VAR_PLACEHOLDER

public static String VAR_PLACEHOLDER

Constructor Detail

UnevalTools

public UnevalTools()

Method Detail

gensym

public static String gensym()

get_call_name

public static String get_call_name(FlowGraph fg,
                   CallNode n)

Returns the function name that was used to call the function or empty string if unknown.

rebuildFullExpression

public static String rebuildFullExpression(FlowGraph fg,
                           AbstractNode n,
                           int register)

Rebuilds the expression used to create the value in a register from the flow graph.

rebuildFullFromMapping

public static String rebuildFullFromMapping(FlowGraph fg,
                            String unevaled,
                            Map<String,Integer> mapping,
                            AbstractNode n)

Rebuild a full expression from a normal form and a mapping.

rebuildNormalForm

public static NormalForm rebuildNormalForm(FlowGraph fg,
                           CallNode n,
                           State s,
                           GenericSolver.SolverInterface c)

Returns the normal form expression used to create the first argument to the CallNode.

unevalizerCallback

public static AnalyzerCallback unevalizerCallback(FlowGraph fg,
                                  State state,
                                  AbstractNode evalCall,
                                  NormalForm input)

Returns a callback object for the transformation component. In the uneval paper the input to the transformation component is an 8-tuple (E,V,D_G,D_L,r,p,n). This callback allows the transformer to access most of these components: E: This is passed directly to the transformer (see Unevalizer.uneval) E is a String that contains a JavaScript expression on normal form. It is constructed by TAJS and is a concatenation of either constants or identifiers. For example: eval("x = " + (f() + "yy")) will have the normal form "\"x = \" + TAJS_ID42" where TAJS_ID42 is a place holder identifier representing the value of the subexpression. V: The transformer can query information about the abstract value of the place holders using the CallBack functions. D_G,D_L: The functions anyGlobalVariable and getNonGlobalIdentifiers allow access to this D_M: TODO: Not implemented. r: Direct parameter in the call to uneval() in JSGlobal and others. p: TODO: Not implemented. n: TODO: Not implemented.