public class InitialStateBuilder extends java.lang.Object implements IInitialStateBuilder<State,Context,CallEdge,IAnalysisMonitoring,Analysis>
Modifier and Type | Field and Description |
---|---|
static ObjectLabel |
ARRAY_PROTOTYPE
Object label for Array.prototype.
|
static ObjectLabel |
BOOLEAN_PROTOTYPE
Object label for Boolean.prototype.
|
static ObjectLabel |
DATE_PROTOTYPE
Object label for Date.prototype.
|
static ObjectLabel |
ERROR_PROTOTYPE
Object label for Error.prototype.
|
static ObjectLabel |
EVAL_ERROR_PROTOTYPE
Object label for EvalError.prototype.
|
static ObjectLabel |
FUNCTION_PROTOTYPE
Object label for Function.prototype.
|
static ObjectLabel |
GLOBAL
Object label for the global object.
|
static ObjectLabel |
JSON_OBJECT
Object label for JSON object
|
static ObjectLabel |
NUMBER_PROTOTYPE
Object label for Number.prototype.
|
static ObjectLabel |
OBJECT_PROTOTYPE
Object label for Object.prototype.
|
static ObjectLabel |
PROXY_PROTOTYPE
Object label for Proxy.prototype.
|
static ObjectLabel |
RANGE_ERROR_PROTOTYPE
Object label for RangeError.prototype.
|
static ObjectLabel |
REFERENCE_ERROR_PROTOTYPE
Object label for ReferenceError.prototype.
|
static ObjectLabel |
REGEXP_PROTOTYPE
Object label for RegExp.prototype.
|
static ObjectLabel |
STRING_PROTOTYPE
Object label for String.prototype.
|
static ObjectLabel |
SYMBOL_PROTOTYPE
Object label for Symbol.prototype.
|
static ObjectLabel |
SYNTAX_ERROR_PROTOTYPE
Object label for SyntaxError.prototype.
|
static ObjectLabel |
TYPE_ERROR_PROTOTYPE
Object label for TypeError.prototype.
|
static ObjectLabel |
UNKNOWN_SYMBOL_INSTANCES
Well-known EC6 Symbols
|
static ObjectLabel |
URI_ERROR_PROTOTYPE
Object label for URIError.prototype.
|
static ObjectLabel |
WELLKNOWN_SYMBOL_HAS_INSTANCE |
static ObjectLabel |
WELLKNOWN_SYMBOL_IS_CONCAT_SPREADABLE |
static ObjectLabel |
WELLKNOWN_SYMBOL_ITERATOR |
static ObjectLabel |
WELLKNOWN_SYMBOL_MATCH |
static ObjectLabel |
WELLKNOWN_SYMBOL_REPLACE |
static ObjectLabel |
WELLKNOWN_SYMBOL_SEARCH |
static ObjectLabel |
WELLKNOWN_SYMBOL_SPECIES |
static ObjectLabel |
WELLKNOWN_SYMBOL_SPLIT |
static ObjectLabel |
WELLKNOWN_SYMBOL_TO_PRIMITIVE |
static ObjectLabel |
WELLKNOWN_SYMBOL_TO_STRING_TAG |
static ObjectLabel |
WELLKNOWN_SYMBOL_UNSCOPABLES |
Constructor and Description |
---|
InitialStateBuilder()
Constructs a new InitialStateBuilder object.
|
Modifier and Type | Method and Description |
---|---|
State |
build(BasicBlock global_entry_block,
GenericSolver.SolverInterface c,
net.htmlparser.jericho.Source document)
Sets up the initial state.
|
static void |
createPrimitiveConstructor(ObjectLabel target,
ObjectLabel internal_proto,
ObjectLabel prototype,
ObjectLabel objlabel,
java.lang.String name,
int arity,
GenericSolver.SolverInterface c)
Creates a new built-in constructor.
|
static void |
createPrimitiveFunction(ObjectLabel target,
ObjectLabel internal_proto,
HostObject primitive,
java.lang.String name,
int arity,
GenericSolver.SolverInterface c)
Creates a new built-in function.
|
static void |
reset() |
public static ObjectLabel ARRAY_PROTOTYPE
public static ObjectLabel BOOLEAN_PROTOTYPE
public static ObjectLabel DATE_PROTOTYPE
public static ObjectLabel ERROR_PROTOTYPE
public static ObjectLabel EVAL_ERROR_PROTOTYPE
public static ObjectLabel FUNCTION_PROTOTYPE
public static ObjectLabel GLOBAL
public static ObjectLabel JSON_OBJECT
public static ObjectLabel NUMBER_PROTOTYPE
public static ObjectLabel OBJECT_PROTOTYPE
public static ObjectLabel PROXY_PROTOTYPE
public static ObjectLabel RANGE_ERROR_PROTOTYPE
public static ObjectLabel REFERENCE_ERROR_PROTOTYPE
public static ObjectLabel REGEXP_PROTOTYPE
public static ObjectLabel STRING_PROTOTYPE
public static ObjectLabel SYMBOL_PROTOTYPE
public static ObjectLabel SYNTAX_ERROR_PROTOTYPE
public static ObjectLabel TYPE_ERROR_PROTOTYPE
public static ObjectLabel UNKNOWN_SYMBOL_INSTANCES
public static ObjectLabel URI_ERROR_PROTOTYPE
public static ObjectLabel WELLKNOWN_SYMBOL_HAS_INSTANCE
public static ObjectLabel WELLKNOWN_SYMBOL_IS_CONCAT_SPREADABLE
public static ObjectLabel WELLKNOWN_SYMBOL_ITERATOR
public static ObjectLabel WELLKNOWN_SYMBOL_MATCH
public static ObjectLabel WELLKNOWN_SYMBOL_REPLACE
public static ObjectLabel WELLKNOWN_SYMBOL_SEARCH
public static ObjectLabel WELLKNOWN_SYMBOL_SPECIES
public static ObjectLabel WELLKNOWN_SYMBOL_SPLIT
public static ObjectLabel WELLKNOWN_SYMBOL_TO_PRIMITIVE
public static ObjectLabel WELLKNOWN_SYMBOL_TO_STRING_TAG
public static ObjectLabel WELLKNOWN_SYMBOL_UNSCOPABLES
public InitialStateBuilder()
public State build(BasicBlock global_entry_block, GenericSolver.SolverInterface c, net.htmlparser.jericho.Source document)
build
in interface IInitialStateBuilder<State,Context,CallEdge,IAnalysisMonitoring,Analysis>
public static void createPrimitiveConstructor(ObjectLabel target, ObjectLabel internal_proto, ObjectLabel prototype, ObjectLabel objlabel, java.lang.String name, int arity, GenericSolver.SolverInterface c)
public static void createPrimitiveFunction(ObjectLabel target, ObjectLabel internal_proto, HostObject primitive, java.lang.String name, int arity, GenericSolver.SolverInterface c)
public static void reset()
Copyright © 2009-2019 Aarhus University