Index (TAJS)

A B C D E F G H I J K L M N O P R S T U V W X

A

AbstractNode - Class in dk.brics.tajs.flowgraph: Abstract base class for all nodes.
AbstractNode(SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.AbstractNode: Constructs a new node.
AbstractNodeVisitor<ArgType> - Interface in dk.brics.tajs.flowgraph: Visitor for nodes.
add(Value, int, Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.6.1 + (binary)
add(ExecutionContext) - Method in class dk.brics.tajs.lattice.ExecutionContext: Joins the given execution context into this one.
add(ScopeChain, ScopeChain) - Static method in class dk.brics.tajs.lattice.ScopeChain: Returns the least upper bound of the two scope chains.
add(WorkList<CallContextType>.Entry) - Method in class dk.brics.tajs.solver.WorkList: Adds an entry.
add(V) - Method in class dk.brics.tajs.util.HybridArrayHashSet
addAll(Collection<? extends V>) - Method in class dk.brics.tajs.util.HybridArrayHashSet
addAllToMapSet(Map<T1, Set<T2>>, T1, Collection<T2>) - Static method in class dk.brics.tajs.util.Collections: Adds elements to a map of sets.
addBlock(BasicBlock) - Method in class dk.brics.tajs.flowgraph.FlowGraph: Adds a block to this flow graph.
addBlock(BasicBlock) - Method in class dk.brics.tajs.flowgraph.Function: Adds a basic block to the function.
addCallback(Function, CallbackKind) - Method in class dk.brics.tajs.flowgraph.FlowGraph: Adds the given callback to the flow graph.
addContextSensitivity(Function, Collection<String>, State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Method in class dk.brics.tajs.analysis.SpecialArgs: Makes a single function f context sensitive on the parameters args.
addDefinitelySummarized(ObjectLabel) - Method in class dk.brics.tajs.lattice.Summarized: Adds the specified object label as definitely summarized.
addFunction(Function) - Method in class dk.brics.tajs.flowgraph.FlowGraph: Adds the given function to the flow graph.
addInitialState(BasicBlock, GenericSolver<State, CallContext, CallEdge<State>, ?, ?>.SolverInterface, Document) - Method in class dk.brics.tajs.analysis.InitialStateBuilder: Sets up the initial state.
addInitialState(BasicBlock, GenericSolver<BlockStateType, CallContextType, CallEdgeType, ?, ?>.SolverInterface, Document) - Method in interface dk.brics.tajs.solver.IInitialStateBuilder: Builds the initial state.
addLibrary(String) - Static method in class dk.brics.tajs.options.Options: Add a file to the set of ignored library files.
addMessage(AbstractNode, Message.Severity, String) - Method in class dk.brics.tajs.monitoring.Monitoring: Adds a message for the given node.
addMessage(AbstractNode, Message.Severity, String, String) - Method in class dk.brics.tajs.monitoring.Monitoring: Adds a message for the given node.
addMessageInfo(AbstractNode, Message.Severity, String) - Method in class dk.brics.tajs.monitoring.Monitoring: Adds a message for the given node.
addNode(AbstractNode) - Method in class dk.brics.tajs.flowgraph.BasicBlock: Adds a node to this block.
addSuccessor(BasicBlock) - Method in class dk.brics.tajs.flowgraph.BasicBlock: Adds a successor.
addTarget(AbstractNode, CallContextType, BasicBlock, CallContextType, CallEdgeType, SolverSynchronizer) - Method in class dk.brics.tajs.solver.CallGraph: Adds an edge from the given call node to the given function.
addToDefaultMayMap(String, Collection<ObjectLabel>) - Method in class dk.brics.tajs.lattice.StateExtras: Adds the given object labels to the 'default' of the map identified by name.
addToMapList(Map<T1, List<T2>>, T1, T2) - Static method in class dk.brics.tajs.util.Collections: Adds an element to a map of lists.
addToMapSet(Map<T1, Set<T2>>, T1, T2) - Static method in class dk.brics.tajs.util.Collections: Adds an element to a map of sets.
addToMayMap(String, String, Collection<ObjectLabel>) - Method in class dk.brics.tajs.lattice.StateExtras: Adds the given key and set of object labels to the map identified by name.
addToMaySet(String, Collection<ObjectLabel>) - Method in class dk.brics.tajs.lattice.StateExtras: Adds a collection of object labels to a named may set.
addToMustSet(String, Collection<ObjectLabel>) - Method in class dk.brics.tajs.lattice.StateExtras: Adds a collection of object labels to the named must set.
addToScopeChain(ScopeChain) - Method in class dk.brics.tajs.lattice.Obj: Adds to the internal [[Scope]] property.
addToSpecialArgs(Function, String) - Method in class dk.brics.tajs.analysis.SpecialArgs: Add elements to the map for context sensitivity.
addVariableName(String) - Method in class dk.brics.tajs.flowgraph.Function: Adds a variable name (only during flow graph construction).
Analysis - Class in dk.brics.tajs.analysis: Encapsulation of the analysis using State, CallContext, Monitoring, Solver, InitialStateBuilder, Transfer, WorkListStrategy, Monitoring, and NativeFunctions.
Analysis(SolverSynchronizer) - Constructor for class dk.brics.tajs.analysis.Analysis: Constructs a new analysis object.
AnalysisException - Exception in dk.brics.tajs.util: Exception for internal analysis errors.
AnalysisException() - Constructor for exception dk.brics.tajs.util.AnalysisException: Constructs a new exeption.
AnalysisException(String) - Constructor for exception dk.brics.tajs.util.AnalysisException: Constructs a new exeption.
AnalysisException(Throwable) - Constructor for exception dk.brics.tajs.util.AnalysisException: Constructs a new exeption.
AnalysisException(String, Throwable) - Constructor for exception dk.brics.tajs.util.AnalysisException: Constructs a new exeption.
AnalysisLatticeElement<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> - Class in dk.brics.tajs.lattice: Global analysis lattice element.
AnalysisLatticeElement(FlowGraph) - Constructor for class dk.brics.tajs.lattice.AnalysisLatticeElement: Constructs a new global analysis lattice element.
AnalyzerCallback - Interface in dk.brics.tajs.unevalizer: The interface that the Unevalizer uses for querying the driving analysis.
and(Value, int, Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.10&
anyDeclared(Set<String>) - Method in interface dk.brics.tajs.unevalizer.AnalyzerCallback: Returns true if any variable in the set s might be a declared variable.
apply(Map<ObjectLabel, ObjectLabel>, ObjectLabel) - Static method in class dk.brics.tajs.lattice.Renaming: Renames the given object label according to the map.
apply(Map<ObjectLabel, ObjectLabel>, Set<ObjectLabel>) - Static method in class dk.brics.tajs.lattice.Renaming: Renames the given object labels according to the map.
apply(Map<ObjectLabel, ObjectLabel>, PropertyReference) - Static method in class dk.brics.tajs.lattice.Renaming: Renames the given property reference according to the map.
ARRAY_PROTOTYPE - Static variable in class dk.brics.tajs.analysis.InitialStateBuilder: Object label for Array.prototype.
assertEmpty() - Method in class dk.brics.tajs.solver.CallDependencies: Checks whether all functions are inactive.
assertNonEmpty() - Method in class dk.brics.tajs.lattice.Value: Checks that this value is non-empty (or polymorphic).
AssumeNode - Class in dk.brics.tajs.flowgraph.jsnodes: Assume node.
AssumeNode.Kind - Enum in dk.brics.tajs.flowgraph.jsnodes: The different kinds of assume node.

B

baseVal - Variable in class dk.brics.tajs.js2flowgraph.FlowGraphEnv
BasicBlock - Class in dk.brics.tajs.flowgraph: Sequence of nodes.
BasicBlock(Function) - Constructor for class dk.brics.tajs.flowgraph.BasicBlock: Constructs a new initially empty block of nodes.
BeginForInNode - Class in dk.brics.tajs.flowgraph.jsnodes: Begin for-in node.
BeginForInNode(int, int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.BeginForInNode: Constructs a new begin for-in node.
beginScanPhase(FlowGraph) - Method in class dk.brics.tajs.monitoring.Monitoring
beginScanPhase(FlowGraph) - Method in interface dk.brics.tajs.solver.IMonitoring: Initializes messages.
BinaryOperatorNode - Class in dk.brics.tajs.flowgraph.jsnodes: Binary operator node.
BinaryOperatorNode(BinaryOperatorNode.Op, int, int, int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.BinaryOperatorNode: Constructs a new binary operator node.
BinaryOperatorNode.Op - Enum in dk.brics.tajs.flowgraph.jsnodes: The different kinds of binary operators.
BlockAndContext<CallContextType extends ICallContext<?>> - Class in dk.brics.tajs.solver: Pair of a basic block and a call context.
BlockAndContext(BasicBlock, CallContextType) - Constructor for class dk.brics.tajs.solver.BlockAndContext: Constructs a new pair.
BlockState<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> - Class in dk.brics.tajs.lattice: Abstract state for block entries.
BlockState(GenericSolver<BlockStateType, CallContextType, CallEdgeType, ?, ?>.SolverInterface, BasicBlock) - Constructor for class dk.brics.tajs.lattice.BlockState: Constructs a new none-state (representing the empty set of concrete states).
BlockState(BlockState<BlockStateType, CallContextType, CallEdgeType>) - Constructor for class dk.brics.tajs.lattice.BlockState: Constructs a new state as a copy of the given state.
BlockState.Properties - Class in dk.brics.tajs.lattice
BlockState.Properties() - Constructor for class dk.brics.tajs.lattice.BlockState.Properties
Bool - Interface in dk.brics.tajs.lattice: 'Boolean' facet for abstract values.
BOOLEAN_PROTOTYPE - Static variable in class dk.brics.tajs.analysis.InitialStateBuilder: Object label for Boolean.prototype.
breakBlock - Variable in class dk.brics.tajs.js2flowgraph.FlowGraphEnv
build(String) - Method in class dk.brics.tajs.htmlparser.HTMLParser
buildFromFiles(List<String>) - Method in class dk.brics.tajs.js2flowgraph.RhinoASTToFlowgraph: Builds a flow graph for a list of source files.
buildFromSources(List<HtmlSource>, List<JavaScriptSource>, List<JavaScriptSource>) - Method in class dk.brics.tajs.js2flowgraph.RhinoASTToFlowgraph: Builds a flow graph for a list of sources gathered from an HTML file.

C

CallbackKind - Enum in dk.brics.tajs.flowgraph
CallContext - Class in dk.brics.tajs.analysis: Call context for context sensitive analysis.
CallContext(State, Function) - Constructor for class dk.brics.tajs.analysis.CallContext: Constructs a new initial context.
CallContext(State, Function, CallContext, AbstractNode, String, SpecialArgs) - Constructor for class dk.brics.tajs.analysis.CallContext: Constructs a new context.
CallConversionNode - Class in dk.brics.tajs.flowgraph.jsnodes: Call to toString or valueOf conversion.
CallConversionNode(CallConversionNode.Kind, CallConversionNode.Sequence, int, int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.CallConversionNode: Constructs a new conversion call node.
CallConversionNode.Kind - Enum in dk.brics.tajs.flowgraph.jsnodes
CallConversionNode.Sequence - Enum in dk.brics.tajs.flowgraph.jsnodes
CallDependencies<CallContextType extends ICallContext<CallContextType>> - Class in dk.brics.tajs.solver: Keeps track of call edges that await return flow.
CallDependencies() - Constructor for class dk.brics.tajs.solver.CallDependencies
CallEdge<BlockStateType extends BlockState<?,?,?>> - Class in dk.brics.tajs.lattice: Information stored at an edge in a call graph.
CallEdge(BlockStateType) - Constructor for class dk.brics.tajs.lattice.CallEdge: Constructs a new edge object.
callEdgeAdded(Function, Function) - Method in class dk.brics.tajs.solver.SolverSynchronizer: Callback, invoked when a call edge is added.
callFunction(FunctionCalls.CallInfo, State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.FunctionCalls: Enters a function described by a CallInfo.
CallGraph<BlockStateType extends IBlockState<BlockStateType,?,CallEdgeType>,CallContextType extends ICallContext<?>,CallEdgeType extends ICallEdge<BlockStateType>> - Class in dk.brics.tajs.solver: Call graph.
CallGraph() - Constructor for class dk.brics.tajs.solver.CallGraph: Constructs a new initially empty call graph.
CallNode - Class in dk.brics.tajs.flowgraph.jsnodes: Call/construct node.
CallNode(boolean, boolean, int, int, int, List<Integer>, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.CallNode: Constructs a new call/construct node.
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.AbstractNode: Returns true if this node may throw exceptions.
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.BasicBlock: Returns true if this block contains a node that may throw exceptions.
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.AssumeNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.BeginForInNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.BinaryOperatorNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.CallConversionNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.CallNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.CatchNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.ConstantNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.DeclareFunctionNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.DeclareVariableNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.DeletePropertyNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.EndForInNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.EnterWithNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.EventDispatcherNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.EventEntryNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.ExceptionalReturnNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.HasNextPropertyNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.IfNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.LeaveWithNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.NewObjectNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.NextPropertyNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.NopNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.ReadPropertyNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.ReadVariableNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.ReturnNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.ThrowNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.TypeofNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.UnaryOperatorNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.WritePropertyNode
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.WriteVariableNode
CatchNode - Class in dk.brics.tajs.flowgraph.jsnodes: Catch node.
CatchNode(String, int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.CatchNode: Constructs a new catch node where the exception is stored in a program variable.
CatchNode(int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.CatchNode: Construct a new catch node where the exception is stored in a register.
chargeCallEdge(AbstractNode, CallContextType, Function, CallContextType) - Method in class dk.brics.tajs.solver.CallDependencies: Records a call edge that awaits return flow.
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.AbstractNode: Perform a consistency check of this node.
check(BasicBlock, BasicBlock, Set<Integer>, Set<Integer>) - Method in class dk.brics.tajs.flowgraph.BasicBlock: Perform a consistency check of the basic block.
check() - Method in class dk.brics.tajs.flowgraph.FlowGraph: Perform a consistency check of the flow graph (if in debug or test mode).
check(Function, Set<Integer>, Set<Integer>, Set<Integer>) - Method in class dk.brics.tajs.flowgraph.Function: Perform a consistency check of the function.
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.AssumeNode
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.BeginForInNode
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.BinaryOperatorNode
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.CallConversionNode
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.CallNode
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.CatchNode
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.DeclareFunctionNode
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.DeclareVariableNode
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.DeletePropertyNode
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.EndForInNode
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.EnterWithNode
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.EventDispatcherNode
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.HasNextPropertyNode
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.IfNode
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.NextPropertyNode
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.ReadPropertyNode
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.ReadVariableNode
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.TypeofNode
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.UnaryOperatorNode
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.WritePropertyNode
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.WriteVariableNode
check() - Method in class dk.brics.tajs.lattice.AnalysisLatticeElement
check() - Method in class dk.brics.tajs.lattice.BlockState: Checks that this state is consistent.
check() - Method in interface dk.brics.tajs.solver.IAnalysisLatticeElement: Checks that all states are consistent.
check() - Method in interface dk.brics.tajs.solver.IBlockState: Checks that this state is consistent.
checkNoDanglingRefs() - Method in class dk.brics.tajs.lattice.BlockState: Checks for dangling references.
checkOwner(BasicBlock, CallContextType) - Method in class dk.brics.tajs.lattice.BlockState: Checks that the owner block and context are the given.
clear() - Method in class dk.brics.tajs.lattice.Summarized: Clears the sets.
clear() - Method in class dk.brics.tajs.util.HybridArrayHashMap
clear() - Method in class dk.brics.tajs.util.HybridArrayHashSet
clear() - Method in class dk.brics.tajs.util.InjectiveMap
clearCache() - Static method in class dk.brics.tajs.lattice.ScopeChain: Clears the canonicalization cache.
clearEffects() - Method in class dk.brics.tajs.lattice.BlockState: Clears effects and summarized sets (for function entry).
clearModified() - Method in class dk.brics.tajs.lattice.Obj: Clears modified flags for all values.
clearOrdinaryRegisters() - Method in class dk.brics.tajs.lattice.BlockState: Clears the registers, starting from AbstractNode.FIRST_ORDINARY_REG, and excluding property list values.
clearRegisters() - Method in class dk.brics.tajs.lattice.BlockState: Clears all registers.
clone() - Method in class dk.brics.tajs.analysis.State
clone() - Method in class dk.brics.tajs.lattice.BlockState: Constructs a new state as a copy of this state.
clone() - Method in class dk.brics.tajs.lattice.ExecutionContext
clone() - Method in interface dk.brics.tajs.solver.IBlockState: Constructs a new state as a copy of this state.
close() - Method in class dk.brics.tajs.js2flowgraph.RhinoASTToFlowgraph: Finishes the flow graph being constructed by this builder and returns the flow graph.
Collections - Class in dk.brics.tajs.util: Miscellaneous collection construction methods.
compare(IWorkListStrategy.IEntry<CallContext>, IWorkListStrategy.IEntry<CallContext>) - Method in class dk.brics.tajs.analysis.WorkListStrategy
compare(IWorkListStrategy.IEntry<CallContextType>, IWorkListStrategy.IEntry<CallContextType>) - Method in interface dk.brics.tajs.solver.IWorkListStrategy: Compares two work list entries.
compare(Map.Entry<K, V>, Map.Entry<K, V>) - Method in class dk.brics.tajs.util.MapEntryComparator
compareTo(SourceLocation) - Method in class dk.brics.tajs.flowgraph.SourceLocation: Compares source locations first by file name, then by line number, and finally by column number.
compareTo(ObjectLabel) - Method in class dk.brics.tajs.lattice.ObjectLabel: Compares this and the given object label.
compareTo(Message) - Method in class dk.brics.tajs.solver.Message: Compares this and the given message.
compareTo(WorkList<CallContextType>.Entry) - Method in class dk.brics.tajs.solver.WorkList.Entry: Compares this and the given entry.
complement(Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.4.8 ~ (bitwise not)
complete() - Method in class dk.brics.tajs.flowgraph.FlowGraph: Runs complete on all the functions in the flow graph.
complete() - Method in class dk.brics.tajs.flowgraph.Function: Sets the block orders.
ConstantNode - Class in dk.brics.tajs.flowgraph.jsnodes: Constant node.
ConstantNode.Type - Enum in dk.brics.tajs.flowgraph.jsnodes: The different kinds of constant values.
contains(Object) - Method in class dk.brics.tajs.util.HybridArrayHashSet
containsAll(Collection<?>) - Method in class dk.brics.tajs.util.HybridArrayHashSet
containsKey(Object) - Method in class dk.brics.tajs.util.HybridArrayHashMap
containsKey(Object) - Method in class dk.brics.tajs.util.InjectiveMap
containsValue(Object) - Method in class dk.brics.tajs.util.HybridArrayHashMap
containsValue(Object) - Method in class dk.brics.tajs.util.InjectiveMap
continueBlock - Variable in class dk.brics.tajs.js2flowgraph.FlowGraphEnv
Conversion - Class in dk.brics.tajs.analysis: Type conversions for abstract values (Chapter 9).
Conversion.Hint - Enum in dk.brics.tajs.analysis: Preferred type for conversion.
copyAndGiveUniquePnodes(int) - Method in class dk.brics.tajs.js2flowgraph.FlowGraphEnv
copyAndInitializeForCopy(BasicBlock) - Method in class dk.brics.tajs.js2flowgraph.FlowGraphEnv
copyAndUpdateBaseObj(int) - Method in class dk.brics.tajs.js2flowgraph.FlowGraphEnv
copyBlocks - Variable in class dk.brics.tajs.js2flowgraph.FlowGraphEnv
copyUnknowns(BlockState<BlockStateType, CallContextType, CallEdgeType>) - Method in class dk.brics.tajs.lattice.BlockState: Copies the calledge state the current state.
createPrimitiveConstructor(State, ObjectLabel, ObjectLabel, ObjectLabel, ObjectLabel, String, int) - Static method in class dk.brics.tajs.analysis.InitialStateBuilder: Creates a new built-in constructor.
createPrimitiveFunction(State, ObjectLabel, ObjectLabel, HostObject, String, int) - Static method in class dk.brics.tajs.analysis.InitialStateBuilder: Creates a new built-in function.

D

DATE_PROTOTYPE - Static variable in class dk.brics.tajs.analysis.InitialStateBuilder: Object label for Date.prototype.
declareAndWriteVariable(String, Value, boolean) - Method in class dk.brics.tajs.lattice.BlockState: Declares the given variable (or function) and assigns the given value to it.
declareFunction(DeclareFunctionNode, State) - Static method in class dk.brics.tajs.analysis.js.UserFunctionCalls: Declares a function.
DeclareFunctionNode - Class in dk.brics.tajs.flowgraph.jsnodes: Function declaration/expression node.
DeclareFunctionNode(Function, boolean, int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.DeclareFunctionNode: Constructs a new function declaration node.
DeclareVariableNode - Class in dk.brics.tajs.flowgraph.jsnodes: Variable declaration node.
DeclareVariableNode(String, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.DeclareVariableNode: Constructs a new variable declaration node.
declsBB - Variable in class dk.brics.tajs.js2flowgraph.FlowGraphEnv
Decorator - Class in dk.brics.tajs.analysis.uneval
Decorator(FlowGraph) - Constructor for class dk.brics.tajs.analysis.uneval.Decorator
decrementFunctionActivityLevel(Function, CallContextType) - Method in class dk.brics.tajs.solver.CallDependencies: Decrements the function activity level for the given function and context.
default_read - Variable in class dk.brics.tajs.monitoring.ObjReadsWrites
default_written - Variable in class dk.brics.tajs.monitoring.ObjReadsWrites
deleteProperty(Collection<ObjectLabel>, Str) - Method in class dk.brics.tajs.lattice.BlockState: Deletes the given property.
DeletePropertyNode - Class in dk.brics.tajs.flowgraph.jsnodes: Delete property node.
DeletePropertyNode(int, int, int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.DeletePropertyNode: Constructs a new delete property node for a reference with variable property name.
DeletePropertyNode(int, String, int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.DeletePropertyNode: Constructs a new delete property node for a reference with fixed property name.
DeletePropertyNode(String, int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.DeletePropertyNode: Constructs a new delete property node for a variable.
deleteVariable(String) - Method in class dk.brics.tajs.lattice.BlockState: Deletes the given variable.
describe() - Method in class dk.brics.tajs.lattice.ObjectLabel: Produces a human readable description of this object label.
describe() - Static method in class dk.brics.tajs.options.Options: Returns a description of the available options.
determineThis(AbstractNode, State, State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface, boolean, int) - Static method in class dk.brics.tajs.analysis.js.UserFunctionCalls: Determines the value of 'this' when entering a function (other than call/apply and other than constructor call to host function).
diff(State) - Method in class dk.brics.tajs.analysis.State
diff(BlockState<BlockStateType, CallContextType, CallEdgeType>) - Method in class dk.brics.tajs.lattice.BlockState: Returns a string description of the differences between this state and the given one.
diff(Obj, StringBuilder) - Method in class dk.brics.tajs.lattice.Obj: Returns a description of the changes from the old object to this object.
diff(Value, StringBuilder) - Method in class dk.brics.tajs.lattice.Value: Returns a description of the changes from the old value to this value.
diff(BlockStateType) - Method in interface dk.brics.tajs.solver.IBlockState: Returns a description of the changes from the old state to this state.
diff(Map<K, V>, Map<K, V>) - Static method in class dk.brics.tajs.util.Collections: Returns a string description of the differences between the two maps.
disableAjaxReturnsJson() - Static method in class dk.brics.tajs.options.Options: Assume AJAX returns anything.
disableAlwaysCanPut() - Static method in class dk.brics.tajs.options.Options: Do not assume [[CanPut]] always works.
disableCallgraph() - Static method in class dk.brics.tajs.options.Options: Disable callgraph dumping.
disableCollectVariableInfo() - Static method in class dk.brics.tajs.options.Options: Disable variable information collection.
disableCorrelationTracking() - Static method in class dk.brics.tajs.options.Options: Disable correlation tracking.
disableDebug() - Static method in class dk.brics.tajs.options.Options: Disable debug mode.
disableDSL() - Static method in class dk.brics.tajs.options.Options: Disable the DOM DSL.
disableFlowgraph() - Static method in class dk.brics.tajs.options.Options: Disable flowgraph dumping.
disableFlowgraphOptimization() - Static method in class dk.brics.tajs.options.Options: Disable flow graph optimization.
disableIgnoreHTMLContent() - Static method in class dk.brics.tajs.options.Options: Do not ignore HTML content.
disableIgnoreLibraries() - Static method in class dk.brics.tajs.options.Options: Do not ignore libraries.
disableIncludeDom() - Static method in class dk.brics.tajs.options.Options: Disable DOM model.
disableLowSeverity() - Static method in class dk.brics.tajs.options.Options: Do not print low severity messages.
disableMemoryUsage() - Static method in class dk.brics.tajs.options.Options: Disable memory usage statistics.
disableNewflow() - Static method in class dk.brics.tajs.options.Options: Disable reporting summaries at flow edges.
disableNoChargedCalls() - Static method in class dk.brics.tajs.options.Options: Disables no charged calls.
disableNoContextSensitivity() - Static method in class dk.brics.tajs.options.Options: Enable context sensitivity.
disableNoCopyOnWrite() - Static method in class dk.brics.tajs.options.Options: Enable copy on write.
disableNoExceptions() - Static method in class dk.brics.tajs.options.Options: Disable ignoring exceptions.
disableNoGc() - Static method in class dk.brics.tajs.options.Options: Enable abstract garbage collection.
disableNoHybridCollections() - Static method in class dk.brics.tajs.options.Options: Enable hybrid collections.
disableNoLazy() - Static method in class dk.brics.tajs.options.Options: Enable lazy propagation.
disableNoLocalPathSensitivity() - Static method in class dk.brics.tajs.options.Options: Disable local path sensitivity.
disableNoModified() - Static method in class dk.brics.tajs.options.Options: Enable modified flags.
disableNoRecency() - Static method in class dk.brics.tajs.options.Options: Enable recency abstraction.
disableOldFlowgraphBuilder() - Static method in class dk.brics.tajs.options.Options: Disable the old flow graph builder.
disablePolymorphic() - Static method in class dk.brics.tajs.options.Options: Disable polymorphic values.
disablePropagateDeadFlow() - Static method in class dk.brics.tajs.options.Options: Disable propagation of dead data flow.
disableQuiet() - Static method in class dk.brics.tajs.options.Options: Disable quiet mode.
disableRenaming() - Static method in class dk.brics.tajs.options.Options: Disable renaming.
disableSingleEventHandlerLoop() - Static method in class dk.brics.tajs.options.Options: Disable single event handler loop.
disableSingleEventHandlerType() - Static method in class dk.brics.tajs.options.Options: Disable single event handler type.
disableStates() - Static method in class dk.brics.tajs.options.Options: Disable output of intermediate states.
disableStatistics() - Static method in class dk.brics.tajs.options.Options: Disable variable statistics.
disableTest() - Static method in class dk.brics.tajs.options.Options: Disable test mode.
disableTestFlowGraphBuilder() - Static method in class dk.brics.tajs.options.Options: Disable testing of flow graph builder.
disableTiming() - Static method in class dk.brics.tajs.options.Options: Disable timing of TAJS.
disableUnevalMode() - Static method in class dk.brics.tajs.options.Options: Disable uneval mode.
disableUnrollOneAndAHalf() - Static method in class dk.brics.tajs.options.Options: Disable 1 1/2 loop unrolling.
disableUnsound() - Static method in class dk.brics.tajs.options.Options: Disable unsound shortcuts.
dischargeCallEdge(AbstractNode, CallContextType, Function, CallContextType) - Method in class dk.brics.tajs.solver.CallDependencies: Discharges return flow for a call edge.
div(Value, int, Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.5.2 /
dk.brics.tajs - package dk.brics.tajs: Main entry of the program analysis.
dk.brics.tajs.analysis - package dk.brics.tajs.analysis: Ties together the various parts of the analysis.
dk.brics.tajs.analysis.js - package dk.brics.tajs.analysis.js: Transfer functions for JavaScript-specific primitive instructions and operators.
dk.brics.tajs.analysis.nativeobjects - package dk.brics.tajs.analysis.nativeobjects: Transfer functions for native function objects.
dk.brics.tajs.analysis.uneval - package dk.brics.tajs.analysis.uneval: Transformation of eval calls.
dk.brics.tajs.flowgraph - package dk.brics.tajs.flowgraph: Representation of flow graphs.
dk.brics.tajs.flowgraph.jsnodes - package dk.brics.tajs.flowgraph.jsnodes: Flow graph nodes for modeling JavaScript source code.
dk.brics.tajs.htmlparser - package dk.brics.tajs.htmlparser: HTML parser.
dk.brics.tajs.js2flowgraph - package dk.brics.tajs.js2flowgraph: Construction of flow graphs from JavaScript code.
dk.brics.tajs.lattice - package dk.brics.tajs.lattice: Representation of the analysis lattice.
dk.brics.tajs.monitoring - package dk.brics.tajs.monitoring: Information collected during and after the analysis fixpoint computation.
dk.brics.tajs.options - package dk.brics.tajs.options: Global analysis options.
dk.brics.tajs.solver - package dk.brics.tajs.solver: Generic fixpoint solver for flow graphs.
dk.brics.tajs.unevalizer - package dk.brics.tajs.unevalizer: The Unevalizer.
dk.brics.tajs.util - package dk.brics.tajs.util: Collection classes and other utilities.
DOMEventHelpers - Class in dk.brics.tajs.htmlparser
DOMEventHelpers() - Constructor for class dk.brics.tajs.htmlparser.DOMEventHelpers
dump() - Static method in class dk.brics.tajs.options.Options: Prints the settings (if in debug mode).

E

ECMAScriptFunctions - Class in dk.brics.tajs.analysis.nativeobjects: Encapsulation of transfer functions for ECMAScript native functions.
ECMAScriptFunctions() - Constructor for class dk.brics.tajs.analysis.nativeobjects.ECMAScriptFunctions
ECMAScriptObjects - Enum in dk.brics.tajs.analysis.nativeobjects: Native ECMAScript object descriptors.
EdgeTransfer - Class in dk.brics.tajs.analysis.js: Transfer for flow graph edges.
EdgeTransfer() - Constructor for class dk.brics.tajs.analysis.js.EdgeTransfer: Constructs a new EdgeTransfer object.
enableAjaxReturnsJson() - Static method in class dk.brics.tajs.options.Options: Assume AJAX returns JSON data.
enableAlwaysCanPut() - Static method in class dk.brics.tajs.options.Options: Assume [[CanPut]] always works.
enableCallgraph() - Static method in class dk.brics.tajs.options.Options: Enable callgraph dumping.
enableCollectVariableInfo() - Static method in class dk.brics.tajs.options.Options: Enable variable information collection.
enableCorrelationTracking() - Static method in class dk.brics.tajs.options.Options: Enable correlation tracking.
enableDebug() - Static method in class dk.brics.tajs.options.Options: Enable debug mode.
enableDSL() - Static method in class dk.brics.tajs.options.Options: Enable the DOM DSL.
enableFlowgraph() - Static method in class dk.brics.tajs.options.Options: Enable flowgraph dumping.
enableFlowgraphOptimization() - Static method in class dk.brics.tajs.options.Options: Enable flow graph optimization.
enableIgnoreHTMLContent() - Static method in class dk.brics.tajs.options.Options: Ignore HTML content.
enableIgnoreLibraries() - Static method in class dk.brics.tajs.options.Options: Ignore libraries.
enableIncludeDom() - Static method in class dk.brics.tajs.options.Options: Enable DOM model.
enableLowSeverity() - Static method in class dk.brics.tajs.options.Options: Print low severity messages.
enableMemoryUsage() - Static method in class dk.brics.tajs.options.Options: Enable memory usage statistics.
enableNewflow() - Static method in class dk.brics.tajs.options.Options: Enable reporting summaries at flow edges.
enableNoChargedCalls() - Static method in class dk.brics.tajs.options.Options: Enables no charged calls.
enableNoContextSensitivity() - Static method in class dk.brics.tajs.options.Options: Disable context sensitivity.
enableNoCopyOnWrite() - Static method in class dk.brics.tajs.options.Options: Disable copy on write.
enableNoExceptions() - Static method in class dk.brics.tajs.options.Options: Enable ignoring exceptions.
enableNoGc() - Static method in class dk.brics.tajs.options.Options: Disable abstract garbage collection.
enableNoHybridCollections() - Static method in class dk.brics.tajs.options.Options: Disable hybrid collections.
enableNoLazy() - Static method in class dk.brics.tajs.options.Options: Disable lazy propagation.
enableNoLocalPathSensitivity() - Static method in class dk.brics.tajs.options.Options: Disable local path sensitivity.
enableNoModified() - Static method in class dk.brics.tajs.options.Options: Disable modified flags.
enableNoRecency() - Static method in class dk.brics.tajs.options.Options: Disable recency abstraction.
enableOldFlowgraphBuilder() - Static method in class dk.brics.tajs.options.Options: Enable the old flow graph builder.
enablePolymorphic() - Static method in class dk.brics.tajs.options.Options: Enable polymorphic values.
enablePropagateDeadFlow() - Static method in class dk.brics.tajs.options.Options: Enable propagation of dead data flow.
enableQuiet() - Static method in class dk.brics.tajs.options.Options: Enable quiet mode.
enableRenaming() - Static method in class dk.brics.tajs.options.Options: Enable renaming.
enableSingleEventHandlerLoop() - Static method in class dk.brics.tajs.options.Options: Enable single event handler loop.
enableSingleEventHandlerType() - Static method in class dk.brics.tajs.options.Options: Enable single event handler type.
enableStates() - Static method in class dk.brics.tajs.options.Options: Enable output of intermediate states.
enableStatistics() - Static method in class dk.brics.tajs.options.Options: Enable variable statistics.
enableTest() - Static method in class dk.brics.tajs.options.Options: Avoid nondeterministic output.
enableTestFlowGraphBuiler() - Static method in class dk.brics.tajs.options.Options: Enable testing of flow graph builder.
enableTiming() - Static method in class dk.brics.tajs.options.Options: Enable timing of TAJS.
enableUnevalMode() - Static method in class dk.brics.tajs.options.Options: Enable uneval mode.
enableUnrollOneAndAHalf() - Static method in class dk.brics.tajs.options.Options: Enable 1 1/2 loop unrolling.
enableUnsound() - Static method in class dk.brics.tajs.options.Options: Enable unsound shortcuts.
EndForInNode - Class in dk.brics.tajs.flowgraph.jsnodes: End for-in node.
EndForInNode(BeginForInNode, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.EndForInNode: Constructs a new end for-in node.
endScanPhase(FlowGraph) - Method in class dk.brics.tajs.monitoring.Monitoring: Finalizes messages by adding messages about unreachable code/functions, unused variables and parameters, dead assignments, and shadowing declarations.
endScanPhase(FlowGraph) - Method in interface dk.brics.tajs.solver.IMonitoring: Finalizes messages.
enterUserFunction(ObjectLabel, FunctionCalls.CallInfo, State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.UserFunctionCalls: Enters a user-defined function.
EnterWithNode - Class in dk.brics.tajs.flowgraph.jsnodes: Enter-with node.
EnterWithNode(int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.EnterWithNode: Constructs a new enter-with node.
entrySet() - Method in class dk.brics.tajs.util.HybridArrayHashMap
entrySet() - Method in class dk.brics.tajs.util.InjectiveMap
eq(Value, int, Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.9.1 ==
equals(Object) - Method in class dk.brics.tajs.analysis.CallContext
equals(Object) - Method in class dk.brics.tajs.analysis.uneval.NormalForm
equals(Object) - Method in class dk.brics.tajs.flowgraph.SourceLocation: Checks whether this and the given object represent the same source location.
equals(Object) - Method in class dk.brics.tajs.lattice.BlockState: Checks whether the given state is equal to this one.
equals(Object) - Method in class dk.brics.tajs.lattice.BlockState.Properties
equals(Object) - Method in class dk.brics.tajs.lattice.ExecutionContext: Checks whether the given execution context is equal to this one.
equals(Object) - Method in class dk.brics.tajs.lattice.Obj: Checks whether the given abstract object is equal to this one.
equals(Object) - Method in class dk.brics.tajs.lattice.ObjectLabel: Checks whether the given object label is equal to this one.
equals(Object) - Method in class dk.brics.tajs.lattice.PropertyReference: Indicates whether some other object is equal to this one.
equals(Object) - Method in class dk.brics.tajs.lattice.ScopeChain: Checks whether the given scope chain is equal to this one.
equals(Object) - Method in class dk.brics.tajs.lattice.StateExtras
equals(Object) - Method in class dk.brics.tajs.lattice.Summarized: Indicates whether some other object is equal to this one.
equals(Object) - Method in class dk.brics.tajs.lattice.Value: Checks whether the given object is equal to this one.
equals(Object) - Method in class dk.brics.tajs.monitoring.ObjReadsWrites
equals(Object) - Method in class dk.brics.tajs.monitoring.TypeCollector.VariableSummary
equals(Object) - Method in class dk.brics.tajs.solver.BlockAndContext: Checks whether this object and the given object are equal.
equals(Object) - Method in interface dk.brics.tajs.solver.ICallContext: Checks whether this context is equal to the given object.
equals(Object) - Method in class dk.brics.tajs.solver.Message: Checks whether this message is equal to the given.
equals(Object) - Method in class dk.brics.tajs.solver.NodeAndContext: Checks whether this object and the given object are equal.
equals(Object) - Method in class dk.brics.tajs.solver.WorkList.Entry: Checks whether this entry is equal to the given one.
equals(Object) - Method in class dk.brics.tajs.util.HybridArrayHashMap
equals(Object) - Method in class dk.brics.tajs.util.HybridArrayHashSet
equals(Object) - Method in class dk.brics.tajs.util.InjectiveMap
equals(Object) - Method in class dk.brics.tajs.util.MapEntry
equals(Object) - Method in class dk.brics.tajs.util.Pair
ERROR_PROTOTYPE - Static variable in class dk.brics.tajs.analysis.InitialStateBuilder: Object label for Error.prototype.
escape(String) - Static method in class dk.brics.tajs.util.Strings: Escapes special characters in the given string.
escapeSource(String) - Static method in class dk.brics.tajs.util.Strings: Escapes quotes and special characters in the (Javascript source) string.
EVAL_ERROR_PROTOTYPE - Static variable in class dk.brics.tajs.analysis.InitialStateBuilder: Object label for EvalError.prototype.
EvalCache - Class in dk.brics.tajs.analysis: Cache for the unevalizer.
EvalCache() - Constructor for class dk.brics.tajs.analysis.EvalCache: Constructs a new uneval cache.
evalResultMap - Variable in class dk.brics.tajs.js2flowgraph.FlowGraphEnv
evaluate(HostObject, FunctionCalls.CallInfo, State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in enum dk.brics.tajs.analysis.HostAPIs
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.ECMAScriptFunctions: Evaluates the given native ECMAScript function.
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSArray: Evaluates the given native function.
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSBoolean: Evaluates the given native function.
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSDate: Evaluates the given native function.
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSError: Evaluates the given native function.
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSFunction: Evaluates the given native function.
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSGlobal: Evaluates the given native function.
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSMath: Evaluates the given native function.
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSNumber: Evaluates the given native function.
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSObject: Evaluates the given native function.
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSRegExp: Evaluates the given native function.
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSString: Evaluates the given native function.
evaluateGetter(HostObject, ObjectLabel, String, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.NativeFunctions
evaluateSetter(HostObject, ObjectLabel, String, Value, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.NativeFunctions
EventDispatcherNode - Class in dk.brics.tajs.flowgraph.jsnodes: Event dispatcher node.
EventDispatcherNode(EventDispatcherNode.Type, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.EventDispatcherNode: Constructs a new event dispatcher node.
EventDispatcherNode.Type - Enum in dk.brics.tajs.flowgraph.jsnodes
EventEntryNode - Class in dk.brics.tajs.flowgraph.jsnodes: Event handler entry node.
EventEntryNode(SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.EventEntryNode: Constructs a new event handler entry node.
EXCEPTION_REG - Static variable in class dk.brics.tajs.flowgraph.AbstractNode: Register number used for exception values.
ExceptionalReturnNode - Class in dk.brics.tajs.flowgraph.jsnodes: Return exception node.
ExceptionalReturnNode(SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.ExceptionalReturnNode: Constructs a new exceptional return node.
Exceptions - Class in dk.brics.tajs.analysis: Models exceptions.
ExecutionContext - Class in dk.brics.tajs.lattice: Abstract execution context.
ExecutionContext(ScopeChain, Set<ObjectLabel>, Set<ObjectLabel>) - Constructor for class dk.brics.tajs.lattice.ExecutionContext: Constructs a new execution context.
ExecutionContext() - Constructor for class dk.brics.tajs.lattice.ExecutionContext: Constructs a new empty context.
expectParameters(HostObject, FunctionCalls.CallInfo, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface, int, int) - Static method in class dk.brics.tajs.analysis.NativeFunctions: Issues a warning if the number of parameters is not in the given interval.
extendFlowgraph(FlowGraph, String, String, CallNode, FlowGraphFragment, String) - Method in class dk.brics.tajs.js2flowgraph.RhinoASTToFlowgraph: Dynamically adds a piece of code to the flow graph at the call node n and returns the entry block for the code.
extendFlowgraphWithCallAtNode(FlowGraph, AbstractNode, int) - Method in class dk.brics.tajs.js2flowgraph.RhinoASTToFlowgraph: Dynamically splits a basic block above node n and inserts the code.
extendFlowGraphWithEventHandler(FlowGraph, String, FlowGraphFragment, LoadNode) - Method in class dk.brics.tajs.js2flowgraph.RhinoASTToFlowgraph: Dynamically adds a piece of code to the flow graph at the call node n and returns the entry block for the code.

F

fg - Variable in class dk.brics.tajs.js2flowgraph.FlowGraphEnv
FIRST_ORDINARY_REG - Static variable in class dk.brics.tajs.flowgraph.AbstractNode: First register number used for ordinary values.
FlowGraph - Class in dk.brics.tajs.flowgraph: Flow graph.
FlowGraph() - Constructor for class dk.brics.tajs.flowgraph.FlowGraph: Constructs a new uninitialized flow graph.
FlowGraphEnv - Class in dk.brics.tajs.js2flowgraph: The environment of the flow graph builder which is internal to the module.
FlowGraphEnv(FlowGraph, List<List<BasicBlock>>, List<BasicBlock>, Function, Map<String, Integer>) - Constructor for class dk.brics.tajs.js2flowgraph.FlowGraphEnv
FlowGraphFragment - Class in dk.brics.tajs.flowgraph: A fragment of a flow graph.
FlowGraphFragment(Object, BasicBlock, Function, Collection<Function>, Collection<BasicBlock>, Collection<AbstractNode>) - Constructor for class dk.brics.tajs.flowgraph.FlowGraphFragment: Constructs a flow graph fragment.
freezeBasisStore() - Method in class dk.brics.tajs.lattice.BlockState: Sets the current store contents as the basis store.
fromBooltoNum(Bool) - Static method in class dk.brics.tajs.analysis.Conversion: 9.3 Boolean to Number.
fromStrtoNum(Str, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.Conversion: 9.3.1 String to Number.
fun - Variable in class dk.brics.tajs.js2flowgraph.FlowGraphEnv
Function - Class in dk.brics.tajs.flowgraph: Function sub-graph.
Function(String, List<String>, Function, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.Function: Constructs a new function.
FUNCTION_PROTOTYPE - Static variable in class dk.brics.tajs.analysis.InitialStateBuilder: Object label for Function.prototype.
FunctionCalls - Class in dk.brics.tajs.analysis: Models function calls.
FunctionCalls.CallInfo - Interface in dk.brics.tajs.analysis: Information about a function call.
FunctionCalls.EventHandlerCall - Class in dk.brics.tajs.analysis: Information for an event handler call.
FunctionCalls.EventHandlerCall(Node, Value, Value) - Constructor for class dk.brics.tajs.analysis.FunctionCalls.EventHandlerCall

G

gc() - Method in class dk.brics.tajs.lattice.BlockState: Runs garbage collection on the contents of this state.
ge(Value, int, Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.8.4 >=
generateUnreachableMap() - Method in class dk.brics.tajs.monitoring.Monitoring: Produces output showing the parts of the code that is determined unreachable by the analysis.
GenericSolver<BlockStateType extends IBlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends ICallEdge<BlockStateType>,MonitoringType extends IMonitoring<BlockStateType,CallContextType>,AnalysisType extends IAnalysis<BlockStateType,CallContextType,CallEdgeType,MonitoringType,AnalysisType>> - Class in dk.brics.tajs.solver: Generic fixpoint solver for flow graphs.
GenericSolver(AnalysisType, SolverSynchronizer) - Constructor for class dk.brics.tajs.solver.GenericSolver: Constructs a new solver.
GenericSolver.SolverInterface - Class in dk.brics.tajs.solver: Interface to solver used while evaluating transfer functions.
gensym() - Static method in class dk.brics.tajs.analysis.uneval.UnevalTools
get(Object) - Method in class dk.brics.tajs.util.HybridArrayHashMap
get(Object) - Method in class dk.brics.tajs.util.InjectiveMap
get_call_name(FlowGraph, CallNode) - Static method in class dk.brics.tajs.analysis.uneval.UnevalTools: Returns the function name that was used to call the function or empty string if unknown.
getAccessNode() - Method in class dk.brics.tajs.flowgraph.jsnodes.AssumeNode: Returns the node where the property access occurred.
getAllObjectLabels() - Method in class dk.brics.tajs.lattice.Obj: Returns the set of all object labels used in this abstract object 'unknown' values are ignored.
getAllObjectLabels(Set<ObjectLabel>) - Method in class dk.brics.tajs.lattice.StateExtras
getAllPredecessorNodes(AbstractNode) - Method in class dk.brics.tajs.analysis.uneval.Decorator: Returns the set of predecessor nodes, either the node occurring immediately before the given node, or the last node occurring in each predecessor basic block
getAllSuccessorNodes(AbstractNode) - Method in class dk.brics.tajs.analysis.uneval.Decorator: Returns the set of successor nodes, either the node occurring immediately after the given node, or the set of nodes occurring in the following basic blocks
getAnalysis() - Method in class dk.brics.tajs.solver.GenericSolver.SolverInterface: Returns the analysis object.
getAnalysisLatticeElement() - Method in class dk.brics.tajs.solver.GenericSolver: Returns the analysis lattice element.
getAnalysisLatticeElement() - Method in class dk.brics.tajs.solver.GenericSolver.SolverInterface: Returns the analysis lattice element.
getAPI() - Method in enum dk.brics.tajs.analysis.nativeobjects.ECMAScriptObjects
getAPI() - Method in interface dk.brics.tajs.lattice.HostObject: Returns the API descriptor that this host object belongs to.
getArg(int) - Method in interface dk.brics.tajs.analysis.FunctionCalls.CallInfo: Returns the value of the i'th argument.
getArg(int) - Method in class dk.brics.tajs.analysis.FunctionCalls.EventHandlerCall
getArg1Register() - Method in class dk.brics.tajs.flowgraph.jsnodes.BinaryOperatorNode: Returns the first argument register.
getArg2Register() - Method in class dk.brics.tajs.flowgraph.jsnodes.BinaryOperatorNode: Returns the second argument register.
getArgRegister(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.CallNode: Returns the given argument register.
getArgRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.TypeofNode: Returns the argument register, or AbstractNode.NO_VALUE if not applicable.
getArgRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.UnaryOperatorNode: Returns the argument register.
getArgumentsInUse() - Method in class dk.brics.tajs.analysis.uneval.NormalForm
getAttributes() - Method in class dk.brics.tajs.htmlparser.HtmlSource: Get the attributes.
getBackwardMap() - Method in class dk.brics.tajs.util.InjectiveMap: Returns an immutable view of the backward map.
getBaseRegister() - Method in class dk.brics.tajs.analysis.FunctionCalls.EventHandlerCall
getBaseRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.AssumeNode: Returns the base register, or AbstractNode.NO_VALUE if not applicable.
getBaseRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.CallConversionNode: Returns the base register.
getBaseRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.CallNode: Returns the base register.
getBaseRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.DeletePropertyNode: Returns the base register, or AbstractNode.NO_VALUE if not applicable.
getBaseRegister() - Method in interface dk.brics.tajs.flowgraph.jsnodes.IPropertyNode: Returns the base register.
getBaseRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.ReadPropertyNode
getBaseRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.WritePropertyNode
getBasicBlock() - Method in class dk.brics.tajs.lattice.BlockState: Returns the basic block owning this state.
getBlock() - Method in class dk.brics.tajs.flowgraph.AbstractNode: Returns the block containing this node.
getBlock() - Method in class dk.brics.tajs.solver.BlockAndContext: Returns the block.
getBlock() - Method in interface dk.brics.tajs.solver.IWorkListStrategy.IEntry: Returns the block.
getBlock() - Method in class dk.brics.tajs.solver.WorkList.Entry
getBlockContextOrder(BasicBlock, CallContextType) - Method in class dk.brics.tajs.solver.CallGraph: Returns the occurrence order of the given (basic block,context).
getBlocks() - Method in class dk.brics.tajs.flowgraph.FlowGraphFragment: Returns the extra blocks.
getBlocks() - Method in class dk.brics.tajs.flowgraph.Function: Returns the collection of basic blocks.
getBlockTransferFunction() - Method in class dk.brics.tajs.analysis.Analysis
getBlockTransferFunction() - Method in interface dk.brics.tajs.solver.IAnalysis: Returns the end-of-block transfer function.
getBoolean() - Method in class dk.brics.tajs.flowgraph.jsnodes.ConstantNode: Returns the boolean (for Type.BOOLEAN only).
getCacheSize() - Static method in class dk.brics.tajs.lattice.ScopeChain: Returns the canonicalization cache size.
getCallbacksByKind(CallbackKind) - Method in class dk.brics.tajs.flowgraph.FlowGraph: Retrieves the callbacks of the given kind.
getCallEdge(AbstractNode, CallContextType, BasicBlock, CallContextType) - Method in class dk.brics.tajs.solver.CallGraph: Returns the specified call edge info.
getCallGraph() - Method in class dk.brics.tajs.lattice.AnalysisLatticeElement
getCallGraph() - Method in interface dk.brics.tajs.solver.IAnalysisLatticeElement: Returns the call graph.
getCallGraphStatistics(FlowGraph) - Method in class dk.brics.tajs.solver.CallGraph: Return call graph statistics on the number of invocations in human readable form.
getCode(NodeAndContext<CallContext>) - Method in class dk.brics.tajs.analysis.EvalCache: Returns the entry_block, or null if not found.
getColumnNumber() - Method in class dk.brics.tajs.flowgraph.SourceLocation: Returns the source column number.
getConditionRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.IfNode: Returns the condition register.
getContext() - Method in class dk.brics.tajs.lattice.BlockState: Returns the call context for this state.
getContext() - Method in class dk.brics.tajs.solver.BlockAndContext: Returns the context.
getContext() - Method in interface dk.brics.tajs.solver.IWorkListStrategy.IEntry: Returns the context.
getContext() - Method in class dk.brics.tajs.solver.NodeAndContext: Returns the context.
getContext() - Method in class dk.brics.tajs.solver.WorkList.Entry
getCurrentContext() - Method in class dk.brics.tajs.solver.GenericSolver.SolverInterface: Returns the current calling context.
getCurrentNode() - Method in class dk.brics.tajs.solver.GenericSolver.SolverInterface: Returns the node currently being visited.
getCurrentState() - Method in class dk.brics.tajs.solver.GenericSolver.SolverInterface: Returns the current abstract state.
getDeclaredVariables(Function) - Static method in class dk.brics.tajs.analysis.uneval.Decorator: Returns the set of variables declared in a given function.
getDefaultArrayProperty() - Method in class dk.brics.tajs.lattice.Obj: Returns the value of the default array property.
getDefaultArrayProperty(ObjectLabel, BlockState<BlockStateType, CallContextType, CallEdgeType>) - Static method in class dk.brics.tajs.lattice.UnknownValueResolver: Wrapper for Obj.getDefaultArrayProperty().
getDefaultNonArrayProperty() - Method in class dk.brics.tajs.lattice.Obj: Returns the value of the default non-array property.
getDefaultNonArrayProperty(ObjectLabel, BlockState<BlockStateType, CallContextType, CallEdgeType>) - Static method in class dk.brics.tajs.lattice.UnknownValueResolver: Wrapper for Obj.getDefaultNonArrayProperty().
getDefinitely() - Method in class dk.brics.tajs.lattice.BlockState.Properties: Returns the property names that are definitely included.
getDefinitelySummarized() - Method in class dk.brics.tajs.lattice.Summarized: Returns the definitely summarized object labels.
getDiff() - Method in class dk.brics.tajs.solver.IAnalysisLatticeElement.MergeResult: Returns a description of the abstract state difference, or null if not available.
getDuplicateOf() - Method in class dk.brics.tajs.flowgraph.AbstractNode: Returns the node that this node is a duplicate of, or null if this is not a duplicate.
getEdgeTransferFunctions() - Method in class dk.brics.tajs.analysis.Analysis
getEdgeTransferFunctions() - Method in interface dk.brics.tajs.solver.IAnalysis: Returns the edge transfer functions.
getEntry() - Method in class dk.brics.tajs.flowgraph.Function: Returns the entry block.
getEntryBlock() - Method in class dk.brics.tajs.flowgraph.FlowGraph: Returns the entry block of the flow graph.
getEntryBlock() - Method in class dk.brics.tajs.flowgraph.FlowGraphFragment: Returns the entry block.
getEntryFunction() - Method in class dk.brics.tajs.flowgraph.FlowGraphFragment: Returns the entry function.
getEnumProperties(Collection<ObjectLabel>) - Method in class dk.brics.tajs.lattice.BlockState: Returns a description of the names of the enumerable properties of the given objects.
getEvalCache() - Method in class dk.brics.tajs.analysis.Analysis: Returns the eval cache.
getEventName() - Method in class dk.brics.tajs.htmlparser.JavaScriptSource: Returns the name of the event.
getExceptionalExit() - Method in class dk.brics.tajs.flowgraph.Function: Returns the exceptional exit block.
getExceptionHandler() - Method in class dk.brics.tajs.flowgraph.BasicBlock: Returns the exception handler block, or null if not set.
getExecutionContext() - Method in class dk.brics.tajs.lattice.BlockState: Returns the execution context.
getExtras() - Method in class dk.brics.tajs.lattice.BlockState: Returns the extra stuff.
getFileName() - Method in class dk.brics.tajs.flowgraph.SourceLocation: Returns the source file name.
getFileName() - Method in class dk.brics.tajs.htmlparser.HtmlSource: Get the file name.
getFileName() - Method in class dk.brics.tajs.htmlparser.JavaScriptSource: Returns the file name.
getFirst() - Method in class dk.brics.tajs.util.Pair: Returns the first object.
getFirstNode() - Method in class dk.brics.tajs.flowgraph.BasicBlock: Returns the first node.
getFlowGraph() - Method in class dk.brics.tajs.solver.GenericSolver: Returns the flow graph.
getFlowGraph() - Method in class dk.brics.tajs.solver.GenericSolver.SolverInterface: Returns the flow graph.
getForwardMap() - Method in class dk.brics.tajs.util.InjectiveMap: Returns an immutable view of the forward map.
getFromMayMap(String, String) - Method in class dk.brics.tajs.lattice.StateExtras: Retrieves a set of object labels from the named map given the key.
getFromMaySet(String) - Method in class dk.brics.tajs.lattice.StateExtras: Returns the set of object labels identified by the given name.
getFromMustSet(String) - Method in class dk.brics.tajs.lattice.StateExtras: Returns the set of object labels identified by the given name.
getFullExpression(String) - Method in interface dk.brics.tajs.unevalizer.AnalyzerCallback: Gives the full expression for the variable placeHolder.
getFunction() - Method in class dk.brics.tajs.flowgraph.BasicBlock: Returns the function containing this block.
getFunction(String) - Method in class dk.brics.tajs.flowgraph.FlowGraph: Returns the function with the given name.
getFunction() - Method in class dk.brics.tajs.flowgraph.FlowGraphFragment: Returns the extra functions.
getFunction() - Method in class dk.brics.tajs.flowgraph.jsnodes.DeclareFunctionNode: Returns the function being declared.
getFunction() - Method in class dk.brics.tajs.lattice.ObjectLabel: Returns the function of this function object label.
getFunctionRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.CallNode: Returns the function register.
getFunctions() - Method in class dk.brics.tajs.flowgraph.FlowGraph: Returns the functions, including the main function.
getFunctionValue() - Method in interface dk.brics.tajs.analysis.FunctionCalls.CallInfo: Returns the abstract value describing which function to call.
getFunctionValue() - Method in class dk.brics.tajs.analysis.FunctionCalls.EventHandlerCall
getHostObject() - Method in class dk.brics.tajs.lattice.ObjectLabel: Returns the descriptor for this object label.
getHtmlSourceList() - Method in class dk.brics.tajs.htmlparser.HTMLParser
getIndex() - Method in class dk.brics.tajs.flowgraph.AbstractNode: Returns the node index.
getIndex() - Method in class dk.brics.tajs.flowgraph.BasicBlock: Returns the block index.
getIndex() - Method in class dk.brics.tajs.flowgraph.Function: Returns the function index.
getInitialStateBuilder() - Method in class dk.brics.tajs.analysis.Analysis
getInitialStateBuilder() - Method in interface dk.brics.tajs.solver.IAnalysis: Returns the initial state builder.
getInnerVariablesWritten(Function) - Method in class dk.brics.tajs.analysis.uneval.Decorator: Returns the set of variables potentially (over)written by inner functions for the given function.
getInternalPrototype() - Method in class dk.brics.tajs.lattice.Obj: Returns the value of the internal [[Prototype]] property.
getInternalPrototype(ObjectLabel, BlockState<BlockStateType, CallContextType, CallEdgeType>, boolean) - Static method in class dk.brics.tajs.lattice.UnknownValueResolver: Wrapper for Obj.getInternalPrototype().
getInternalValue() - Method in class dk.brics.tajs.lattice.Obj: Returns the value of the internal [[Value]] property.
getInternalValue(ObjectLabel, BlockState<BlockStateType, CallContextType, CallEdgeType>, boolean) - Static method in class dk.brics.tajs.lattice.UnknownValueResolver: Wrapper for Obj.getInternalValue().
getInverse(Object) - Method in class dk.brics.tajs.util.InjectiveMap: Returns the key that maps to the specified value, or null if this map contains no mapping for the value.
getJavaScript() - Method in class dk.brics.tajs.htmlparser.JavaScriptSource: Returns the code.
getJsEventList() - Method in class dk.brics.tajs.htmlparser.HTMLParser
getJsList() - Method in class dk.brics.tajs.htmlparser.HTMLParser
getJSSourceNode() - Method in interface dk.brics.tajs.analysis.FunctionCalls.CallInfo: Returns the node in the JavaScript code where this call originates from.
getJSSourceNode() - Method in class dk.brics.tajs.analysis.FunctionCalls.EventHandlerCall
getKey() - Method in class dk.brics.tajs.flowgraph.FlowGraphFragment: Returns the key.
getKey() - Method in class dk.brics.tajs.util.MapEntry
getKind() - Method in class dk.brics.tajs.flowgraph.jsnodes.AssumeNode: Returns the assume node kind.
getKind() - Method in class dk.brics.tajs.flowgraph.jsnodes.CallConversionNode: Returns the kind.
getKind() - Method in class dk.brics.tajs.lattice.ObjectLabel: Returns the object label kind.
getKind() - Method in class dk.brics.tajs.lattice.PropertyReference: Returns the kind.
getLastNode() - Method in class dk.brics.tajs.flowgraph.BasicBlock: Returns the last node.
getLibraries() - Static method in class dk.brics.tajs.options.Options: Get the set of ignored libraries.
getLineNumber() - Method in class dk.brics.tajs.flowgraph.SourceLocation: Returns the source line number.
getLineNumber() - Method in class dk.brics.tajs.htmlparser.HtmlSource: Get the line number.
getLineNumber() - Method in class dk.brics.tajs.htmlparser.JavaScriptSource: Returns the starting line number.
getMain() - Method in class dk.brics.tajs.flowgraph.FlowGraph: Returns the main code.
getMapping() - Method in class dk.brics.tajs.analysis.uneval.NormalForm
getMaxRegister() - Method in class dk.brics.tajs.flowgraph.Function: Returns the upper bound of the register numbers used in this function.
getMaybe() - Method in class dk.brics.tajs.lattice.BlockState.Properties: Returns the property names that are maybe (including definitely) included.
getMaybeSummarized() - Method in class dk.brics.tajs.lattice.Summarized: Returns the maybe summarized object labels.
getMessage() - Method in class dk.brics.tajs.solver.Message: Returns the message text.
getMessages() - Method in class dk.brics.tajs.monitoring.Monitoring: Returns the collected messages.
getMonitoring() - Method in class dk.brics.tajs.analysis.Analysis
getMonitoring() - Method in class dk.brics.tajs.solver.GenericSolver.SolverInterface: Returns the monitoring object of the analysis.
getMonitoring() - Method in interface dk.brics.tajs.solver.IAnalysis: Returns the monitoring object.
getName() - Method in enum dk.brics.tajs.flowgraph.CallbackKind
getName() - Method in class dk.brics.tajs.flowgraph.Function: Returns the function name, or null if the function is anonymous.
getNode() - Method in class dk.brics.tajs.lattice.ObjectLabel: Returns the node of this non-function object label.
getNode() - Method in class dk.brics.tajs.solver.Message: Returns the node associated with this message.
getNode() - Method in class dk.brics.tajs.solver.NodeAndContext: Returns the node.
getNodes() - Method in class dk.brics.tajs.flowgraph.BasicBlock: Returns the sequence of nodes.
getNodes() - Method in class dk.brics.tajs.flowgraph.FlowGraphFragment: Returns the extra nodes.
getNodeTransferFunctions() - Method in class dk.brics.tajs.analysis.Analysis
getNodeTransferFunctions() - Method in interface dk.brics.tajs.solver.IAnalysis: Returns the node transfer functions.
getNonGlobalIdentifiers() - Method in interface dk.brics.tajs.unevalizer.AnalyzerCallback: Get the set of identifiers bound in the non global scope
getNormalForm() - Method in class dk.brics.tajs.analysis.uneval.NormalForm
getNum() - Method in interface dk.brics.tajs.lattice.Num: Returns the singleton number value, or null if definitely not a singleton number.
getNum() - Method in class dk.brics.tajs.lattice.Value
getNumber() - Method in class dk.brics.tajs.flowgraph.jsnodes.ConstantNode: Returns the number (for Type.NUMBER only).
getNumberOfArgs() - Method in interface dk.brics.tajs.analysis.FunctionCalls.CallInfo: Returns the number of arguments.
getNumberOfArgs() - Method in class dk.brics.tajs.analysis.FunctionCalls.EventHandlerCall
getNumberOfArgs() - Method in class dk.brics.tajs.flowgraph.jsnodes.CallNode: Returns the number of arguments.
getNumberOfBlocks() - Method in class dk.brics.tajs.flowgraph.FlowGraph: Returns the total number of basic blocks in this flow graph.
getNumberOfCacheHits() - Static method in class dk.brics.tajs.lattice.ScopeChain: Returns the number of cache hits.
getNumberOfCacheMisses() - Static method in class dk.brics.tajs.lattice.ScopeChain: Returns the number of cache misses.
getNumberOfMakeWritablePropertiesCalls() - Static method in class dk.brics.tajs.lattice.Obj: Returns the total number of makeWritableProperties operations.
getNumberOfMakeWritableRegistersCalls() - Static method in class dk.brics.tajs.lattice.BlockState: Returns the total number of makeWritableRegisters operations.
getNumberOfMakeWritableStoreCalls() - Static method in class dk.brics.tajs.lattice.BlockState: Returns the total number of makeWritableStore operations.
getNumberOfNodes() - Method in class dk.brics.tajs.flowgraph.FlowGraph: Returns the total number of nodes in this flow graph.
getNumberOfObjectSetCacheHits() - Static method in class dk.brics.tajs.lattice.Value: Returns the number of object set cache hits.
getNumberOfObjectSetCacheMisses() - Static method in class dk.brics.tajs.lattice.Value: Returns the number of object set cache misses.
getNumberOfObjsCreated() - Static method in class dk.brics.tajs.lattice.Obj: Returns the total number of Obj objects created.
getNumberOfProperties() - Method in class dk.brics.tajs.lattice.Obj: Returns the size of the properties map.
getNumberOfRegisters() - Method in class dk.brics.tajs.lattice.BlockState: Returns the size of the registers map.
getNumberOfStatesCreated() - Static method in class dk.brics.tajs.lattice.BlockState: Returns the total number of BlockState objects created.
getNumberOfValueCacheHits() - Static method in class dk.brics.tajs.lattice.Value: Returns the number of value cache hits.
getNumberOfValueCacheMisses() - Static method in class dk.brics.tajs.lattice.Value: Returns the number of value cache misses.
getObject(ObjectLabel, boolean) - Method in class dk.brics.tajs.lattice.BlockState: Looks up an object in the store.
getObject() - Method in class dk.brics.tajs.lattice.ScopeChain: Returns the top-most object in this scope chain.
getObjectLabel() - Method in class dk.brics.tajs.lattice.PropertyReference: Returns the object label.
getObjectLabels() - Method in class dk.brics.tajs.lattice.ExecutionContext: Returns the set of object labels within the execution context.
getObjectLabels() - Method in class dk.brics.tajs.lattice.Value: Returns the (immutable) set of object labels.
getObjectRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.BeginForInNode: Returns the object register.
getObjectRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.EnterWithNode: Returns the object register.
getObjectSetCacheSize() - Static method in class dk.brics.tajs.lattice.Value: Returns the object set cache size.
getObjectSourceLocations() - Method in class dk.brics.tajs.lattice.Value: Returns the source locations of the objects in this value.
getOperator() - Method in class dk.brics.tajs.flowgraph.jsnodes.BinaryOperatorNode: Returns the operator.
getOperator() - Method in class dk.brics.tajs.flowgraph.jsnodes.UnaryOperatorNode: Returns the operator.
getOrder() - Method in class dk.brics.tajs.flowgraph.BasicBlock: Returns the block order.
getOrdinaryExit() - Method in class dk.brics.tajs.flowgraph.Function: Returns the ordinary exit block.
getOuterFunction() - Method in class dk.brics.tajs.flowgraph.Function: Returns the outer function, or null if there is no outer function.
getParameterNames() - Method in class dk.brics.tajs.flowgraph.Function: Returns the list of parameter names.
getPredecessorBlocks(BasicBlock) - Method in class dk.brics.tajs.analysis.uneval.Decorator: Returns the set of basic blocks occurring immediately before the given basic block.
getPredecessorNode(AbstractNode) - Method in class dk.brics.tajs.analysis.uneval.Decorator: Returns the node occurring immediately before the given node.
getPrefix() - Method in interface dk.brics.tajs.lattice.Str: Returns the prefix value, or null if definitely not a fixed nonempty string followed by identifier parts.
getPrefix() - Method in class dk.brics.tajs.lattice.Value
getProperties() - Method in class dk.brics.tajs.lattice.Obj: Returns all properties, excluding the defaults and internal properties.
getProperties(ObjectLabel, BlockState<BlockStateType, CallContextType, CallEdgeType>) - Static method in class dk.brics.tajs.lattice.UnknownValueResolver: Wrapper for Obj.getProperties().
getProperties() - Method in class dk.brics.tajs.monitoring.ObjReadsWrites
getProperty(String) - Method in class dk.brics.tajs.lattice.Obj: Returns the value of the given property, considering defaults if necessary.
getProperty(ObjectLabel, String, BlockState<BlockStateType, CallContextType, CallEdgeType>, boolean) - Static method in class dk.brics.tajs.lattice.UnknownValueResolver: Wrapper for Obj.getProperty(String).
getPropertyListRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.BeginForInNode: Returns the property list register.
getPropertyListRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.HasNextPropertyNode: Returns the property list register.
getPropertyListRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.NextPropertyNode: Returns the property queue register.
getPropertyName() - Method in class dk.brics.tajs.lattice.PropertyReference: Returns the property name (for ordinary properties).
getPropertyNames() - Method in class dk.brics.tajs.lattice.Obj: Returns all property names, excluding the defaults and internal properties.
getPropertyReference() - Method in class dk.brics.tajs.lattice.Value: Returns the property reference.
getPropertyRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.AssumeNode: Returns the property register, or AbstractNode.NO_VALUE if not applicable.
getPropertyRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.DeletePropertyNode: Returns the property register, or AbstractNode.NO_VALUE if not applicable.
getPropertyRegister() - Method in interface dk.brics.tajs.flowgraph.jsnodes.IPropertyNode: Returns the property register, or AbstractNode.NO_VALUE if not applicable.
getPropertyRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.NextPropertyNode: Returns the property register.
getPropertyRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.ReadPropertyNode
getPropertyRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.WritePropertyNode
getPropertyString() - Method in class dk.brics.tajs.flowgraph.jsnodes.AssumeNode: Returns the property string, or null if not fixed.
getPropertyString() - Method in class dk.brics.tajs.flowgraph.jsnodes.DeletePropertyNode: Returns the property string, or null if not fixed or not a reference.
getPropertyString() - Method in interface dk.brics.tajs.flowgraph.jsnodes.IPropertyNode: Returns the property string, or null if not fixed.
getPropertyString() - Method in class dk.brics.tajs.flowgraph.jsnodes.ReadPropertyNode
getPropertyString() - Method in class dk.brics.tajs.flowgraph.jsnodes.WritePropertyNode
getPrototypesUsedForUnknown(ObjectLabel) - Method in class dk.brics.tajs.lattice.BlockState
getPrototypeWithProperty(ObjectLabel, String) - Method in class dk.brics.tajs.lattice.BlockState: Returns the set of objects in the prototype chain that contain the property.
getReachableNodes() - Method in class dk.brics.tajs.monitoring.Monitoring: Returns the set of maybe reachable nodes.
getReadStatus(String) - Method in class dk.brics.tajs.monitoring.ObjReadsWrites
getRealValue(Value, BlockState<BlockStateType, CallContextType, CallEdgeType>) - Static method in class dk.brics.tajs.lattice.UnknownValueResolver: Fully recovers the given value if polymorphic.
getResultBaseRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.ReadVariableNode: Returns the result base register.
getResultRegister() - Method in interface dk.brics.tajs.analysis.FunctionCalls.CallInfo: Returns the result register.
getResultRegister() - Method in class dk.brics.tajs.analysis.FunctionCalls.EventHandlerCall
getResultRegister() - Method in interface dk.brics.tajs.flowgraph.ICallNode: Returns the result register.
getResultRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.EventDispatcherNode
getResultRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.LoadNode: Returns the result register, or AbstractNode.NO_VALUE if not applicable.
getReturnValueRegister() - Method in interface dk.brics.tajs.flowgraph.IReturnNode: Returns the return value register.
getReturnValueRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.ReturnNode: Returns the return value register.
getScopeChain() - Method in class dk.brics.tajs.lattice.BlockState: Returns the scope chain.
getScopeChain() - Method in class dk.brics.tajs.lattice.ExecutionContext: Returns the scope chain of this execution context.
getScopeChain() - Method in class dk.brics.tajs.lattice.Obj: Returns the value of the internal [[Scope]] property.
getScopeChain(ObjectLabel, BlockState<BlockStateType, CallContextType, CallEdgeType>) - Static method in class dk.brics.tajs.lattice.UnknownValueResolver: Wrapper for Obj.getScopeChain().
getScopeObjRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.CatchNode: Returns the object to be added to the scope chain when entering the catch block, or AbstractNode.NO_VALUE if not using a program variable.
getSecond() - Method in class dk.brics.tajs.util.Pair: Returns the second object.
getSequenceNumber() - Method in class dk.brics.tajs.flowgraph.jsnodes.CallConversionNode: Returns the sequence number.
getSerial() - Method in interface dk.brics.tajs.solver.IWorkListStrategy.IEntry: Returns the entry serial number.
getSerial() - Method in class dk.brics.tajs.solver.WorkList.Entry
getSeverity() - Method in class dk.brics.tajs.solver.Message: Returns the message severity level.
getShortName() - Method in enum dk.brics.tajs.analysis.HostAPIs
getShortName() - Method in interface dk.brics.tajs.lattice.HostAPI: Returns the short name of this host API.
getSingleNode() - Method in class dk.brics.tajs.flowgraph.BasicBlock: Returns the single node in the basic block.
getSingleSuccessor() - Method in class dk.brics.tajs.flowgraph.BasicBlock: Returns the single successor block.
getSize(BasicBlock) - Method in class dk.brics.tajs.lattice.AnalysisLatticeElement
getSize(BasicBlock) - Method in interface dk.brics.tajs.solver.IAnalysisLatticeElement: Returns the number of states stored for the given basic block.
getSolver() - Method in class dk.brics.tajs.analysis.Analysis: Returns the solver.
getSolverInterface() - Method in class dk.brics.tajs.lattice.BlockState: Returns the solver interface.
getSourceLocation() - Method in class dk.brics.tajs.flowgraph.AbstractNode: Returns the source location.
getSourceLocation() - Method in class dk.brics.tajs.flowgraph.BasicBlock: Returns the source location for the first node in the basic block.
getSourceLocation() - Method in class dk.brics.tajs.flowgraph.Function: Returns a source location for this function.
getSourceLocation() - Method in class dk.brics.tajs.lattice.ObjectLabel: Returns the source location.
getSourceNode() - Method in interface dk.brics.tajs.analysis.FunctionCalls.CallInfo: Returns the node where the call originates from.
getSourceNode() - Method in class dk.brics.tajs.analysis.FunctionCalls.EventHandlerCall
getSources(BasicBlock, CallContextType) - Method in class dk.brics.tajs.solver.CallGraph: Returns the call nodes and caller contexts that have the given basic block as target for a given callee context.
getSpecialArgs() - Method in class dk.brics.tajs.analysis.Analysis: Returns the special args info.
getSpecialArgValues(State, Function) - Method in class dk.brics.tajs.analysis.SpecialArgs: Returns the values of the special arguments, or null if empty.
getStartNode() - Method in class dk.brics.tajs.flowgraph.jsnodes.EndForInNode: Get the start node for this block.
getState(BasicBlock, CallContextType) - Method in class dk.brics.tajs.lattice.AnalysisLatticeElement
getState() - Method in class dk.brics.tajs.lattice.CallEdge
getState(BasicBlock, CallContextType) - Method in interface dk.brics.tajs.solver.IAnalysisLatticeElement: Returns the abstract state for entry of the given basic block and call context, where null represents none.
getState() - Method in interface dk.brics.tajs.solver.ICallEdge: Returns the state at this edge.
getStates(BasicBlock) - Method in class dk.brics.tajs.lattice.AnalysisLatticeElement
getStates(BasicBlock) - Method in interface dk.brics.tajs.solver.IAnalysisLatticeElement: Returns the contexts and abstract states for the entry of the given basic block.
getStatus() - Method in class dk.brics.tajs.solver.Message: Returns the message status.
getStore() - Method in class dk.brics.tajs.lattice.BlockState: Returns the store (excluding the basis store).
getStoreSize() - Method in class dk.brics.tajs.lattice.BlockState: Returns the number of objects in the store, excluding the basis store.
getStr() - Method in interface dk.brics.tajs.lattice.Str: Returns the singleton string value, or null if definitely not a singleton string.
getStr() - Method in class dk.brics.tajs.lattice.Value
getString() - Method in class dk.brics.tajs.flowgraph.jsnodes.ConstantNode: Returns the string (for Type.STRING only).
getString(String, String) - Static method in class dk.brics.tajs.util.Loader: Returns the contents of the given resource (file path or URL) as a string.
getSuccessorNode(AbstractNode) - Method in class dk.brics.tajs.analysis.uneval.Decorator: Returns the node occuring immediate after the given node.
getSuccessors() - Method in class dk.brics.tajs.flowgraph.BasicBlock: Returns the successors of this block.
getSuccFalse() - Method in class dk.brics.tajs.flowgraph.jsnodes.IfNode: Returns the 'false' successor.
getSuccTrue() - Method in class dk.brics.tajs.flowgraph.jsnodes.IfNode: Returns the 'true' successor.
getSummarized() - Method in class dk.brics.tajs.lattice.BlockState: Returns the summarized sets.
getTag() - Method in class dk.brics.tajs.htmlparser.HtmlSource: Get the tag.
getThisObject() - Method in class dk.brics.tajs.lattice.ExecutionContext: Returns the 'this' object of this execution context.
getTotalNumberOfNodeTransfers() - Method in class dk.brics.tajs.monitoring.Monitoring
getTotalNumberOfNodeTransfers() - Method in interface dk.brics.tajs.solver.IMonitoring: Returns the total number of node transfers.
getType() - Method in class dk.brics.tajs.flowgraph.jsnodes.ConstantNode: Returns the type.
getType() - Method in class dk.brics.tajs.flowgraph.jsnodes.EventDispatcherNode: Returns the event type.
getTypeInformation() - Method in class dk.brics.tajs.monitoring.Monitoring: Returns the collected type information.
getTypeInformation() - Method in class dk.brics.tajs.monitoring.TypeCollector: Returns the collected type information.
getUnknownArg() - Method in interface dk.brics.tajs.analysis.FunctionCalls.CallInfo: Returns the value of an unknown argument.
getUnknownArg() - Method in class dk.brics.tajs.analysis.FunctionCalls.EventHandlerCall
getValue(PropertyReference) - Method in class dk.brics.tajs.lattice.Obj: Returns the designated value.
getValue() - Method in class dk.brics.tajs.util.MapEntry
getValueCacheSize() - Static method in class dk.brics.tajs.lattice.Value: Returns the value cache size.
getValueRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.CatchNode: Returns the result register, or AbstractNode.NO_VALUE if not using a register.
getValueRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.ThrowNode: Returns the value register.
getValueRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.WritePropertyNode: Returns the value register.
getValueRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.WriteVariableNode: Returns the register.
getVariableLocation() - Method in class dk.brics.tajs.monitoring.TypeCollector.VariableSummary
getVariableName() - Method in class dk.brics.tajs.flowgraph.jsnodes.AssumeNode: Returns the source variable name.
getVariableName() - Method in class dk.brics.tajs.flowgraph.jsnodes.CatchNode: Returns the variable name, or null if not using a program variable.
getVariableName() - Method in class dk.brics.tajs.flowgraph.jsnodes.DeclareVariableNode: Returns the variable name.
getVariableName() - Method in class dk.brics.tajs.flowgraph.jsnodes.DeletePropertyNode: Returns the source variable name, or null if not a variable.
getVariableName() - Method in class dk.brics.tajs.flowgraph.jsnodes.ReadVariableNode: Returns the source variable name.
getVariableName() - Method in class dk.brics.tajs.flowgraph.jsnodes.TypeofNode: Returns the source variable name, or null if not a variable.
getVariableName() - Method in class dk.brics.tajs.flowgraph.jsnodes.WriteVariableNode: Returns the destination variable name.
getVariableName() - Method in class dk.brics.tajs.monitoring.TypeCollector.VariableSummary
getVariableNames() - Method in class dk.brics.tajs.flowgraph.Function: Returns the set of variable names declared in this function.
getVariableObject() - Method in class dk.brics.tajs.lattice.ExecutionContext: Returns the variable object of this execution context.
getWorklistStrategy() - Method in class dk.brics.tajs.analysis.Analysis
getWorklistStrategy() - Method in interface dk.brics.tajs.solver.IAnalysis: Returns the work list strategy.
getWriteLocations(String) - Method in class dk.brics.tajs.monitoring.ObjReadsWrites
getWriteStatus(String) - Method in class dk.brics.tajs.monitoring.ObjReadsWrites
GLOBAL - Static variable in class dk.brics.tajs.analysis.InitialStateBuilder: Object label for the global object.
gt(Value, int, Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.8.2 >

H

hasDontDelete() - Method in class dk.brics.tajs.lattice.Value: Returns true if this value has DontDelete information.
hasDontEnum() - Method in class dk.brics.tajs.lattice.Value: Returns true if this value has DontEnum information.
hashCode() - Method in class dk.brics.tajs.analysis.CallContext
hashCode() - Method in class dk.brics.tajs.analysis.uneval.NormalForm
hashCode() - Method in class dk.brics.tajs.flowgraph.SourceLocation: Returns a hash code for this object.
hashCode() - Method in class dk.brics.tajs.lattice.BlockState: Computes the hash code for this state.
hashCode() - Method in class dk.brics.tajs.lattice.BlockState.Properties
hashCode() - Method in class dk.brics.tajs.lattice.ExecutionContext: Computes the hash code for this execution context.
hashCode() - Method in class dk.brics.tajs.lattice.Obj: Computes the hash code for this abstract object.
hashCode() - Method in class dk.brics.tajs.lattice.ObjectLabel: Returns the hash code for this object label.
hashCode() - Method in class dk.brics.tajs.lattice.PropertyReference: Returns the hash code for this object.
hashCode() - Method in class dk.brics.tajs.lattice.ScopeChain: Computes the hash code for this scope chain.
hashCode() - Method in class dk.brics.tajs.lattice.StateExtras: Computes the hash code for this object.
hashCode() - Method in class dk.brics.tajs.lattice.Summarized: Returns a hash code value for the object.
hashCode() - Method in class dk.brics.tajs.lattice.Value: Returns the hash code for this value.
hashCode() - Method in class dk.brics.tajs.monitoring.ObjReadsWrites
hashCode() - Method in class dk.brics.tajs.monitoring.TypeCollector.VariableSummary
hashCode() - Method in class dk.brics.tajs.solver.BlockAndContext: Computes the hash code for this object.
hashCode() - Method in interface dk.brics.tajs.solver.ICallContext: Computes a hash code for this context.
hashCode() - Method in class dk.brics.tajs.solver.Message: Returns a hash code for this message.
hashCode() - Method in class dk.brics.tajs.solver.NodeAndContext: Computes the hash code for this object.
hashCode() - Method in class dk.brics.tajs.solver.WorkList.Entry: Computes a hash code for this entry.
hashCode() - Method in class dk.brics.tajs.util.HybridArrayHashMap
hashCode() - Method in class dk.brics.tajs.util.HybridArrayHashSet
hashCode() - Method in class dk.brics.tajs.util.InjectiveMap
hashCode() - Method in class dk.brics.tajs.util.MapEntry
hashCode() - Method in class dk.brics.tajs.util.Pair
hasInstance(Collection<ObjectLabel>, Value) - Method in class dk.brics.tajs.lattice.BlockState: Models [[HasInstance]] (for instanceof).
HasNextPropertyNode - Class in dk.brics.tajs.flowgraph.jsnodes: Has-next-property node.
HasNextPropertyNode(int, int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.HasNextPropertyNode: Constructs a new has-next-property node.
hasOuterFunction() - Method in class dk.brics.tajs.flowgraph.Function: Returns true iff the function has an outer function.
hasProperty(Collection<ObjectLabel>, String) - Method in class dk.brics.tajs.lattice.BlockState: Checks whether the given property is present in the given objects.
hasReadOnly() - Method in class dk.brics.tajs.lattice.Value: Returns true if this value has ReadOnly information.
HostAPI - Interface in dk.brics.tajs.lattice: Host API.
HostAPIs - Enum in dk.brics.tajs.analysis: Descriptors and dispatching for the supported host APIs.
HostObject - Interface in dk.brics.tajs.lattice: Descriptor for object implemented directly in the analyzer.
HTMLParser - Class in dk.brics.tajs.htmlparser
HTMLParser() - Constructor for class dk.brics.tajs.htmlparser.HTMLParser
HtmlSource - Class in dk.brics.tajs.htmlparser: A compound structure that contains meta-information about a single HTML "source".
HtmlSource(String, Map<String, String>, String, int) - Constructor for class dk.brics.tajs.htmlparser.HtmlSource: Constructs the meta-information about a single source.
HTMLVisitor - Interface in dk.brics.tajs.htmlparser
HTMLVisitorImpl - Class in dk.brics.tajs.htmlparser
HTMLVisitorImpl(Document) - Constructor for class dk.brics.tajs.htmlparser.HTMLVisitorImpl
HybridArrayHashMap<K,V> - Class in dk.brics.tajs.util: Hybrid of array and hash map.
HybridArrayHashMap() - Constructor for class dk.brics.tajs.util.HybridArrayHashMap: Constructs a new empty hybrid map.
HybridArrayHashMap(Map<K, V>) - Constructor for class dk.brics.tajs.util.HybridArrayHashMap: Constructs a new hybrid map from the given map.
HybridArrayHashSet<V> - Class in dk.brics.tajs.util: Hybrid of array and hash set.
HybridArrayHashSet() - Constructor for class dk.brics.tajs.util.HybridArrayHashSet: Constructs a new hybrid set.
HybridArrayHashSet(Collection<V>) - Constructor for class dk.brics.tajs.util.HybridArrayHashSet: Constructs a new hybrid set from the given collection.

I

IAnalysis<BlockStateType extends IBlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends ICallEdge<BlockStateType>,MonitoringType extends IMonitoring<BlockStateType,CallContextType>,AnalysisType extends IAnalysis<BlockStateType,CallContextType,CallEdgeType,MonitoringType,AnalysisType>> - Interface in dk.brics.tajs.solver: Interface for analyses on flow graphs.
IAnalysisLatticeElement<BlockStateType extends IBlockState<BlockStateType,?,CallEdgeType>,CallContextType extends ICallContext<?>,CallEdgeType extends ICallEdge<BlockStateType>> - Interface in dk.brics.tajs.solver: Interface for global analysis lattice elements.
IAnalysisLatticeElement.MergeResult - Class in dk.brics.tajs.solver: Result from IAnalysisLatticeElement.propagate(IBlockState, BasicBlock, ICallContext, boolean, boolean).
IAnalysisLatticeElement.MergeResult(String) - Constructor for class dk.brics.tajs.solver.IAnalysisLatticeElement.MergeResult: Constructs a new merge result.
IBlockState<BlockStateType extends IBlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends ICallEdge<BlockStateType>> - Interface in dk.brics.tajs.solver: Interface for abstract states for block entries.
IBlockTransfer<BlockStateType extends IBlockState<BlockStateType,?,?>,CallContextType extends ICallContext<?>> - Interface in dk.brics.tajs.solver: Interface for end-of-block transfer function classes.
ICallContext<CallContextType extends ICallContext<?>> - Interface in dk.brics.tajs.solver: Interface for analysis call contexts.
ICallEdge<BlockStateType extends IBlockState<?,?,?>> - Interface in dk.brics.tajs.solver: Interface for call edges.
ICallEdge.Visitor<CallEdgeType extends ICallEdge<?>> - Interface in dk.brics.tajs.solver: Visitor for call edges.
ICallNode - Interface in dk.brics.tajs.flowgraph: Interface of call nodes.
IEdgeTransfer<BlockStateType extends IBlockState<BlockStateType,?,?>,CallContextType extends ICallContext<?>> - Interface in dk.brics.tajs.solver: Interface for edge transfer function classes.
IfNode - Class in dk.brics.tajs.flowgraph.jsnodes: If node.
IfNode(int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.IfNode: Constructs a new if node.
IInitialStateBuilder<BlockStateType extends IBlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends ICallEdge<BlockStateType>> - Interface in dk.brics.tajs.solver: Interface for initial state builder classes.
IMonitoring<BlockStateType extends IBlockState<BlockStateType,?,?>,CallContextType extends ICallContext<CallContextType>> - Interface in dk.brics.tajs.solver: Records various information during fixpoint solving.
in(State, Value, int, Value, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.8.7 in
incrementFunctionActivityLevel(Function, CallContextType) - Method in class dk.brics.tajs.solver.CallDependencies: Increments the function activity level for the given function and context.
init(String[], SolverSynchronizer) - Static method in class dk.brics.tajs.Main: Reads the input and prepares an analysis object.
init(FlowGraph, Document) - Method in class dk.brics.tajs.solver.GenericSolver: Initializes the solver for the given flow graph and HTML document.
initial_source - Static variable in class dk.brics.tajs.lattice.ObjectLabel: Source location used for host functions.
InitialStateBuilder - Class in dk.brics.tajs.analysis: Sets up the initial state (Chapter 15).
InitialStateBuilder() - Constructor for class dk.brics.tajs.analysis.InitialStateBuilder: Constructs a new InitialStateBuilder object.
initLogging() - Static method in class dk.brics.tajs.Main: Configures log4j.
InjectiveMap<K,V> - Class in dk.brics.tajs.util: Injective map with efficient operations for reverse lookup.
InjectiveMap() - Constructor for class dk.brics.tajs.util.InjectiveMap: Constructs a new empty map.
INodeTransfer<BlockStateType extends IBlockState<BlockStateType,?,?>,CallContextType extends ICallContext<?>> - Interface in dk.brics.tajs.solver: Interface for node transfer function classes.
instof(State, Value, Value, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.8.6 instanceof
internalToString(ObjectLabel, Set<ObjectLabel>, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.ECMAScriptFunctions: toString conversion for built-in objects.
internalValueOf(ObjectLabel, Set<ObjectLabel>, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.ECMAScriptFunctions: valueOf conversion for built-in objects.
IPropertyNode - Interface in dk.brics.tajs.flowgraph.jsnodes: Shared subset of the interface that is common between ReadPropertyNode and WritePropertyNode.
IReturnNode - Interface in dk.brics.tajs.flowgraph: Interface for return nodes.
isAdded() - Method in class dk.brics.tajs.flowgraph.BasicBlock: Checks whether this block has been added to a flow graph.
isAjaxEventProperty(String) - Static method in class dk.brics.tajs.htmlparser.DOMEventHelpers: Returns true iff the specified property is an AJAX event property.
isAlwaysCanPut() - Static method in class dk.brics.tajs.options.Options
isArray() - Method in class dk.brics.tajs.lattice.BlockState.Properties: Returns true if all array properties are maybe included.
isArrayIndex(String) - Static method in class dk.brics.tajs.util.Strings: Checks whether the given string is a valid array index.
isArrayLiteral() - Method in class dk.brics.tajs.flowgraph.jsnodes.CallNode: Returns true if this call node comes from an array literal.
isArtificial() - Method in class dk.brics.tajs.flowgraph.AbstractNode: Returns true if this node is an artifact and should not appear in analysis messages.
isArtificial() - Method in class dk.brics.tajs.flowgraph.jsnodes.EndForInNode
isArtificial() - Method in class dk.brics.tajs.flowgraph.jsnodes.LeaveWithNode
isCallEdgeCharged(AbstractNode, CallContextType, Function, CallContextType) - Method in class dk.brics.tajs.solver.CallDependencies: Checks whether the given edge is charged.
isCallEdgeCharged(AbstractNode, CallContextType, Function, CallContextType) - Method in class dk.brics.tajs.solver.GenericSolver.SolverInterface: Checks whether the given edge is charged.
isCallGraphEnabled() - Static method in class dk.brics.tajs.options.Options: If set, output callgraph.dot.
isChargedCallsDisabled() - Static method in class dk.brics.tajs.options.Options: If set, don't use charged calls.
isCollectVariableInfoEnabled() - Static method in class dk.brics.tajs.options.Options: If set, summarize information on reachable variables, e.g.
isConstructorCall() - Method in interface dk.brics.tajs.analysis.FunctionCalls.CallInfo: Checks whether this is a construct or an ordinary call.
isConstructorCall() - Method in class dk.brics.tajs.analysis.FunctionCalls.EventHandlerCall
isConstructorCall() - Method in interface dk.brics.tajs.flowgraph.ICallNode: Checks whether this is a constructor call or an ordinary call.
isConstructorCall() - Method in class dk.brics.tajs.flowgraph.jsnodes.CallConversionNode
isConstructorCall() - Method in class dk.brics.tajs.flowgraph.jsnodes.CallNode
isConstructorCall() - Method in class dk.brics.tajs.flowgraph.jsnodes.EventDispatcherNode
isContextSensitiveOn(AbstractNode) - Method in class dk.brics.tajs.analysis.CallContext: Returns true if the context is sensitive on the block that belongs to node.
isContextSensitivityDisabled() - Static method in class dk.brics.tajs.options.Options: If set, do not use context sensitivity.
isCopyOnWriteDisabled() - Static method in class dk.brics.tajs.options.Options: If set, do not use copy-on-write.
isCorrelationTrackingEnabled() - Static method in class dk.brics.tajs.options.Options: Is correlation tracking enabled.
isCoverageEnabled() - Static method in class dk.brics.tajs.options.Options: Is coverage enabled.
isDead() - Method in class dk.brics.tajs.flowgraph.AbstractNode: Returns true if this operation is known to have no effect on the program behavior.
isDebugEnabled() - Static method in class dk.brics.tajs.options.Options: Are we currently in debug mode.
isDebugOrTestEnabled() - Static method in class dk.brics.tajs.options.Options: Are we currently in debug or test mode.
isDefinitelyBoolean(String) - Method in interface dk.brics.tajs.unevalizer.AnalyzerCallback: Returns true if the variable s is definitely a boolean.
isDefinitelyIdentifier(String) - Method in interface dk.brics.tajs.unevalizer.AnalyzerCallback: Returns true if the variable s is a legal identifier.
isDefinitelyIdentifierFragment(String) - Method in interface dk.brics.tajs.unevalizer.AnalyzerCallback: Returns true if the variable s is a legal identifier fragment.
isDefinitelyInteger(String) - Method in interface dk.brics.tajs.unevalizer.AnalyzerCallback: Returns true if the variable s is definitely an integer.
isDefinitelyJSONData(String) - Method in interface dk.brics.tajs.unevalizer.AnalyzerCallback: Returns true if the variable s is definitely JSON Data.
isDefinitelySummarized(ObjectLabel) - Method in class dk.brics.tajs.lattice.Summarized: Checks whether the given object label is marked as definitely summarized.
isDOMEnabled() - Static method in class dk.brics.tajs.options.Options: If set, the DOM objects and functions are part of the initial state.
isDontDelete() - Method in class dk.brics.tajs.lattice.Value: Returns true is this value belongs to a property which definitely has DontDelete set.
isDontEnum() - Method in class dk.brics.tajs.lattice.Value: Returns true is this value belongs to a property which definitely has DontEnum set.
isDSLEnabled() - Static method in class dk.brics.tajs.options.Options: Is the DOM DSL enabled.
isEmpty() - Method in class dk.brics.tajs.flowgraph.BasicBlock: Returns true if there are no nodes in the block.
isEmpty() - Method in class dk.brics.tajs.lattice.ExecutionContext: Checks whether all sets are empty.
isEmpty(ScopeChain) - Static method in class dk.brics.tajs.lattice.ScopeChain: Checks whether there are no objects in the scope chain.
isEmpty() - Method in class dk.brics.tajs.solver.WorkList: Checks whether the work list is empty.
isEmpty() - Method in class dk.brics.tajs.util.HybridArrayHashMap
isEmpty() - Method in class dk.brics.tajs.util.HybridArrayHashSet
isEmpty() - Method in class dk.brics.tajs.util.InjectiveMap
isEntry() - Method in class dk.brics.tajs.flowgraph.BasicBlock: Checks whether this is a function entry block.
isErrorBatchMode() - Static method in class dk.brics.tajs.options.Options: Do we introduce random errors.
isEvalStatistics() - Static method in class dk.brics.tajs.options.Options: Eval statistics enabled.
isEventAttribute(String) - Static method in class dk.brics.tajs.htmlparser.DOMEventHelpers: Returns true iff the specified attribute is an event attribute.
isEventProperty(String) - Static method in class dk.brics.tajs.htmlparser.DOMEventHelpers: Returns true iff the specified property is an event property.
isExceptionsDisabled() - Static method in class dk.brics.tajs.options.Options: If set, exclude implicit exception flow.
isExpression() - Method in class dk.brics.tajs.flowgraph.jsnodes.DeclareFunctionNode: Returns true if this is an expression, false if it is a declaration.
isExtendedScope() - Method in class dk.brics.tajs.lattice.Value: Returns true if this value is marked as having extended scope.
isFlowGraphEnabled() - Static method in class dk.brics.tajs.options.Options: If set, output flowgraph.dot.
isFlowGraphOptimizationEnabled() - Static method in class dk.brics.tajs.options.Options: If set, do not perform flowgraph optimization.
isFunctionActive(Function, CallContextType) - Method in class dk.brics.tajs.solver.CallDependencies: Checks whether the given function and context pair is active, i.e.
isGCDisabled() - Static method in class dk.brics.tajs.options.Options: If set, do not use abstract garbage collection.
isHostObject() - Method in class dk.brics.tajs.lattice.ObjectLabel: Returns true if this object label represents a host object.
isHybridCollectionsDisabled() - Static method in class dk.brics.tajs.options.Options: If set, do not use HybridArrayHashMap and HybridArrayHashSet.
isIdentifier(String) - Static method in class dk.brics.tajs.util.Strings: Checks whether the given string is a valid identifier (where reserved words are not valid).
isIdentifierAndNotPrefixOfReservedName(String) - Static method in class dk.brics.tajs.util.Strings: Checks whether the given string is an identifier and not a prefix of a reserved name.
isIdentifierParts(String) - Static method in class dk.brics.tajs.util.Strings: Checks whether the given string consists of valid identifier parts.
isIgnoreHTMLContent() - Static method in class dk.brics.tajs.options.Options: Do we ignore HTML content.
isIgnoreLibrariesEnabled() - Static method in class dk.brics.tajs.options.Options: If set, ignore unreachable code warnings from libraries.
isIntermediateStatesEnabled() - Static method in class dk.brics.tajs.options.Options: If set, print intermediate abstract states.
isKeyboardEventAttribute(String) - Static method in class dk.brics.tajs.htmlparser.DOMEventHelpers: Returns true iff the specified attribute is a keyboard event attribute.
isKeyboardEventProperty(String) - Static method in class dk.brics.tajs.htmlparser.DOMEventHelpers: Returns true iff the specified property is a keyboard event property.
isLazyDisabled() - Static method in class dk.brics.tajs.options.Options: If set, do not use lazy propagation.
isLoadEventAttribute(String) - Static method in class dk.brics.tajs.htmlparser.DOMEventHelpers: Returns true iff the specified attribute is an load event attribute.
isLocalPathSensitivityDisabled() - Static method in class dk.brics.tajs.options.Options: If set, do not use local path sensitivity, including assume node effects.
isLowSeverityEnabled() - Static method in class dk.brics.tajs.options.Options: If set, print low severity messages.
isMain() - Method in class dk.brics.tajs.flowgraph.Function: Returns true if this is the main function.
isMaybeAbsent() - Method in class dk.brics.tajs.lattice.Value: Returns true if this value belongs to a maybe absent property.
isMaybeAnyBool() - Method in interface dk.brics.tajs.lattice.Bool: Returns true if this value is maybe any boolean.
isMaybeAnyBool() - Method in class dk.brics.tajs.lattice.Value
isMaybeAnyNum() - Method in interface dk.brics.tajs.lattice.Num: Returns true if this value is maybe any number.
isMaybeAnyNum() - Method in class dk.brics.tajs.lattice.Value
isMaybeAnyStr() - Method in interface dk.brics.tajs.lattice.Str: Returns true if this value is maybe any string.
isMaybeAnyStr() - Method in class dk.brics.tajs.lattice.Value
isMaybeDontDelete() - Method in class dk.brics.tajs.lattice.Value: Returns true is this value belongs to a property which maybe has DontDelete set.
isMaybeDontEnum() - Method in class dk.brics.tajs.lattice.Value: Returns true is this value belongs to a property which maybe has DontEnum set.
isMaybeFalse() - Method in interface dk.brics.tajs.lattice.Bool: Returns true if this value is maybe false.
isMaybeFalse() - Method in class dk.brics.tajs.lattice.Value
isMaybeFalseButNotTrue() - Method in interface dk.brics.tajs.lattice.Bool: Returns true if this value is maybe false.
isMaybeFalseButNotTrue() - Method in class dk.brics.tajs.lattice.Value
isMaybeFuzzyNum() - Method in interface dk.brics.tajs.lattice.Num: Returns true if this value is maybe a non-singleton number or NaN or +/-Inf.
isMaybeFuzzyNum() - Method in class dk.brics.tajs.lattice.Value
isMaybeFuzzyStr() - Method in interface dk.brics.tajs.lattice.Str: Returns true if this value is maybe a non-singleton string.
isMaybeFuzzyStr() - Method in class dk.brics.tajs.lattice.Value
isMaybeInf() - Method in interface dk.brics.tajs.lattice.Num: Returns true if this value is maybe infinite.
isMaybeInf() - Method in class dk.brics.tajs.lattice.Value
isMaybeModified() - Method in class dk.brics.tajs.lattice.Value: Checks whether this value is marked as maybe modified.
isMaybeNaN() - Method in interface dk.brics.tajs.lattice.Num: Returns true if this value is maybe NaN.
isMaybeNaN() - Method in class dk.brics.tajs.lattice.Value
isMaybeNotDontDelete() - Method in class dk.brics.tajs.lattice.Value: Returns true is this value belongs to a property which maybe does not have DontDelete set.
isMaybeNotDontEnum() - Method in class dk.brics.tajs.lattice.Value: Returns true is this value belongs to a property which maybe does not have DontEnum set.
isMaybeNotReadOnly() - Method in class dk.brics.tajs.lattice.Value: Returns true is this value belongs to a property which maybe does not have ReadOnly set.
isMaybeNull() - Method in interface dk.brics.tajs.lattice.Null: Returns true if this value is maybe null.
isMaybeNull() - Method in class dk.brics.tajs.lattice.Value
isMaybeNumOther() - Method in interface dk.brics.tajs.lattice.Num: Returns true if this value is maybe any non-UInt, non-Inf, non-NaN number.
isMaybeNumOther() - Method in class dk.brics.tajs.lattice.Value
isMaybeNumUInt() - Method in interface dk.brics.tajs.lattice.Num: Returns true if this value is maybe any UInt number.
isMaybeNumUInt() - Method in class dk.brics.tajs.lattice.Value
isMaybeObject() - Method in class dk.brics.tajs.lattice.Value: Returns true if this value maybe represents an object.
isMaybeOtherThanBool() - Method in interface dk.brics.tajs.lattice.Bool: Returns true if this value is maybe a non-boolean.
isMaybeOtherThanBool() - Method in class dk.brics.tajs.lattice.Value
isMaybeOtherThanNull() - Method in interface dk.brics.tajs.lattice.Null: Returns true if this value is maybe some other than null.
isMaybeOtherThanNull() - Method in class dk.brics.tajs.lattice.Value
isMaybeOtherThanNum() - Method in interface dk.brics.tajs.lattice.Num: Returns true if this value is maybe a non-number.
isMaybeOtherThanNum() - Method in class dk.brics.tajs.lattice.Value
isMaybeOtherThanNumUInt() - Method in interface dk.brics.tajs.lattice.Num: Returns true if this value is maybe not an UInt-number.
isMaybeOtherThanNumUInt() - Method in class dk.brics.tajs.lattice.Value
isMaybeOtherThanObject() - Method in class dk.brics.tajs.lattice.Value: Returns true if this value maybe represents something that isn't a object.
isMaybeOtherThanStr() - Method in interface dk.brics.tajs.lattice.Str: Returns true if this value may be a non-string.
isMaybeOtherThanStr() - Method in class dk.brics.tajs.lattice.Value
isMaybeOtherThanUndef() - Method in interface dk.brics.tajs.lattice.Undef: Returns true if this value is maybe some other than undefined.
isMaybeOtherThanUndef() - Method in class dk.brics.tajs.lattice.Value
isMaybePresent() - Method in class dk.brics.tajs.lattice.Value: Returns true if this value is maybe present.
isMaybePresentOrUnknown() - Method in class dk.brics.tajs.lattice.Value: Returns true if this value is maybe present or 'unknown'.
isMaybePrimitive() - Method in class dk.brics.tajs.lattice.Value: Returns true if this value may be a non-object, including undefined and null.
isMaybeReadOnly() - Method in class dk.brics.tajs.lattice.Value: Returns true is this value belongs to a property which maybe has ReadOnly set.
isMaybeSingleNum() - Method in interface dk.brics.tajs.lattice.Num: Returns true if this value is maybe a singleton number, excluding NaN and +/-Inf.
isMaybeSingleNum() - Method in class dk.brics.tajs.lattice.Value
isMaybeSingleNumUInt() - Method in interface dk.brics.tajs.lattice.Num: Returns true if this value is maybe a singleton UInt number.
isMaybeSingleNumUInt() - Method in class dk.brics.tajs.lattice.Value
isMaybeSingleStr() - Method in interface dk.brics.tajs.lattice.Str: Returns true if value is maybe a singleton string.
isMaybeSingleStr() - Method in class dk.brics.tajs.lattice.Value
isMaybeStr(String) - Method in interface dk.brics.tajs.lattice.Str: Checks whether the given string is matched by this value.
isMaybeStr(String) - Method in class dk.brics.tajs.lattice.Value
isMaybeStrIdentifier() - Method in interface dk.brics.tajs.lattice.Str: Returns true if this value is maybe any identifier string.
isMaybeStrIdentifier() - Method in class dk.brics.tajs.lattice.Value
isMaybeStrIdentifierParts() - Method in interface dk.brics.tajs.lattice.Str: Returns true if this value is maybe any string consisting of identifier parts.
isMaybeStrIdentifierParts() - Method in class dk.brics.tajs.lattice.Value
isMaybeStrJSON() - Method in interface dk.brics.tajs.lattice.Str: Returns true if this value maybe originates from a JSON source.
isMaybeStrJSON() - Method in class dk.brics.tajs.lattice.Value
isMaybeStrOnlyUInt() - Method in interface dk.brics.tajs.lattice.Str: Returns true if this value is maybe any UInt string but not a non-UInt string.
isMaybeStrOnlyUInt() - Method in class dk.brics.tajs.lattice.Value
isMaybeStrOther() - Method in interface dk.brics.tajs.lattice.Str: Returns true if this value is maybe any non-number, non-identifier-parts string.
isMaybeStrOther() - Method in class dk.brics.tajs.lattice.Value
isMaybeStrOtherNum() - Method in interface dk.brics.tajs.lattice.Str: Returns true if this value is maybe any (unbounded) non-UInt number string, including Infinity, -Infinity, and NaN.
isMaybeStrOtherNum() - Method in class dk.brics.tajs.lattice.Value
isMaybeStrPrefixedIdentifierParts() - Method in interface dk.brics.tajs.lattice.Str: Returns true if this value is maybe a fixed nonempty string followed by identifier parts.
isMaybeStrPrefixedIdentifierParts() - Method in class dk.brics.tajs.lattice.Value
isMaybeStrSomeNonUInt() - Method in interface dk.brics.tajs.lattice.Str: Returns true if this value is maybe a non-UInt string.
isMaybeStrSomeNonUInt() - Method in class dk.brics.tajs.lattice.Value
isMaybeStrSomeUInt() - Method in interface dk.brics.tajs.lattice.Str: Returns true if this value is maybe *some* UInt string.
isMaybeStrSomeUInt() - Method in class dk.brics.tajs.lattice.Value
isMaybeStrUInt() - Method in interface dk.brics.tajs.lattice.Str: Returns true if this value is maybe *any* UInt string.
isMaybeStrUInt() - Method in class dk.brics.tajs.lattice.Value
isMaybeSummarized(ObjectLabel) - Method in class dk.brics.tajs.lattice.Summarized: Checks whether the given object label is marked as maybe summarized.
isMaybeTrue() - Method in interface dk.brics.tajs.lattice.Bool: Returns true if this value is maybe true.
isMaybeTrue() - Method in class dk.brics.tajs.lattice.Value
isMaybeTrueButNotFalse() - Method in interface dk.brics.tajs.lattice.Bool: Returns true if this value is maybe true.
isMaybeTrueButNotFalse() - Method in class dk.brics.tajs.lattice.Value
isMaybeUndef() - Method in interface dk.brics.tajs.lattice.Undef: Returns true if this value is maybe undefined.
isMaybeUndef() - Method in class dk.brics.tajs.lattice.Value
isMemoryMeasurementEnabled() - Static method in class dk.brics.tajs.options.Options: If set, measure memory usage.
isModifiedDisabled() - Static method in class dk.brics.tajs.options.Options: If set, do not use modified flags.
isMouseEventAttribute(String) - Static method in class dk.brics.tajs.htmlparser.DOMEventHelpers: Returns true iff the specified attribute is a mouse event attribute.
isMouseEventProperty(String) - Static method in class dk.brics.tajs.htmlparser.DOMEventHelpers: Returns true iff the specified property is a mouse event property.
isNaN() - Method in interface dk.brics.tajs.lattice.Num: Returns true if this value is definitely NaN.
isNaN() - Method in class dk.brics.tajs.lattice.Value
isNewFlowEnabled() - Static method in class dk.brics.tajs.options.Options: If set, report summary of new flow at function entries.
isNonArray() - Method in class dk.brics.tajs.lattice.BlockState.Properties: Returns true if all non-array properties are maybe included.
isNone() - Method in class dk.brics.tajs.lattice.BlockState
isNone() - Method in class dk.brics.tajs.lattice.Obj: Checks whether all properties have the none value.
isNone() - Method in class dk.brics.tajs.lattice.StateExtras: Checks whether the sets are empty.
isNone() - Method in class dk.brics.tajs.lattice.Value: Returns true if this is the abstract value representing no concrete values.
isNone() - Method in interface dk.brics.tajs.solver.IBlockState: Checks whether this abstract state represents the empty set of concrete states.
isNotAbsent() - Method in class dk.brics.tajs.lattice.Value: Returns true if this value belongs to a definitely present property.
isNotBool() - Method in interface dk.brics.tajs.lattice.Bool: Returns true if this value is definitely not a boolean.
isNotBool() - Method in class dk.brics.tajs.lattice.Value
isNotDontDelete() - Method in class dk.brics.tajs.lattice.Value: Returns true is this value belongs to a property which definitely does not have DontDelete set.
isNotDontEnum() - Method in class dk.brics.tajs.lattice.Value: Returns true is this value belongs to a property which definitely does not have DontEnum set.
isNotNull() - Method in interface dk.brics.tajs.lattice.Null: Returns true if this value is definitely not null.
isNotNull() - Method in class dk.brics.tajs.lattice.Value
isNotNum() - Method in interface dk.brics.tajs.lattice.Num: Returns true if this value is definitely not a number.
isNotNum() - Method in class dk.brics.tajs.lattice.Value
isNotPresent() - Method in class dk.brics.tajs.lattice.Value: Returns true if this value is definitely not present.
isNotReadOnly() - Method in class dk.brics.tajs.lattice.Value: Returns true is this value belongs to a property which definitely does not have ReadOnly set.
isNotStr() - Method in interface dk.brics.tajs.lattice.Str: Returns true if this value is definitely not a string.
isNotStr() - Method in class dk.brics.tajs.lattice.Value
isNotUndef() - Method in interface dk.brics.tajs.lattice.Undef: Returns true if this value is definitely not undefined.
isNotUndef() - Method in class dk.brics.tajs.lattice.Value
isNullOrUndef() - Method in class dk.brics.tajs.lattice.Value: Returns true if this value is definitely null or undefined.
isNumber(String) - Static method in class dk.brics.tajs.util.Strings: Checks whether the given string is a valid double, including Infinity, -Infinity, and NaN.
isOldFlowgraphBuilderEnabled() - Static method in class dk.brics.tajs.options.Options: If set, use the old flow graph builder.
isOtherEventAttribute(String) - Static method in class dk.brics.tajs.htmlparser.DOMEventHelpers: Returns true iff the specified attribute is an other event attribute.
isOtherEventProperty(String) - Static method in class dk.brics.tajs.htmlparser.DOMEventHelpers: Returns true iff the specified property is an other event property.
isPolymorphic() - Method in class dk.brics.tajs.lattice.Value: Checks whether this value is polymorphic.
isPolymorphicEnabled() - Static method in class dk.brics.tajs.options.Options: If set, use polymorphic abstract values.
isPolymorphicOrUnknown() - Method in class dk.brics.tajs.lattice.Value: Checks whether this value is polymorphic or 'unknown'.
isPropagateDeadFlow() - Static method in class dk.brics.tajs.options.Options: If set, dead data flow is propagated.
isPropertyFixed() - Method in class dk.brics.tajs.flowgraph.jsnodes.AssumeNode: Returns true if the property is a fixed string.
isPropertyFixed() - Method in class dk.brics.tajs.flowgraph.jsnodes.DeletePropertyNode: Returns true if the property is a fixed string.
isPropertyFixed() - Method in interface dk.brics.tajs.flowgraph.jsnodes.IPropertyNode: Returns true if the property is a fixed string.
isPropertyFixed() - Method in class dk.brics.tajs.flowgraph.jsnodes.ReadPropertyNode
isPropertyFixed() - Method in class dk.brics.tajs.flowgraph.jsnodes.WritePropertyNode
isQuietEnabled() - Static method in class dk.brics.tajs.options.Options: If set, only report results.
isReadOnly() - Method in class dk.brics.tajs.lattice.Value: Returns true is this value belongs to a property which definitely has ReadOnly set.
isRecencyDisabled() - Static method in class dk.brics.tajs.options.Options: If set, do not use recency abstraction.
isRegisterDefined(int) - Method in class dk.brics.tajs.lattice.BlockState: Returns true if the given register is defined.
isRegistersDone() - Method in class dk.brics.tajs.flowgraph.AbstractNode: Returns the registers done flag.
isRenamingEnabled() - Static method in class dk.brics.tajs.options.Options: If set, use renaming.
isReturnJSON() - Static method in class dk.brics.tajs.options.Options: Assume AJAX returns JSON.
isScanning() - Method in class dk.brics.tajs.solver.GenericSolver.SolverInterface: Returns true if in message scanning phase.
isScopeChainUnknown() - Method in class dk.brics.tajs.lattice.Obj: Returns true if internal [[Scope]] property is 'unknown'.
isSingleEventHandlerLoop() - Static method in class dk.brics.tajs.options.Options: Is there a single event handler loop.
isSingleEventHandlerType() - Static method in class dk.brics.tajs.options.Options: Are all events treated equally?
isSingleStep() - Method in class dk.brics.tajs.solver.SolverSynchronizer: Checks whether single-stepping is enabled.
isSingleton() - Method in class dk.brics.tajs.lattice.ObjectLabel: Returns true if this object label definitely represents a single concrete object.
isSomeNonArrayPropertyUnknown() - Method in class dk.brics.tajs.lattice.Obj: Checks whether some non-array property is unknown, including the default.
isSSA() - Method in class dk.brics.tajs.flowgraph.jsnodes.ConstantNode: Returns true if result_reg is only assigned by this node.
isStatisticsEnabled() - Static method in class dk.brics.tajs.options.Options: If set, report statistics.
isStrIdentifier() - Method in interface dk.brics.tajs.lattice.Str: Returns true if this value is definitely an identifier string.
isStrIdentifier() - Method in class dk.brics.tajs.lattice.Value
isStrIdentifierOrIdentifierParts() - Method in interface dk.brics.tajs.lattice.Str: Returns true if this value is definitely an identifier or identifier-parts string.
isStrIdentifierOrIdentifierParts() - Method in class dk.brics.tajs.lattice.Value
isStrJSON() - Method in interface dk.brics.tajs.lattice.Str: Returns true if this value is definitely originating from a JSON source.
isStrJSON() - Method in class dk.brics.tajs.lattice.Value
isTestEnabled() - Static method in class dk.brics.tajs.options.Options: If set, avoid nondeterministic output.
isTestFlowGraphBuilderEnabled() - Static method in class dk.brics.tajs.options.Options: If set, output flow graphs to stdout for testing purposes.
isTimingEnabled() - Static method in class dk.brics.tajs.options.Options: If set, report timings.
isUnevalEnabled() - Static method in class dk.brics.tajs.options.Options: Is uneval mode enabled.
isUnknown() - Method in class dk.brics.tajs.lattice.Obj: Checks whether all properties have 'unknown' value.
isUnknown() - Method in class dk.brics.tajs.lattice.Value: Returns true if this value is 'unknown'.
isUnknownNumberOfArgs() - Method in interface dk.brics.tajs.analysis.FunctionCalls.CallInfo: Returns true if the number of arguments is unknown.
isUnknownNumberOfArgs() - Method in class dk.brics.tajs.analysis.FunctionCalls.EventHandlerCall
isUnloadEventAttribute(String) - Static method in class dk.brics.tajs.htmlparser.DOMEventHelpers: Returns true iff the specified attribute is an unload event attribute.
isUnrollOneAndAHalfEnabled() - Static method in class dk.brics.tajs.options.Options: Is one and a half loop unrolling enabled.
isUnsoundEnabled() - Static method in class dk.brics.tajs.options.Options: If set, allow certain unsound tricks.
isVariable() - Method in class dk.brics.tajs.flowgraph.jsnodes.DeletePropertyNode: Returns true if the argument is a variable, false if it is an ordinary reference.
isVariable() - Method in class dk.brics.tajs.flowgraph.jsnodes.TypeofNode: Returns true if the argument is a variable, false if it is a property reference.
iterable(ScopeChain) - Static method in class dk.brics.tajs.lattice.ScopeChain: Returns a object label set iterable for the given scope chain (where null represents empty).
iterator() - Method in class dk.brics.tajs.util.HybridArrayHashSet
IWorkListStrategy<CallContextType extends ICallContext<?>> - Interface in dk.brics.tajs.solver: Interface for work list strategies.
IWorkListStrategy.IEntry<CallContextType extends ICallContext<?>> - Interface in dk.brics.tajs.solver: Interface for work list entries.

J

JavaScriptSource - Class in dk.brics.tajs.htmlparser: A compound structure that contains meta-information about a single source "file".
JavaScriptSource(String, String, int) - Constructor for class dk.brics.tajs.htmlparser.JavaScriptSource: Constructs the meta-information about a single file.
JavaScriptSource(String, String, String, int) - Constructor for class dk.brics.tajs.htmlparser.JavaScriptSource: Constructs the meta-information about an event handler.
join(Summarized) - Method in class dk.brics.tajs.lattice.Summarized: Joins the given summarized sets into this pair.
join(Value, Value, BlockState<BlockStateType, CallContextType, CallEdgeType>) - Static method in class dk.brics.tajs.lattice.UnknownValueResolver: Joins the given values, performing full recovery for polymorphic values if necessary.
join(Iterable<Value>, BlockState<BlockStateType, CallContextType, CallEdgeType>) - Static method in class dk.brics.tajs.lattice.UnknownValueResolver: Joins the given values, performing full recovery for polymorphic values if necessary.
join(Value) - Method in class dk.brics.tajs.lattice.Value: Constructs a value as the join of this value and the given value.
join(Value, boolean) - Method in class dk.brics.tajs.lattice.Value: Constructs a value as the join of this value and the given value.
join(Iterable<Value>) - Static method in class dk.brics.tajs.lattice.Value: Constructs a value as the join of the given collection of values.
join(Value...) - Static method in class dk.brics.tajs.lattice.Value: Constructs a value as the join of the given collection of values.
join(Message) - Method in class dk.brics.tajs.solver.Message: Joins the given message into this message.
joinAbsent() - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but marked as maybe absent.
joinAbsentWithModified() - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but marked as maybe absent and marks it as maybe modified if the resulting value is different from this value.
joinAnyBool() - Method in interface dk.brics.tajs.lattice.Bool: Constructs a value as the join of this value and maybe any boolean.
joinAnyBool() - Method in class dk.brics.tajs.lattice.Value
joinAnyNum() - Method in interface dk.brics.tajs.lattice.Num: Constructs a value as the join of this value and maybe any number.
joinAnyNum() - Method in class dk.brics.tajs.lattice.Value
joinAnyNumOther() - Method in interface dk.brics.tajs.lattice.Num: Constructs a value as the join of this value and maybe any non-UInt number (excluding NaN and +/-Infinity).
joinAnyNumOther() - Method in class dk.brics.tajs.lattice.Value
joinAnyNumUInt() - Method in interface dk.brics.tajs.lattice.Num: Constructs a value as the join of this value and maybe any UInt number.
joinAnyNumUInt() - Method in class dk.brics.tajs.lattice.Value
joinAnyStr() - Method in interface dk.brics.tajs.lattice.Str: Constructs a value as the join of this value and maybe any string.
joinAnyStr() - Method in class dk.brics.tajs.lattice.Value
joinAnyStrIdentifier() - Method in interface dk.brics.tajs.lattice.Str: Constructs a value as the join of this value and maybe any identifier string.
joinAnyStrIdentifier() - Method in class dk.brics.tajs.lattice.Value
joinAnyStrIdentifierParts() - Method in interface dk.brics.tajs.lattice.Str: Constructs a value as the join of this value and maybe any identifier-parts string.
joinAnyStrIdentifierParts() - Method in class dk.brics.tajs.lattice.Value
joinAnyStrOther() - Method in interface dk.brics.tajs.lattice.Str: Constructs a value as the join of this value and maybe any non-number, non-identifier-parts string (including NaN and +/-Infinity).
joinAnyStrOther() - Method in class dk.brics.tajs.lattice.Value
joinAnyStrOtherNum() - Method in interface dk.brics.tajs.lattice.Str: Constructs a value as the join of this value and maybe any non-UInt number string (excluding NaN and +/-Infinity).
joinAnyStrOtherNum() - Method in class dk.brics.tajs.lattice.Value
joinAnyStrUInt() - Method in interface dk.brics.tajs.lattice.Str: Constructs a value as the join of this value and maybe any UInt string.
joinAnyStrUInt() - Method in class dk.brics.tajs.lattice.Value
joinBool(boolean) - Method in interface dk.brics.tajs.lattice.Bool: Constructs a value as the join of this value and the given concrete boolean value.
joinBool(Value) - Method in interface dk.brics.tajs.lattice.Bool: Constructs a value as the join of this value and the given concrete boolean value.
joinBool(boolean) - Method in class dk.brics.tajs.lattice.Value
joinBool(Value) - Method in class dk.brics.tajs.lattice.Value
joinModified() - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but marked as maybe modified.
joinNotDontDelete() - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but with DontDelete maybe not set.
joinNotDontEnum() - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but with DontEnum maybe not set.
joinNotReadOnly() - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but with ReadOnly maybe not set.
joinNull() - Method in interface dk.brics.tajs.lattice.Null: Constructs a value as the join of this value and maybe null.
joinNull() - Method in class dk.brics.tajs.lattice.Value
joinNum(double) - Method in interface dk.brics.tajs.lattice.Num: Constructs a value as the join of this value and the given concrete number.
joinNum(double) - Method in class dk.brics.tajs.lattice.Value
joinNumInf() - Method in interface dk.brics.tajs.lattice.Num: Constructs a value as the join of this value and +/-Inf.
joinNumInf() - Method in class dk.brics.tajs.lattice.Value
joinNumNaN() - Method in interface dk.brics.tajs.lattice.Num: Constructs a value as the join of this value and NaN.
joinNumNaN() - Method in class dk.brics.tajs.lattice.Value
joinObject(ObjectLabel) - Method in class dk.brics.tajs.lattice.Value: Constructs a value as the join of this value and the given object label.
joinPrefixedIdentifierParts(String) - Method in interface dk.brics.tajs.lattice.Str: Constructs a value as the join of this value and the given prefixed identifier-parts string.
joinPrefixedIdentifierParts(String) - Method in class dk.brics.tajs.lattice.Value
joinStr(String) - Method in interface dk.brics.tajs.lattice.Str: Constructs a value as the join of this value and the given concrete string.
joinStr(String) - Method in class dk.brics.tajs.lattice.Value
joinUndef() - Method in interface dk.brics.tajs.lattice.Undef: Constructs a value as the join of this value and maybe undefined.
joinUndef() - Method in class dk.brics.tajs.lattice.Value
joinWithModified(Value, Value, BlockState<BlockStateType, CallContextType, CallEdgeType>) - Static method in class dk.brics.tajs.lattice.UnknownValueResolver: Joins the given values, performing full recovery for polymorphic values if necessary.
joinWithModified(Value) - Method in class dk.brics.tajs.lattice.Value: Constructs a value as the join of this value and the given value and marks it as maybe modified if the resulting value is different from this value.
JSArray - Class in dk.brics.tajs.analysis.nativeobjects: 15.4 native Array functions.
JSBoolean - Class in dk.brics.tajs.analysis.nativeobjects: 15.6 native Boolean functions.
JSDate - Class in dk.brics.tajs.analysis.nativeobjects: 15.9 and B.2 native Date functions.
JSError - Class in dk.brics.tajs.analysis.nativeobjects: 15.11 native Error functions.
JSFunction - Class in dk.brics.tajs.analysis.nativeobjects: 15.3 native Function functions.
JSGlobal - Class in dk.brics.tajs.analysis.nativeobjects: 15.1 and B.2 native global functions.
JSMath - Class in dk.brics.tajs.analysis.nativeobjects: 15.8 native Math functions.
JSNumber - Class in dk.brics.tajs.analysis.nativeobjects: 15.7 native Number functions.
JSObject - Class in dk.brics.tajs.analysis.nativeobjects: 15.2 native Object functions.
JSRegExp - Class in dk.brics.tajs.analysis.nativeobjects: 15.10 native RegExp functions.
JSString - Class in dk.brics.tajs.analysis.nativeobjects: 15.5 native String functions.

K

keySet() - Method in class dk.brics.tajs.util.HybridArrayHashMap
keySet() - Method in class dk.brics.tajs.util.InjectiveMap

L

le(Value, int, Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.8.3 <=
leaveFunction(NodeAndContext<CallContext>, Value, boolean, Function, State, Value, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.FunctionCalls: Leaves a function.
leaveUserFunction(Value, boolean, Function, State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface, NodeAndContext<CallContext>) - Static method in class dk.brics.tajs.analysis.js.UserFunctionCalls: Leaves a user-defined function.
LeaveWithNode - Class in dk.brics.tajs.flowgraph.jsnodes: Leave-with node.
LeaveWithNode(SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.LeaveWithNode: Constructs a new leave with node.
lineOffsets - Variable in class dk.brics.tajs.js2flowgraph.FlowGraphEnv
Loader - Class in dk.brics.tajs.util: String loader.
LoadNode - Class in dk.brics.tajs.flowgraph.jsnodes: Abstract base class for nodes that are assignments to registers.
LoadNode(int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.LoadNode: Constructs a new load node.
logger - Static variable in class dk.brics.tajs.lattice.UnknownValueResolver
lt(Value, int, Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.8.1 <

M

Main - Class in dk.brics.tajs: Main class for the TAJS program analysis.
main(String[]) - Static method in class dk.brics.tajs.Main: Runs the analysis on the given source files.
make(Set<ObjectLabel>, ScopeChain) - Static method in class dk.brics.tajs.lattice.ScopeChain: Creates a scope chain.
make(ObjectLabel) - Static method in class dk.brics.tajs.lattice.ScopeChain: Creates a scope chain with a single element.
make(F, S) - Static method in class dk.brics.tajs.util.Pair: Constructs a new pair.
makeAbsent() - Static method in class dk.brics.tajs.lattice.Value: Constructs the absent value.
makeAbsentModified() - Static method in class dk.brics.tajs.lattice.Obj: Constructs an abstract object where all properties are absent (but modified) and scope is set to empty.
makeAbsentModified() - Static method in class dk.brics.tajs.lattice.Value: Constructs the absent modified value.
makeAnalysisLattice(FlowGraph) - Method in class dk.brics.tajs.analysis.Analysis
makeAnalysisLattice(FlowGraph) - Method in interface dk.brics.tajs.solver.IAnalysis: Returns a new global analysis lattice element.
makeAnyBool() - Static method in class dk.brics.tajs.lattice.Value: Constructs the value representing any boolean.
makeAnyNum() - Static method in class dk.brics.tajs.lattice.Value: Constructs the value describing any number.
makeAnyNumNotNaNInf() - Static method in class dk.brics.tajs.lattice.Value: Constructs the value describing number except NaN and infinity.
makeAnyNumOther() - Static method in class dk.brics.tajs.lattice.Value: Constructs the value describing any non-UInt, non-+/-Inf, non-NaN number.
makeAnyNumUInt() - Static method in class dk.brics.tajs.lattice.Value: Constructs the value describing any UInt number.
makeAnyStr() - Static method in class dk.brics.tajs.lattice.Value: Constructs the value describing any string.
makeAnyStrNotUInt() - Static method in class dk.brics.tajs.lattice.Value: Constructs the value describing any non-UInt string.
makeAnyStrUInt() - Static method in class dk.brics.tajs.lattice.Value: Constructs the value describing any UInt string.
makeBool(boolean) - Static method in class dk.brics.tajs.lattice.Value: Constructs the value describing the given boolean.
makeBool(Bool) - Static method in class dk.brics.tajs.lattice.Value: Constructs the value describing the given Bool.
makeBoolean(boolean, int, SourceLocation) - Static method in class dk.brics.tajs.flowgraph.jsnodes.ConstantNode: Constructs a new constant boolean node.
makeBoolean(boolean, int, boolean, SourceLocation) - Static method in class dk.brics.tajs.flowgraph.jsnodes.ConstantNode: Constructs a new constant boolean node.
makeDefaultArrayPropertyReference(ObjectLabel) - Static method in class dk.brics.tajs.lattice.PropertyReference: Constructs a reference to a default-array property.
makeDefaultNonArrayPropertyReference(ObjectLabel) - Static method in class dk.brics.tajs.lattice.PropertyReference: Constructs a reference to a default-nonarray property.
makeExtendedScope() - Method in class dk.brics.tajs.lattice.Value: Returns a value as this one but marked as having extended scope.
makeInternalPrototypePropertyReference(ObjectLabel) - Static method in class dk.brics.tajs.lattice.PropertyReference: Constructs a reference to an internal prototype property.
makeInternalScopePropertyReference(ObjectLabel) - Static method in class dk.brics.tajs.lattice.PropertyReference: Constructs a reference to an internal scope property.
makeInternalValuePropertyReference(ObjectLabel) - Static method in class dk.brics.tajs.lattice.PropertyReference: Constructs a reference to an internal value property.
makeJSONStr() - Static method in class dk.brics.tajs.lattice.Value: Constructs the value describing any JSON string.
makeNone() - Static method in class dk.brics.tajs.lattice.Obj: Constructs an abstract object where all properties are none and scope is set to empty.
makeNone() - Static method in class dk.brics.tajs.lattice.Value: Constructs the empty abstract value (= bottom, if not considering 'unknown').
makeNull(int, SourceLocation) - Static method in class dk.brics.tajs.flowgraph.jsnodes.ConstantNode: Constructs a new constant 'null' node.
makeNull(int, boolean, SourceLocation) - Static method in class dk.brics.tajs.flowgraph.jsnodes.ConstantNode: Constructs a new constant 'null' node.
makeNull() - Static method in class dk.brics.tajs.lattice.Value: Constructs the value describing definitely null.
makeNum(double) - Static method in class dk.brics.tajs.lattice.Value: Constructs the value describing the given number.
makeNumber(double, int, SourceLocation) - Static method in class dk.brics.tajs.flowgraph.jsnodes.ConstantNode: Constructs a new constant number node.
makeNumber(double, int, boolean, SourceLocation) - Static method in class dk.brics.tajs.flowgraph.jsnodes.ConstantNode: Constructs a new constant number node.
makeNumInf() - Static method in class dk.brics.tajs.lattice.Value: Constructs the value describing +/-Inf.
makeNumNaN() - Static method in class dk.brics.tajs.lattice.Value: Constructs the value describing NaN.
makeObject(ObjectLabel) - Static method in class dk.brics.tajs.lattice.Value: Constructs the value describing the given object label.
makeObject(Set<ObjectLabel>) - Static method in class dk.brics.tajs.lattice.Value: Constructs the value describing the given object labels.
makeOrdinaryPropertyReference(ObjectLabel, String) - Static method in class dk.brics.tajs.lattice.PropertyReference: Constructs a reference to ordinary property.
makePolymorphic(PropertyReference, Value) - Static method in class dk.brics.tajs.lattice.Value: Constructs a fresh polymorphic value.
makePropertyNonNullUndef(AbstractNode) - Static method in class dk.brics.tajs.flowgraph.jsnodes.AssumeNode: Constructs a new assume node for "property value is not null/undefined" with variable property.
makeRenamed(ObjectLabel) - Method in class dk.brics.tajs.lattice.PropertyReference: Constructs a copy of this property reference but with another object label.
makeSingleton() - Method in class dk.brics.tajs.lattice.ObjectLabel: Returns the singleton object label associated with this object label, or this object if that is singleton.
makeSingleton() - Method in class dk.brics.tajs.lattice.PropertyReference: Constructs a copy of this property reference but with a singleton object label instead of a summary object label.
makeStr(String) - Static method in class dk.brics.tajs.lattice.Value: Constructs the value describing the given string.
makeString(String, int, SourceLocation) - Static method in class dk.brics.tajs.flowgraph.jsnodes.ConstantNode: Constructs a new constant string node.
makeString(String, int, boolean, SourceLocation) - Static method in class dk.brics.tajs.flowgraph.jsnodes.ConstantNode: Constructs a new constant string node.
makeSummary() - Method in class dk.brics.tajs.lattice.ObjectLabel: Returns the summary object label associated with this singleton object label.
makeTemporaryStr(String) - Static method in class dk.brics.tajs.lattice.Value: Constructs a temporary value describing the given string.
makeUndef() - Static method in class dk.brics.tajs.lattice.Value: Constructs the value describing definitely undefined.
makeUndefined(int, SourceLocation) - Static method in class dk.brics.tajs.flowgraph.jsnodes.ConstantNode: Constructs a new constant 'undefined' node.
makeUndefined(int, boolean, SourceLocation) - Static method in class dk.brics.tajs.flowgraph.jsnodes.ConstantNode: Constructs a new constant 'undefined' node.
makeUnknown() - Static method in class dk.brics.tajs.lattice.Obj: Constructs an abstract object where all properties have 'unknown' value.
makeUnknown() - Static method in class dk.brics.tajs.lattice.Value: Constructs the unknown value.
makeVariableNonNullUndef(String, SourceLocation) - Static method in class dk.brics.tajs.flowgraph.jsnodes.AssumeNode: Constructs a new assume node for "variable value is not null/undefined".
MapEntry<K,V> - Class in dk.brics.tajs.util: Map entry.
MapEntry(K, V) - Constructor for class dk.brics.tajs.util.MapEntry: Constructs a new map entry.
MapEntryComparator<K extends Comparable<K>,V> - Class in dk.brics.tajs.util: Comparator for map entries using the natural order of the entry keys.
MapEntryComparator() - Constructor for class dk.brics.tajs.util.MapEntryComparator
markActiveBlock(BasicBlock) - Method in class dk.brics.tajs.solver.SolverSynchronizer: Callback, invoked when selecting a block for processing.
markPendingBlock(BasicBlock) - Method in class dk.brics.tajs.solver.SolverSynchronizer: Callback, invoked when a block is added to the worklist.
mergeForInEnd(BlockState<BlockStateType, CallContextType, CallEdgeType>, String) - Method in class dk.brics.tajs.lattice.BlockState: Merges parallel_state into the current state.
mergeFunctionReturn(BlockState<BlockStateType, CallContextType, CallEdgeType>, BlockState<BlockStateType, CallContextType, CallEdgeType>, BlockState<BlockStateType, CallContextType, CallEdgeType>, Summarized, Value) - Method in class dk.brics.tajs.lattice.BlockState: Replaces all definitely non-modified parts of this state by the corresponding parts of the given states.
Message - Class in dk.brics.tajs.solver: Message generated by the analysis.
Message(AbstractNode, Message.Status, String, String, Message.Severity) - Constructor for class dk.brics.tajs.solver.Message: Constructs a new message.
Message(AbstractNode, Message.Status, String, Message.Severity, boolean) - Constructor for class dk.brics.tajs.solver.Message: Constructs a new message.
Message(AbstractNode, Message.Status, String, String, Message.Severity, boolean) - Constructor for class dk.brics.tajs.solver.Message: Constructs a new message.
Message.Severity - Enum in dk.brics.tajs.solver: Severity level.
Message.Status - Enum in dk.brics.tajs.solver: Message kind.
Monitoring<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> - Class in dk.brics.tajs.monitoring: Records various information during the scan phase of an analysis.
Monitoring() - Constructor for class dk.brics.tajs.monitoring.Monitoring: Constructs a new monitoring object.
mul(Value, int, Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.5.1 *
multiplyObject(ObjectLabel) - Method in class dk.brics.tajs.lattice.BlockState: Moves the given object from singleton to summary, such that it represents an unknown number of concrete objects.

N

NativeFunctions - Class in dk.brics.tajs.analysis: Dispatch evaluation of native functions and common functionality used by the native functions.
neq(Value, int, Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.9.2 !=
newList() - Static method in class dk.brics.tajs.util.Collections: Constructs a new empty list.
newList(Collection<T>) - Static method in class dk.brics.tajs.util.Collections: Constructs a new list from the given collection.
newMap() - Static method in class dk.brics.tajs.util.Collections: Constructs a new empty map.
newMap(Map<T1, T2>) - Static method in class dk.brics.tajs.util.Collections: Constructs a new map as a copy of the given map.
newMapMapSet(Map<T1, Map<T2, Set<T3>>>) - Static method in class dk.brics.tajs.util.Collections: Constructs a new map as a copy of the given map (with copies of its values which are map sets)
newMapSet(Map<T1, Set<T2>>) - Static method in class dk.brics.tajs.util.Collections: Constructs a new map as a copy of the given map (with copies of its values which are sets)
newObject(ObjectLabel) - Method in class dk.brics.tajs.lattice.BlockState: Adds an object label, representing a new empty object, to the store.
NewObjectNode - Class in dk.brics.tajs.flowgraph.jsnodes: New object node.
NewObjectNode(int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.NewObjectNode: New object node.
newQueue() - Static method in class dk.brics.tajs.util.Collections: Constructs a new empty queue.
newSet() - Static method in class dk.brics.tajs.util.Collections: Constructs a new empty set.
newSet(Collection<T>) - Static method in class dk.brics.tajs.util.Collections: Constructs a new set from the given collection.
next() - Method in class dk.brics.tajs.lattice.ScopeChain: Returns the tail of this scope chain, or null if none.
NextPropertyNode - Class in dk.brics.tajs.flowgraph.jsnodes: Next-property node.
NextPropertyNode(int, int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.NextPropertyNode: Constructs a new next-property node.
nextTmp - Variable in class dk.brics.tajs.js2flowgraph.FlowGraphEnv
NO_VALUE - Static variable in class dk.brics.tajs.flowgraph.AbstractNode: Register number used for absent values.
Node - Class in dk.brics.tajs.flowgraph.jsnodes: Abstract base class for all ordinary flow graph nodes.
Node(SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.Node: Constructs a new node.
NodeAndContext<CallContextType extends ICallContext<?>> - Class in dk.brics.tajs.solver: Pair of an abstract node and a call context.
NodeAndContext(AbstractNode, CallContextType) - Constructor for class dk.brics.tajs.solver.NodeAndContext: Constructs a new pair.
NodeTransfer - Class in dk.brics.tajs.analysis.js: Transfer for flow graph nodes.
NodeTransfer() - Constructor for class dk.brics.tajs.analysis.js.NodeTransfer: Constructs a new TransferFunctions object.
NodeVisitor<ArgType> - Interface in dk.brics.tajs.flowgraph.jsnodes: Visitor for nodes.
NopNode - Class in dk.brics.tajs.flowgraph.jsnodes: Nop node.
NopNode(SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.NopNode: Constructs a new nop node.
NormalForm - Class in dk.brics.tajs.analysis.uneval: Represents an expression on normal form.
NormalForm(String, Map<String, Integer>, Collection<String>) - Constructor for class dk.brics.tajs.analysis.uneval.NormalForm
not(Value, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.4.9 ! (logical not)
notifyRunOrSingleStep() - Method in class dk.brics.tajs.solver.SolverSynchronizer: Sends a notification to run/single-step.
Null - Interface in dk.brics.tajs.lattice: 'Null' facet for abstract values.
Num - Interface in dk.brics.tajs.lattice: 'Number' facet for abstract values.
NUMBER_PROTOTYPE - Static variable in class dk.brics.tajs.analysis.InitialStateBuilder: Object label for Number.prototype.

O

Obj - Class in dk.brics.tajs.lattice: Abstract object.
Obj(Obj) - Constructor for class dk.brics.tajs.lattice.Obj: Creates a new abstract object as a copy of the given.
OBJECT_PROTOTYPE - Static variable in class dk.brics.tajs.analysis.InitialStateBuilder: Object label for Object.prototype.
ObjectLabel - Class in dk.brics.tajs.lattice: Label of abstract object.
ObjectLabel(AbstractNode, ObjectLabel.Kind) - Constructor for class dk.brics.tajs.lattice.ObjectLabel: Constructs a new object label for a user defined non-function object.
ObjectLabel(Function) - Constructor for class dk.brics.tajs.lattice.ObjectLabel: Constructs a new object label for a user defined function object.
ObjectLabel(HostObject, ObjectLabel.Kind) - Constructor for class dk.brics.tajs.lattice.ObjectLabel: Constructs a new object label for a host object.
ObjectLabel.Kind - Enum in dk.brics.tajs.lattice: Object kinds.
ObjReadsWrites - Class in dk.brics.tajs.monitoring: Reads and writes for an abstract object.
ObjReadsWrites() - Constructor for class dk.brics.tajs.monitoring.ObjReadsWrites
ObjReadsWrites.R_Status - Enum in dk.brics.tajs.monitoring
ObjReadsWrites.W_Status - Enum in dk.brics.tajs.monitoring
Operators - Class in dk.brics.tajs.analysis.js: Evaluation of operators on abstract values (Chapter 11).
operatorToString() - Method in class dk.brics.tajs.flowgraph.jsnodes.BinaryOperatorNode: Returns the operator in human readable form.
Options - Class in dk.brics.tajs.options: Global analysis options.
or(Value, int, Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.10 |

P

Pair<F,S> - Class in dk.brics.tajs.util: Pair of objects.
panicBB - Variable in class dk.brics.tajs.js2flowgraph.FlowGraphEnv
peel() - Method in class dk.brics.tajs.analysis.CallContext: Peels a single layer of the for-in context sensitivity nodes off.
pendingBBs - Variable in class dk.brics.tajs.js2flowgraph.FlowGraphEnv
pendingFuns - Variable in class dk.brics.tajs.js2flowgraph.FlowGraphEnv
popRegister() - Method in class dk.brics.tajs.lattice.BlockState: Pops a value from the register list.
popScopeChain() - Method in class dk.brics.tajs.lattice.BlockState: Pops the top item off the scope chain.
popScopeChain() - Method in class dk.brics.tajs.lattice.ExecutionContext: Pops the top item off the scope chain.
prepareThis(State, State) - Method in interface dk.brics.tajs.analysis.FunctionCalls.CallInfo: Creates the object value of 'this'.
prepareThis(State, State) - Method in class dk.brics.tajs.analysis.FunctionCalls.EventHandlerCall
presentTypeInformation() - Method in class dk.brics.tajs.monitoring.Monitoring: Presents the collected type information.
presentTypeInformation() - Method in class dk.brics.tajs.monitoring.TypeCollector: Presents the collected type information using System.out.println in the format varname: location -> type
printAttributes() - Method in class dk.brics.tajs.lattice.Value: Produces a string description of the attributes of this value.
printModified() - Method in class dk.brics.tajs.lattice.Obj: Prints the maybe modified properties.
printObject(Value) - Method in class dk.brics.tajs.lattice.BlockState: Prints the objects of the given value.
printObjectOrigins(Value) - Static method in class dk.brics.tajs.lattice.BlockState: Prints the source locations of the origins of the objects of the given value.
propagate(State) - Method in class dk.brics.tajs.analysis.State
propagate(BlockStateType, BasicBlock, CallContextType, boolean, boolean) - Method in class dk.brics.tajs.lattice.AnalysisLatticeElement
propagate(BlockState<BlockStateType, CallContextType, CallEdgeType>) - Method in class dk.brics.tajs.lattice.BlockState: Propagates the given state into this state.
propagate(StateExtras) - Method in class dk.brics.tajs.lattice.StateExtras
propagate(BlockStateType, BasicBlock, CallContextType, boolean, boolean) - Method in interface dk.brics.tajs.solver.IAnalysisLatticeElement: Propagates s into the entry state of b in call context c.
propagate(BlockStateType) - Method in interface dk.brics.tajs.solver.IBlockState: Propagates the given state into this state.
propagateToBasicBlock(BlockStateType, BasicBlock, CallContextType) - Method in class dk.brics.tajs.solver.GenericSolver.SolverInterface: Merges state into the entry state of block in call context context and updates the work list accordingly.
propagateToBasicBlockDestructively(BlockStateType, BasicBlock, CallContextType) - Method in class dk.brics.tajs.solver.GenericSolver.SolverInterface: Replaces the entry state of block in call context context with state and updates the work list accordingly.
propagateToFunctionEntry(CallEdgeType, AbstractNode, CallContextType, Function, CallContextType) - Method in class dk.brics.tajs.solver.GenericSolver.SolverInterface: Merges the edge state into the entry state of the callee in the given call context and updates the work list accordingly.
propertyNodes - Variable in class dk.brics.tajs.js2flowgraph.FlowGraphEnv
PropertyReference - Class in dk.brics.tajs.lattice: Reference to an object property.
PropertyReference.Kind - Enum in dk.brics.tajs.lattice: Kind of property being referenced.
pushRegister(Value) - Method in class dk.brics.tajs.lattice.BlockState: Pushes the given value onto the register list.
pushScopeChain(Set<ObjectLabel>) - Method in class dk.brics.tajs.lattice.BlockState: Pushes a new item onto the scope chain.
pushScopeChain(Set<ObjectLabel>) - Method in class dk.brics.tajs.lattice.ExecutionContext: Pushes a new item onto the scope chain.
put(K, V) - Method in class dk.brics.tajs.util.HybridArrayHashMap
put(K, V) - Method in class dk.brics.tajs.util.InjectiveMap
putAll(Map<? extends K, ? extends V>) - Method in class dk.brics.tajs.util.HybridArrayHashMap
putAll(Map<? extends K, ? extends V>) - Method in class dk.brics.tajs.util.InjectiveMap

R

randomString(int) - Static method in class dk.brics.tajs.util.Strings: Generates a random string of the given length containing digits and letters.
RANGE_ERROR_PROTOTYPE - Static variable in class dk.brics.tajs.analysis.InitialStateBuilder: Object label for RangeError.prototype.
readAny() - Method in class dk.brics.tajs.monitoring.ObjReadsWrites
readDefinite(String, AbstractNode) - Method in class dk.brics.tajs.monitoring.ObjReadsWrites
readInternalPrototype(Collection<ObjectLabel>) - Method in class dk.brics.tajs.lattice.BlockState: Returns the value of the internal prototype of the given objects.
readInternalValue(Collection<ObjectLabel>) - Method in class dk.brics.tajs.lattice.BlockState: Returns the value of the internal value property of the given objects.
readMaybe(String, AbstractNode) - Method in class dk.brics.tajs.monitoring.ObjReadsWrites
readObjectScope(ObjectLabel) - Method in class dk.brics.tajs.lattice.BlockState: Returns the value of the internal scope property of the given objects.
readParameter(FunctionCalls.CallInfo, State, int) - Static method in class dk.brics.tajs.analysis.NativeFunctions: Reads the value of a call parameter.
readPropertyDirect(Collection<ObjectLabel>, String) - Method in class dk.brics.tajs.lattice.BlockState: Returns the value of the given property in the objects.
ReadPropertyNode - Class in dk.brics.tajs.flowgraph.jsnodes: Read property node.
ReadPropertyNode(int, int, int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.ReadPropertyNode: Constructs a new read property node with variable property name.
ReadPropertyNode(int, String, int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.ReadPropertyNode: Constructs a new read property node with fixed property name.
readPropertyValue(Collection<ObjectLabel>, String) - Method in class dk.brics.tajs.lattice.BlockState: 8.6.2.1 [[Get]] Returns the value of the given property in the given objects.
readPropertyValue(Collection<ObjectLabel>, Str) - Method in class dk.brics.tajs.lattice.BlockState: 8.6.2.1 [[Get]] Returns the value of the given property in the given objects.
readPropertyWithAttributes(Collection<ObjectLabel>, String) - Method in class dk.brics.tajs.lattice.BlockState: Returns the value of the given property in the given objects.
readPropertyWithAttributes(Collection<ObjectLabel>, Str) - Method in class dk.brics.tajs.lattice.BlockState: Returns the value of the given property in the given objects.
readRegister(int) - Method in class dk.brics.tajs.lattice.BlockState: Reads the value of the given register.
readThis() - Method in class dk.brics.tajs.lattice.BlockState: Returns the value of 'this'.
readThisObjects() - Method in class dk.brics.tajs.lattice.BlockState: Returns the object value of 'this'.
readUnknownParameter(FunctionCalls.CallInfo) - Static method in class dk.brics.tajs.analysis.NativeFunctions: Reads the value of a call parameter.
readVariable(String, Collection<ObjectLabel>) - Method in class dk.brics.tajs.lattice.BlockState: Returns the value of the given variable.
ReadVariableNode - Class in dk.brics.tajs.flowgraph.jsnodes: Read variable node.
ReadVariableNode(String, int, int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.ReadVariableNode: Constructs a new read variable node.
rebuildFullExpression(FlowGraph, AbstractNode, int) - Static method in class dk.brics.tajs.analysis.uneval.UnevalTools: Rebuilds the expression used to create the value in a register from the flow graph.
rebuildFullFromMapping(FlowGraph, String, Map<String, Integer>, AbstractNode) - Static method in class dk.brics.tajs.analysis.uneval.UnevalTools: Rebuild a full expression from a normal form and a mapping.
rebuildNormalForm(FlowGraph, CallNode, State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.uneval.UnevalTools: Returns the normal form expression used to create the first argument to the CallNode.
record(String, SourceLocation, Value) - Method in class dk.brics.tajs.monitoring.TypeCollector: Records a variable name along with its source location and abstract value.
reduce() - Method in class dk.brics.tajs.lattice.BlockState: Reduces this state.
REFERENCE_ERROR_PROTOTYPE - Static variable in class dk.brics.tajs.analysis.InitialStateBuilder: Object label for ReferenceError.prototype.
REGEXP_PROTOTYPE - Static variable in class dk.brics.tajs.analysis.InitialStateBuilder: Object label for RegExp.prototype.
registerBlockContext(BasicBlock, CallContextType) - Method in class dk.brics.tajs.solver.CallGraph: Assigns an order to the given (basic block,context).
rem(Value, int, Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.5.3 %
remove(State) - Method in class dk.brics.tajs.analysis.State
remove(BlockState<BlockStateType, CallContextType, CallEdgeType>) - Method in class dk.brics.tajs.lattice.BlockState
remove(ExecutionContext) - Method in class dk.brics.tajs.lattice.ExecutionContext: Removes components in the other state from this state.
remove(Obj) - Method in class dk.brics.tajs.lattice.Obj: Removes the parts of this object that are also in the given object.
remove(ScopeChain, ScopeChain) - Static method in class dk.brics.tajs.lattice.ScopeChain: Returns a copy of s1 where s2 has been removed.
remove(StateExtras) - Method in class dk.brics.tajs.lattice.StateExtras: Removes the parts that are also in 'other'.
remove(Value) - Method in class dk.brics.tajs.lattice.Value: Returns a copy of this value where all parts that are also in the given value have been removed.
remove(BlockStateType) - Method in interface dk.brics.tajs.solver.IBlockState: Removes value parts that are in the other state from this state.
remove(WorkList<CallContextType>.Entry) - Method in class dk.brics.tajs.solver.WorkList: Removes the given entry.
remove(Object) - Method in class dk.brics.tajs.util.HybridArrayHashMap
remove(Object) - Method in class dk.brics.tajs.util.HybridArrayHashSet
remove(Object) - Method in class dk.brics.tajs.util.InjectiveMap
removeAll(Collection<?>) - Method in class dk.brics.tajs.util.HybridArrayHashSet
removeAll(Collection<? extends K>) - Method in class dk.brics.tajs.util.InjectiveMap: Removes the mapping for each of the given keys.
removeAttributes() - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of the given value but with all attributes definitely not set.
removeBlocks(Collection<BasicBlock>) - Method in class dk.brics.tajs.flowgraph.Function: Removes a collection of basic blocks from the function.
removeFunctions(Collection<Function>) - Method in class dk.brics.tajs.flowgraph.FlowGraph: Deletes a collection of functions from the flow graph.
removeNext() - Method in class dk.brics.tajs.solver.WorkList: Picks and removes the next entry.
removeNodes(Collection<AbstractNode>) - Method in class dk.brics.tajs.flowgraph.BasicBlock: Removes a set of nodes from the basic block.
removeRegister(int) - Method in class dk.brics.tajs.lattice.BlockState: Removes the given register (strong update).
removeSuccessor(BasicBlock) - Method in class dk.brics.tajs.flowgraph.BasicBlock: Remove a successor.
Renaming - Class in dk.brics.tajs.lattice
Renaming() - Constructor for class dk.brics.tajs.lattice.Renaming
replaceNodes(List<AbstractNode>) - Method in class dk.brics.tajs.flowgraph.BasicBlock: Replaces the set of nodes in a basic block.
replaceNonModifiedParts(Obj) - Method in class dk.brics.tajs.lattice.Obj: Replaces all definitely non-modified properties in this object by the corresponding properties of other.
replaceObjectLabel(ObjectLabel, ObjectLabel, Map<ScopeChain, ScopeChain>) - Method in class dk.brics.tajs.lattice.ExecutionContext: Replaces all occurrences of oldlabel by newlabel.
replaceObjectLabel(ObjectLabel, ObjectLabel, Map<ScopeChain, ScopeChain>) - Method in class dk.brics.tajs.lattice.Obj: Replaces all occurrences of oldlabel by newlabel.
replaceObjectLabel(ScopeChain, ObjectLabel, ObjectLabel, Map<ScopeChain, ScopeChain>) - Static method in class dk.brics.tajs.lattice.ScopeChain: Replaces all occurrences of oldlabel by newlabel.
replaceObjectLabel(ObjectLabel, ObjectLabel) - Method in class dk.brics.tajs.lattice.Value: Returns a copy of this value where the given object label has been replaced, if present.
replaceObjectLabels(Map<ObjectLabel, ObjectLabel>, Map<ScopeChain, ScopeChain>) - Method in class dk.brics.tajs.lattice.ExecutionContext: Replaces all object labels according to the given map.
replaceObjectLabels(Map<ObjectLabel, ObjectLabel>, Map<ScopeChain, ScopeChain>) - Method in class dk.brics.tajs.lattice.Obj: Replaces all object labels according to the given map.
replaceObjectLabels(ScopeChain, Map<ObjectLabel, ObjectLabel>, Map<ScopeChain, ScopeChain>) - Static method in class dk.brics.tajs.lattice.ScopeChain: Replaces all object labels according to the given map.
replaceObjectLabels(Map<ObjectLabel, ObjectLabel>) - Method in class dk.brics.tajs.lattice.StateExtras: Replaces all object labels according to the given map.
replaceObjectLabels(Map<ObjectLabel, ObjectLabel>) - Method in class dk.brics.tajs.lattice.Summarized: Replaces all object labels according to the given map.
replaceObjectLabels(Map<ObjectLabel, ObjectLabel>) - Method in class dk.brics.tajs.lattice.Value: Returns a copy of this value where the object labels have been replaced according to the given map.
replaceVariable(BasicBlock, int, int) - Static method in class dk.brics.tajs.analysis.uneval.Decorator: Replace targetVar by replacementVar in the BasicBlock and all successors.
reportShadowing(FlowGraph) - Method in class dk.brics.tajs.monitoring.Monitoring: Add messages about shadowing.
reset() - Static method in class dk.brics.tajs.lattice.BlockState: Resets the global counters.
reset() - Static method in class dk.brics.tajs.lattice.Obj: Resets the global counters.
reset() - Static method in class dk.brics.tajs.lattice.ScopeChain: Resets the cache numbers.
reset() - Static method in class dk.brics.tajs.lattice.Value: Resets the cache.
reset() - Static method in class dk.brics.tajs.Main: Resets all internal counters and caches.
reset() - Static method in class dk.brics.tajs.options.Options: Resets all options.
reset() - Static method in class dk.brics.tajs.util.Strings: Resets the random string generator.
resolveRelative(String, String) - Static method in class dk.brics.tajs.util.Loader: Resolves relative paths/URLs.
restrictTo(Value) - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but restricted according to the given value.
restrictToBool() - Method in class dk.brics.tajs.lattice.Value: Constructs a value from this value where only the boolean facet is considered.
restrictToNotAbsent() - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but definitely not absent.
restrictToNotModified() - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but marked as definitely not modified.
restrictToNotNaN() - Method in interface dk.brics.tajs.lattice.Num: Constructs a value as a copy of this value but definitely not NaN.
restrictToNotNaN() - Method in class dk.brics.tajs.lattice.Value
restrictToNotNull() - Method in interface dk.brics.tajs.lattice.Null: Constructs a value as a copy of this value but definitely not null.
restrictToNotNull() - Method in class dk.brics.tajs.lattice.Value
restrictToNotNullNotUndef() - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but definitely not null nor undefined.
restrictToNotNum() - Method in interface dk.brics.tajs.lattice.Num: Constructs a value from this value but definitely not a number.
restrictToNotNum() - Method in class dk.brics.tajs.lattice.Value
restrictToNotObject() - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but only with non-object values.
restrictToNotStr() - Method in interface dk.brics.tajs.lattice.Str: Constructs a value from this value but definitely not a string.
restrictToNotStr() - Method in class dk.brics.tajs.lattice.Value
restrictToNotUndef() - Method in interface dk.brics.tajs.lattice.Undef: Constructs a value as a copy of this value but definitely not undefined.
restrictToNotUndef() - Method in class dk.brics.tajs.lattice.Value
restrictToNull() - Method in interface dk.brics.tajs.lattice.Null: Constructs a value as a copy of this value but only considering its null facet.
restrictToNull() - Method in class dk.brics.tajs.lattice.Value
restrictToNum() - Method in interface dk.brics.tajs.lattice.Num: Constructs a value from this value where only the number facet is considered.
restrictToNum() - Method in class dk.brics.tajs.lattice.Value
restrictToObject() - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but only with object values.
restrictToStr() - Method in interface dk.brics.tajs.lattice.Str: Constructs a value from this value where only the string facet is considered.
restrictToStr() - Method in class dk.brics.tajs.lattice.Value
restrictToStrBoolNum() - Method in class dk.brics.tajs.lattice.Value: Constructs a value from this value where only the string/boolean/number facets are considered.
restrictToUndef() - Method in interface dk.brics.tajs.lattice.Undef: Constructs a value as a copy of this value but only considering its undefined facet.
restrictToUndef() - Method in class dk.brics.tajs.lattice.Value
retainAll(Collection<?>) - Method in class dk.brics.tajs.util.HybridArrayHashSet
retBB - Variable in class dk.brics.tajs.js2flowgraph.FlowGraphEnv
RETURN_REG - Static variable in class dk.brics.tajs.flowgraph.AbstractNode: Register number used for return values.
returnFromFunctionExit(BlockStateType, AbstractNode, CallContextType, Function, CallContextType) - Method in class dk.brics.tajs.solver.GenericSolver.SolverInterface: Transforms the given state inversely according to the call edge.
ReturnNode - Class in dk.brics.tajs.flowgraph.jsnodes: Return node.
ReturnNode(int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.ReturnNode: Constructs a new return node.
RhinoASTToFlowgraph - Class in dk.brics.tajs.js2flowgraph
RhinoASTToFlowgraph() - Constructor for class dk.brics.tajs.js2flowgraph.RhinoASTToFlowgraph: The constructor.
run(Analysis) - Static method in class dk.brics.tajs.Main: Runs the analysis.

S

scan() - Method in class dk.brics.tajs.solver.GenericSolver: Scans for messages.
ScopeChain - Class in dk.brics.tajs.lattice: Abstract scope chain.
set(String) - Static method in class dk.brics.tajs.options.Options: Sets the given option.
setArg1Register(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.BinaryOperatorNode: Sets the first argument register.
setArg2Register(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.BinaryOperatorNode: Sets the second argument register.
setArgRegister(int, int) - Method in class dk.brics.tajs.flowgraph.jsnodes.CallNode: Sets the i'th argument to the given argument register.
setArgRegister(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.TypeofNode: Sets the argument register.
setArgRegister(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.UnaryOperatorNode: Sets the argument register.
setArtificial() - Method in class dk.brics.tajs.flowgraph.AbstractNode: Marks this operation as an artifact that should not appear in analysis messages.
setAttributes(Value) - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but with attributes set as in the given value.
setAttributes(boolean, boolean, boolean) - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but with the given attributes.
setBaseRegister(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.AssumeNode: Sets the base register.
setBaseRegister(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.CallConversionNode: Sets the base register.
setBaseRegister(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.CallNode: Sets the base register.
setBaseRegister(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.DeletePropertyNode: Sets the base register
setBaseRegister(int) - Method in interface dk.brics.tajs.flowgraph.jsnodes.IPropertyNode: Sets the base register.
setBaseRegister(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.ReadPropertyNode
setBaseRegister(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.WritePropertyNode
setBasicBlock(BasicBlock) - Method in class dk.brics.tajs.lattice.BlockState: Sets the basic block owning this state.
setBlock(BasicBlock) - Method in class dk.brics.tajs.flowgraph.AbstractNode: Sets the basic block containing this node.
setBottomAttributes() - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but with no attribute information.
setBottomPropertyData() - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but with no information that only makes sense for object property values.
setCallGraph(CallGraph<State, CallContext, CallEdge<State>>) - Method in class dk.brics.tajs.analysis.WorkListStrategy: Sets the call graph.
setCode(NodeAndContext<CallContext>, FlowGraphFragment) - Method in class dk.brics.tajs.analysis.EvalCache: Stores the abstract value and associated code in the cache.
setConditionRegister(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.IfNode: Sets the condition register.
setContext(CallContextType) - Method in class dk.brics.tajs.lattice.BlockState: Sets the call context.
setCurrentState(BlockStateType) - Method in class dk.brics.tajs.solver.GenericSolver.SolverInterface: Sets the current abstract state.
setDead() - Method in class dk.brics.tajs.flowgraph.AbstractNode: Marks this operation as a known to have no effect on the program behavior.
setDefaultArrayProperty(Value) - Method in class dk.brics.tajs.lattice.Obj: Sets the value of the default array property.
setDefaultNonArrayProperty(Value) - Method in class dk.brics.tajs.lattice.Obj: Sets the value of the default non-array property.
setDontDelete() - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but with DontDelete definitely set.
setDontEnum() - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but with DontEnum definitely set.
setDuplicateOf(AbstractNode) - Method in class dk.brics.tajs.flowgraph.AbstractNode: Marks that this node is a duplicate of the given node.
setEntry(BasicBlock) - Method in class dk.brics.tajs.flowgraph.Function: Sets the entry block.
setExceptionalExit(BasicBlock) - Method in class dk.brics.tajs.flowgraph.Function: Sets the exceptional exit basic block.
setExceptionHandler(BasicBlock) - Method in class dk.brics.tajs.flowgraph.BasicBlock: Sets the exception handler block.
setExecutionContext(ExecutionContext) - Method in class dk.brics.tajs.lattice.BlockState: Sets the execution context.
setFlowGraph(FlowGraph) - Method in class dk.brics.tajs.solver.SolverSynchronizer: Callback, invoked when flow graph has been constructed.
setFunctionRegister(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.CallNode: Sets the function register.
setIndex(int) - Method in class dk.brics.tajs.flowgraph.AbstractNode: Sets the node index.
setIndex(int) - Method in class dk.brics.tajs.flowgraph.BasicBlock: Sets the block index.
setIndex(int) - Method in class dk.brics.tajs.flowgraph.Function: Sets the function index.
setInternalPrototype(Value) - Method in class dk.brics.tajs.lattice.Obj: Sets the internal [[Prototype]] property.
setInternalValue(Value) - Method in class dk.brics.tajs.lattice.Obj: Sets the internal [[Value]] property.
setMaxRegister(int) - Method in class dk.brics.tajs.flowgraph.Function: Sets the upper bound of the register numbers used in this function.
setModifiedFrom(Value) - Method in class dk.brics.tajs.lattice.Value: Constructs a copy of this value with the modified flag from the given value.
setNotDontDelete() - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but with DontDelete definitely not set.
setNotDontEnum() - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but with DontEnum definitely not set.
setNotReadOnly() - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but with ReadOnly definitely not set.
setObjectRegister(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.BeginForInNode: Sets the object register.
setObjectRegister(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.EnterWithNode: Sets the object register.
setOrder(int) - Method in class dk.brics.tajs.flowgraph.BasicBlock: Sets the block order.
setOrdinaryExit(BasicBlock) - Method in class dk.brics.tajs.flowgraph.Function: Sets the ordinary exit block.
setProperties(Map<String, Value>) - Method in class dk.brics.tajs.lattice.Obj: Sets the property map.
setProperty(String, Value) - Method in class dk.brics.tajs.lattice.Obj: Sets the given property.
setPropertyRegister(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.AssumeNode: Sets the property register.
setPropertyRegister(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.DeletePropertyNode: Sets the property register.
setPropertyRegister(int) - Method in interface dk.brics.tajs.flowgraph.jsnodes.IPropertyNode: Set the property register.
setPropertyRegister(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.NextPropertyNode: Sets the property register.
setPropertyRegister(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.ReadPropertyNode
setPropertyRegister(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.WritePropertyNode
setPropertyString(String) - Method in interface dk.brics.tajs.flowgraph.jsnodes.IPropertyNode: Sets the property string.
setPropertyString(String) - Method in class dk.brics.tajs.flowgraph.jsnodes.ReadPropertyNode
setPropertyString(String) - Method in class dk.brics.tajs.flowgraph.jsnodes.WritePropertyNode
setReadOnly() - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but with ReadOnly definitely set.
setRegister(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.WriteVariableNode: Sets the register.
setRegistersDone(boolean) - Method in class dk.brics.tajs.flowgraph.AbstractNode: Sets the registers done flag.
setReturnValueRegister(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.ReturnNode: Sets the return value register.
setScopeChain(ScopeChain) - Method in class dk.brics.tajs.lattice.Obj: Sets the internal [[Scope]] property.
setSingleStep(boolean) - Method in class dk.brics.tajs.solver.SolverSynchronizer: Enable/disable single-stepping.
setSolverInterface(GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Method in class dk.brics.tajs.analysis.Analysis
setSolverInterface(GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Method in class dk.brics.tajs.analysis.js.NodeTransfer: Initializes the connection to the solver.
setSolverInterface(GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Method in class dk.brics.tajs.analysis.Transfer: Initializes the connection to the solver.
setSolverInterface(GenericSolver<BlockStateType, CallContextType, CallEdgeType, MonitoringType, AnalysisType>.SolverInterface) - Method in interface dk.brics.tajs.solver.IAnalysis: Sets the current solver interface.
setState(BlockStateType) - Method in class dk.brics.tajs.lattice.CallEdge
setState(BlockStateType) - Method in interface dk.brics.tajs.solver.ICallEdge: Sets the state at this edge.
setSuccessors(BasicBlock, BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.IfNode: Sets the true/false successors.
setTo(Obj) - Method in class dk.brics.tajs.lattice.Obj: Sets this object to be a copy of the given.
setToNone() - Method in class dk.brics.tajs.lattice.BlockState: Sets this state to the none-state (representing the empty set of concrete states).
setToNone() - Method in class dk.brics.tajs.lattice.StateExtras: Resets all maps.
setToUnknown() - Method in class dk.brics.tajs.lattice.BlockState: Sets all object properties to 'unknown'.
setValue(V) - Method in class dk.brics.tajs.util.MapEntry
setValueRegister(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.ThrowNode: Sets the value register.
setValueRegister(int) - Method in class dk.brics.tajs.flowgraph.jsnodes.WritePropertyNode: Sets the value register.
shl(Value, int, Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.7.1 << (left shift)
shr(Value, int, Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.7.2 >> (signed right shift)
singleton(T) - Static method in class dk.brics.tajs.util.Collections: Constructs a new mutable singleton set containing the given element.
size() - Method in class dk.brics.tajs.solver.WorkList: Returns the number of entries in the work list.
size() - Method in class dk.brics.tajs.util.HybridArrayHashMap
size() - Method in class dk.brics.tajs.util.HybridArrayHashSet
size() - Method in class dk.brics.tajs.util.InjectiveMap
solve() - Method in class dk.brics.tajs.solver.GenericSolver: Runs the solver.
Solver - Class in dk.brics.tajs.analysis: Fixpoint solver.
Solver(Analysis, SolverSynchronizer) - Constructor for class dk.brics.tajs.analysis.Solver: Constructs a new solver.
SolverSynchronizer - Class in dk.brics.tajs.solver: Synchronizer for solver events.
SolverSynchronizer() - Constructor for class dk.brics.tajs.solver.SolverSynchronizer: Constructs a new synchronizer.
sortedEntries(Map<K, V>) - Static method in class dk.brics.tajs.util.Collections: Returns an ordered set of map entries, sorted by the natural order of the entry keys.
SourceLocation - Class in dk.brics.tajs.flowgraph: Source location.
SourceLocation(int, int, String) - Constructor for class dk.brics.tajs.flowgraph.SourceLocation: Constructs a new source location.
SpecialArgs - Class in dk.brics.tajs.analysis: Function arguments relevant for context sensitivity.
SpecialArgs() - Constructor for class dk.brics.tajs.analysis.SpecialArgs: Constructs a new empty SpecialArgs object.
specialCopy(BasicBlock, BasicBlock) - Method in class dk.brics.tajs.js2flowgraph.FlowGraphEnv
stackObjectLabels() - Method in class dk.brics.tajs.lattice.BlockState: Adds object labels used in current registers and execution context to stacked object labels.
State - Class in dk.brics.tajs.analysis: Abstract state.
State(GenericSolver<State, CallContext, CallEdge<State>, ?, ?>.SolverInterface, BasicBlock) - Constructor for class dk.brics.tajs.analysis.State: Constructs a new abstract state.
StateExtras - Class in dk.brics.tajs.lattice
StateExtras() - Constructor for class dk.brics.tajs.lattice.StateExtras
StateExtras(StateExtras) - Constructor for class dk.brics.tajs.lattice.StateExtras
Str - Interface in dk.brics.tajs.lattice: 'String' facet for abstract values.
stricteq(Value, Value, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.9.4 ===
strictneq(Value, Value, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.9.5 !==
STRING_PROTOTYPE - Static variable in class dk.brics.tajs.analysis.InitialStateBuilder: Object label for String.prototype.
Strings - Class in dk.brics.tajs.util: Miscellaneous string operations.
sub(Value, int, Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.6.2 - (binary)
summarize(Summarized) - Method in class dk.brics.tajs.lattice.ExecutionContext: Summarizes this execution context.
summarize(Summarized) - Method in class dk.brics.tajs.lattice.Obj: Summarizes the object labels in this object.
summarize(ScopeChain, Summarized) - Static method in class dk.brics.tajs.lattice.ScopeChain: Constructs a scope chain as a copy of the given one but with object labels summarized.
summarize(ScopeChain, Summarized, Map<ScopeChain, ScopeChain>) - Static method in class dk.brics.tajs.lattice.ScopeChain: Summarizes this scope chain.
summarize(Set<ObjectLabel>) - Method in class dk.brics.tajs.lattice.Summarized: Summarizes the given set of object labels.
summarize(Summarized) - Method in class dk.brics.tajs.lattice.Value: Constructs a value as a copy of this value but with object labels summarized.
Summarized - Class in dk.brics.tajs.lattice: Maybe/definitely summarized object label sets.
Summarized() - Constructor for class dk.brics.tajs.lattice.Summarized: Constructs a new pair of empty summarized sets.
Summarized(Summarized) - Constructor for class dk.brics.tajs.lattice.Summarized: Constructs a new pair of summarized sets.
SYNTAX_ERROR_PROTOTYPE - Static variable in class dk.brics.tajs.analysis.InitialStateBuilder: Object label for SyntaxError.prototype.

T

throwException(State, Value, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface, AbstractNode, CallContext) - Static method in class dk.brics.tajs.analysis.Exceptions: Models an exception being thrown at the given node.
ThrowNode - Class in dk.brics.tajs.flowgraph.jsnodes: Throw node.
ThrowNode(int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.ThrowNode: Constructs a new throw node.
throwRangeError(State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.Exceptions: Models a RangeError exception being thrown at the current node.
throwReferenceError(State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.Exceptions: Models a ReferenceError exception being thrown at the current node.
throwSyntaxError(State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.Exceptions: Models a SyntaxError exception being thrown at the current node.
throwTypeError(State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.Exceptions: Models a TypeError exception being thrown at the current node.
throwTypeErrorIfConstructor(FunctionCalls.CallInfo, State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.NativeFunctions: Throws a type error exception and issues a warning if the given call is a constructor call.
throwTypeErrorIfWrongKindOfThis(ECMAScriptObjects, FunctionCalls.CallInfo, State, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface, ObjectLabel.Kind) - Static method in class dk.brics.tajs.analysis.NativeFunctions: Throws a type error exception and issues a warning if the kind of the 'this' object is not as expected.
toArray() - Method in class dk.brics.tajs.util.HybridArrayHashSet
toArray(T[]) - Method in class dk.brics.tajs.util.HybridArrayHashSet
toBoolean(Value) - Static method in class dk.brics.tajs.analysis.Conversion: 9.2 ToBoolean.
toDot(PrintWriter, boolean) - Method in class dk.brics.tajs.flowgraph.BasicBlock: Produces a Graphviz dot representation of this block.
toDot(PrintWriter) - Method in class dk.brics.tajs.flowgraph.FlowGraph: Produces a Graphviz dot representation of this flow graph.
toDot(String, boolean) - Method in class dk.brics.tajs.flowgraph.FlowGraph: Produces a Graphviz dot representation of each function in this flow graph.
toDot(PrintWriter, boolean, boolean) - Method in class dk.brics.tajs.flowgraph.Function: Produces a Graphviz dot representation of this function.
toDot() - Method in class dk.brics.tajs.lattice.BlockState
toDot(PrintWriter) - Method in class dk.brics.tajs.solver.CallGraph: Produces a Graphviz dot representation of this call graph.
toDot(PrintWriter, boolean) - Method in class dk.brics.tajs.solver.CallGraph: Produces a Graphviz dot representation of this call graph.
toDot() - Method in interface dk.brics.tajs.solver.IBlockState: Produces a graphviz dot representation of this state.
toEntry(BasicBlock) - Method in class dk.brics.tajs.analysis.CallContext
toEntry(BasicBlock) - Method in interface dk.brics.tajs.solver.ICallContext: Returns the entry of the nearest enclosing basic block and context.
toInt32(double) - Static method in class dk.brics.tajs.analysis.Conversion: 9.5 ToInt32.
toInteger(Value, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.Conversion: 9.4 ToInteger.
toInteger(Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.Conversion: 9.4 ToInteger.
toNumber(Value, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.Conversion: 9.3 ToNumber.
toNumber(Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.Conversion: 9.3 ToNumber.
toObject(State, AbstractNode, Value, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.Conversion: 9.9 ToObject, returning a Value.
toObjectLabels(State, AbstractNode, Value, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.Conversion: 9.9 ToObject, returning a set of object labels.
toPrimitive(Value, Conversion.Hint, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.Conversion: 9.1 ToPrimitive.
toPrimitive(Value, int, Conversion.Hint, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.Conversion: 9.1 ToPrimitive.
toString() - Method in class dk.brics.tajs.analysis.CallContext
toString(Value, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.Conversion: 9.8 ToString.
toString(Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.Conversion: 9.8 ToString.
toString() - Method in enum dk.brics.tajs.analysis.HostAPIs
toString() - Method in enum dk.brics.tajs.analysis.nativeobjects.ECMAScriptObjects
toString() - Method in class dk.brics.tajs.analysis.uneval.NormalForm
toString() - Method in class dk.brics.tajs.flowgraph.AbstractNode: Returns a string description of this node.
toString() - Method in class dk.brics.tajs.flowgraph.BasicBlock: Returns a string description of this block.
toString() - Method in class dk.brics.tajs.flowgraph.FlowGraph: Returns a string description of this flow graph.
toString() - Method in class dk.brics.tajs.flowgraph.Function: Returns a string description of this function.
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.AssumeNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.BeginForInNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.BinaryOperatorNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.CallConversionNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.CallNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.CatchNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.ConstantNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.DeclareFunctionNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.DeclareVariableNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.DeletePropertyNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.EndForInNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.EnterWithNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.EventDispatcherNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.EventEntryNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.ExceptionalReturnNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.HasNextPropertyNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.IfNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.LeaveWithNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.NewObjectNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.NextPropertyNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.NopNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.ReadPropertyNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.ReadVariableNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.ReturnNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.ThrowNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.TypeofNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.UnaryOperatorNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.WritePropertyNode
toString() - Method in class dk.brics.tajs.flowgraph.jsnodes.WriteVariableNode
toString() - Method in class dk.brics.tajs.flowgraph.SourceLocation: Returns a string description of the source information associated with this node.
toString() - Method in class dk.brics.tajs.lattice.BlockState: Returns a description of this abstract state.
toString() - Method in class dk.brics.tajs.lattice.ExecutionContext: Returns a string representation of this execution context.
toString() - Method in interface dk.brics.tajs.lattice.HostAPI: Returns the full name of this host API.
toString() - Method in class dk.brics.tajs.lattice.Obj: Produces a string description of this abstract object.
toString() - Method in class dk.brics.tajs.lattice.ObjectLabel: Produces a string representation of this object label.
toString() - Method in class dk.brics.tajs.lattice.PropertyReference: Returns a string representation of the object.
toString() - Method in class dk.brics.tajs.lattice.ScopeChain: Returns a string representation of this scope chain.
toString() - Method in class dk.brics.tajs.lattice.StateExtras: Returns a description of the sets and maps.
toString() - Method in class dk.brics.tajs.lattice.Summarized: Returns a string representation of the object.
toString() - Method in class dk.brics.tajs.lattice.Value: Produces a string description of this value.
toString() - Method in class dk.brics.tajs.monitoring.Monitoring: Returns a string description of the results.
toString() - Method in class dk.brics.tajs.monitoring.ObjReadsWrites
toString() - Method in class dk.brics.tajs.solver.BlockAndContext
toString() - Method in class dk.brics.tajs.solver.CallGraph: Returns a textual description of this call graph.
toString() - Method in interface dk.brics.tajs.solver.ICallContext: Returns a description of this call context.
toString() - Method in enum dk.brics.tajs.solver.Message.Status
toString() - Method in class dk.brics.tajs.solver.Message: Returns a string description of this message.
toString() - Method in class dk.brics.tajs.solver.NodeAndContext
toString() - Method in class dk.brics.tajs.solver.WorkList.Entry: Returns a string description of this entry.
toString() - Method in class dk.brics.tajs.solver.WorkList: Returns a string description of this work list.
toString() - Method in class dk.brics.tajs.util.HybridArrayHashMap
toString() - Method in class dk.brics.tajs.util.HybridArrayHashSet
toString() - Method in class dk.brics.tajs.util.InjectiveMap
toString() - Method in class dk.brics.tajs.util.Pair
toStringBrief() - Method in class dk.brics.tajs.lattice.BlockState: As BlockState.toString() but excludes registers and non-modified objects and properties.
toStringBrief() - Method in interface dk.brics.tajs.solver.IBlockState: Returns a brief description of the state.
toStringModified() - Method in class dk.brics.tajs.lattice.BlockState: Prints the modified parts of the store.
toStringNonIdentityItems() - Method in class dk.brics.tajs.util.InjectiveMap: Returns a string description of this map, excluding identity items.
toUInt16(double) - Static method in class dk.brics.tajs.analysis.Conversion: 9.7 ToUInt16.
toUInt32(double) - Static method in class dk.brics.tajs.analysis.Conversion: 9.6 ToUInt32.
transfer(BasicBlock, BasicBlock, State) - Method in class dk.brics.tajs.analysis.js.EdgeTransfer
Transfer - Class in dk.brics.tajs.analysis: Transfer for flow graph nodes and edges.
Transfer() - Constructor for class dk.brics.tajs.analysis.Transfer: Constructs a new AbstractNodeTransfer object.
transfer(AbstractNode, State) - Method in class dk.brics.tajs.analysis.Transfer
transfer(BasicBlock, State) - Method in class dk.brics.tajs.analysis.Transfer
transfer(BasicBlock, BasicBlock, State) - Method in class dk.brics.tajs.analysis.Transfer
transfer(BasicBlock, BlockStateType) - Method in interface dk.brics.tajs.solver.IBlockTransfer: Applies the transfer function on the given block and input state.
transfer(BasicBlock, BasicBlock, BlockStateType) - Method in interface dk.brics.tajs.solver.IEdgeTransfer: Returns true if flow should occur on the given edge and state.
transfer(AbstractNode, BlockStateType) - Method in interface dk.brics.tajs.solver.INodeTransfer: Applies the transfer function on the given node and input state.
transferExceptionalReturn(BasicBlock, State, NodeAndContext<CallContext>) - Method in class dk.brics.tajs.analysis.js.NodeTransfer: Transfer for an exceptional-return statement.
transferReturn(AbstractNode, Function, CallContext, CallContext) - Method in class dk.brics.tajs.analysis.js.NodeTransfer: Transfer ordinary and exceptional return for the given call node and callee function.
transferReturn(int, BasicBlock, State, NodeAndContext<CallContext>) - Method in class dk.brics.tajs.analysis.js.NodeTransfer: Transfer for a return statement.
transferReturn(AbstractNode, Function, CallContext, CallContext) - Method in class dk.brics.tajs.analysis.Transfer
transferReturn(AbstractNode, Function, CallContextType, CallContextType) - Method in interface dk.brics.tajs.solver.INodeTransfer: Processes ordinary and exceptional return flow when a new call edge has been added.
transform(CallEdgeType, BlockStateType, Function, CallContextType) - Method in class dk.brics.tajs.lattice.BlockState
transform(CallEdgeType, BlockStateType, Function, CallContextType) - Method in interface dk.brics.tajs.solver.IBlockState: Transforms this state according to the given edge.
transformInverse(CallEdgeType, BlockStateType) - Method in class dk.brics.tajs.lattice.BlockState
transformInverse(CallEdgeType, BlockStateType) - Method in interface dk.brics.tajs.solver.IBlockState: Transforms this state inversely according to the given edge.
trim(BlockStateType) - Method in class dk.brics.tajs.lattice.BlockState: Introduces 'unknown' values in this state according to the given function entry state.
trim(Obj) - Method in class dk.brics.tajs.lattice.Obj: Trims this object according to the given existing object.
trim(Value) - Method in class dk.brics.tajs.lattice.Value: Constructs a value by trimming this value according to the given value.
trim(BlockStateType) - Method in interface dk.brics.tajs.solver.IBlockState: Trims this state according to the given existing state.
TYPE_ERROR_PROTOTYPE - Static variable in class dk.brics.tajs.analysis.InitialStateBuilder: Object label for TypeError.prototype.
TypeCollector - Class in dk.brics.tajs.monitoring: Collects abstract values for variable occurrences during the scanning phase of the analysis.
TypeCollector() - Constructor for class dk.brics.tajs.monitoring.TypeCollector
TypeCollector.VariableSummary - Class in dk.brics.tajs.monitoring: Pair of a variable name and a source location.
TypeCollector.VariableSummary(String, SourceLocation) - Constructor for class dk.brics.tajs.monitoring.TypeCollector.VariableSummary
typeof(Value, boolean) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.4.3 typeof
TypeofNode - Class in dk.brics.tajs.flowgraph.jsnodes: Typeof node.
TypeofNode(int, int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.TypeofNode: Constructs a new typeof node for a property reference.
TypeofNode(String, int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.TypeofNode: Constructs a new typeof node for a variable.
typeSize() - Method in class dk.brics.tajs.lattice.Value: Returns the number of different types of this value.

U

uminus(Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.4.7 - (unary)
UnaryOperatorNode - Class in dk.brics.tajs.flowgraph.jsnodes: Unary operator node.
UnaryOperatorNode(UnaryOperatorNode.Op, int, int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.UnaryOperatorNode: Constructs a new unary operator node.
UnaryOperatorNode.Op - Enum in dk.brics.tajs.flowgraph.jsnodes: The different kinds of unary operators.
Undef - Interface in dk.brics.tajs.lattice: 'Undefined' facet for abstract values.
uneval(AnalyzerCallback, String, boolean, String) - Method in class dk.brics.tajs.unevalizer.Unevalizer: Morally this is function has the type: AnalyzerCallback -> EvalString -> Bool -> Maybe ResultVar -> Maybe String
Unevalizer - Class in dk.brics.tajs.unevalizer
Unevalizer() - Constructor for class dk.brics.tajs.unevalizer.Unevalizer
unevalizerCallback(FlowGraph, State, AbstractNode, NormalForm) - Static method in class dk.brics.tajs.analysis.uneval.UnevalTools: Returns a callback object for the transformation component.
UnevalTools - Class in dk.brics.tajs.analysis.uneval: Utility routines for the unevalizer parts.
UnevalTools() - Constructor for class dk.brics.tajs.analysis.uneval.UnevalTools
UnknownValueResolver - Class in dk.brics.tajs.lattice: Resolves 'unknown' and polymorphic properties.
updateArrayLength(AbstractNode, State, Set<ObjectLabel>, Str, Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.NativeFunctions: Updates the length property of any arrays among the given objects in accordance with 15.4.5.1.
uplus(Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.4.6 + (unary)
URI_ERROR_PROTOTYPE - Static variable in class dk.brics.tajs.analysis.InitialStateBuilder: Object label for URIError.prototype.
UserFunctionCalls - Class in dk.brics.tajs.analysis.js: Models calls to user-defined (non-host) functions.
ushr(Value, int, Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators: 11.7.3 >>> (unsigned right shift)





V

Value - Class in dk.brics.tajs.lattice

Abstract value.

valueOf(String) - Static method in enum dk.brics.tajs.analysis.Conversion.Hint

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum dk.brics.tajs.analysis.HostAPIs

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum dk.brics.tajs.analysis.nativeobjects.ECMAScriptObjects

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum dk.brics.tajs.flowgraph.CallbackKind

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum dk.brics.tajs.flowgraph.jsnodes.AssumeNode.Kind

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum dk.brics.tajs.flowgraph.jsnodes.BinaryOperatorNode.Op

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum dk.brics.tajs.flowgraph.jsnodes.CallConversionNode.Kind

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum dk.brics.tajs.flowgraph.jsnodes.CallConversionNode.Sequence

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum dk.brics.tajs.flowgraph.jsnodes.ConstantNode.Type

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum dk.brics.tajs.flowgraph.jsnodes.EventDispatcherNode.Type

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum dk.brics.tajs.flowgraph.jsnodes.UnaryOperatorNode.Op

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum dk.brics.tajs.lattice.ObjectLabel.Kind

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum dk.brics.tajs.lattice.PropertyReference.Kind

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum dk.brics.tajs.monitoring.ObjReadsWrites.R_Status

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum dk.brics.tajs.monitoring.ObjReadsWrites.W_Status

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum dk.brics.tajs.solver.Message.Severity

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum dk.brics.tajs.solver.Message.Status

Returns the enum constant of this type with the specified name.

values() - Static method in enum dk.brics.tajs.analysis.Conversion.Hint

Returns an array containing the constants of this enum type, in
the order they are declared.

values() - Static method in enum dk.brics.tajs.analysis.HostAPIs

Returns an array containing the constants of this enum type, in
the order they are declared.

values() - Static method in enum dk.brics.tajs.analysis.nativeobjects.ECMAScriptObjects

Returns an array containing the constants of this enum type, in
the order they are declared.

values() - Static method in enum dk.brics.tajs.flowgraph.CallbackKind

Returns an array containing the constants of this enum type, in
the order they are declared.

values() - Static method in enum dk.brics.tajs.flowgraph.jsnodes.AssumeNode.Kind

Returns an array containing the constants of this enum type, in
the order they are declared.

values() - Static method in enum dk.brics.tajs.flowgraph.jsnodes.BinaryOperatorNode.Op

Returns an array containing the constants of this enum type, in
the order they are declared.

values() - Static method in enum dk.brics.tajs.flowgraph.jsnodes.CallConversionNode.Kind

Returns an array containing the constants of this enum type, in
the order they are declared.

values() - Static method in enum dk.brics.tajs.flowgraph.jsnodes.CallConversionNode.Sequence

Returns an array containing the constants of this enum type, in
the order they are declared.

values() - Static method in enum dk.brics.tajs.flowgraph.jsnodes.ConstantNode.Type

Returns an array containing the constants of this enum type, in
the order they are declared.

values() - Static method in enum dk.brics.tajs.flowgraph.jsnodes.EventDispatcherNode.Type

Returns an array containing the constants of this enum type, in
the order they are declared.

values() - Static method in enum dk.brics.tajs.flowgraph.jsnodes.UnaryOperatorNode.Op

Returns an array containing the constants of this enum type, in
the order they are declared.

values() - Static method in enum dk.brics.tajs.lattice.ObjectLabel.Kind

Returns an array containing the constants of this enum type, in
the order they are declared.

values() - Static method in enum dk.brics.tajs.lattice.PropertyReference.Kind

Returns an array containing the constants of this enum type, in
the order they are declared.

values() - Static method in enum dk.brics.tajs.monitoring.ObjReadsWrites.R_Status

Returns an array containing the constants of this enum type, in
the order they are declared.

values() - Static method in enum dk.brics.tajs.monitoring.ObjReadsWrites.W_Status

Returns an array containing the constants of this enum type, in
the order they are declared.

values() - Static method in enum dk.brics.tajs.solver.Message.Severity

Returns an array containing the constants of this enum type, in
the order they are declared.

values() - Static method in enum dk.brics.tajs.solver.Message.Status

Returns an array containing the constants of this enum type, in
the order they are declared.

values() - Method in class dk.brics.tajs.util.HybridArrayHashMap
 
values() - Method in class dk.brics.tajs.util.InjectiveMap
 
VAR_PLACEHOLDER - Static variable in class dk.brics.tajs.analysis.uneval.UnevalTools
 
visit(NopNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

12.3 empty statement.

visit(DeclareVariableNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

12.2 variable declaration.

visit(ConstantNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

11.13 and 7.8 assignment with literal.

visit(NewObjectNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

11.1.5 object initializer.

visit(UnaryOperatorNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

11.13 and 11.4 assignment with unary operator.

visit(BinaryOperatorNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

11.13 and 11.5/6/7/8 assignment with binary operator.

visit(ReadVariableNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

11.1.2 assignment with right-hand-side identifier reference.

visit(WriteVariableNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

11.13 and 11.1.2 assignment with left-hand-side identifier reference.

visit(ReadPropertyNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

11.2.1 assignment with right-hand-side property accessor.

visit(WritePropertyNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

11.2.1 assignment with left-hand-side property accessor.

visit(DeletePropertyNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

11.13 and 11.4.1 assignment with 'delete' operator.

visit(TypeofNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

11.13 and 11.4.3 assignment with 'typeof' operator.

visit(IfNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

12.5 and 12.6 'if'/iteration statement.

visit(DeclareFunctionNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

13 function definition.

visit(CallNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

11.2.2, 11.2.3, 13.2.1, and 13.2.2 'new' / function call.

visit(CallConversionNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

Conversion using ToString or ValueOf.

visit(ReturnNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

12.9 and 13.2.1 'return' statement.

visit(ExceptionalReturnNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

13.2.1 exceptional return.

visit(ThrowNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

12.13 'throw' statement.

visit(CatchNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

12.14 'catch' block.

visit(EnterWithNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

12.10 enter 'with' statement.

visit(LeaveWithNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

12.10 leave 'with' statement.

visit(BeginForInNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

12.6.4 begin 'for-in' statement.

visit(NextPropertyNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

12.6.4 get next property of 'for-in' statement.

visit(HasNextPropertyNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

12.6.4 check for more properties of 'for-in' statement.

visit(EndForInNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

12.6.4 end of loop of 'for-in' statement.

visit(AssumeNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer

Assumption.

visit(EventEntryNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer
 
visit(EventDispatcherNode, State) - Method in class dk.brics.tajs.analysis.js.NodeTransfer
 
visit(Node, State) - Method in class dk.brics.tajs.analysis.Transfer
 
visit(Node, ArgType) - Method in interface dk.brics.tajs.flowgraph.AbstractNodeVisitor

Visits an JavaScript code node.

visit(AssumeNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits an AssumeNode.

visit(BinaryOperatorNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a BinaryOperatorNode.

visit(CallNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a CallNode.

visit(CallConversionNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a CallNode.

visit(CatchNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a CatchNode.

visit(ConstantNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a ConstantNode.

visit(DeletePropertyNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a DeletePropertyNode.

visit(EnterWithNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits an EnterWithNode.

visit(ExceptionalReturnNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits an ExceptionalReturnNode.

visit(DeclareFunctionNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a DeclareFunctionNode.

visit(BeginForInNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a BeginForInNode.

visit(IfNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits an IfNode.

visit(LeaveWithNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a LeaveWithNode.

visit(NewObjectNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a NewObjectNode.

visit(NextPropertyNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a NextPropertyNode.

visit(HasNextPropertyNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a HasNextPropertyNode.

visit(NopNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a NopNode.

visit(ReadPropertyNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a ReadPropertyNode.

visit(ReadVariableNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a ReadVariableNode.

visit(ReturnNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a ReturnNode.

visit(ThrowNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a ThrowNode.

visit(TypeofNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a TypeofNode.

visit(UnaryOperatorNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a UnaryOperatorNode.

visit(DeclareVariableNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a DeclareVariableNode.

visit(WritePropertyNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a WritePropertyNode.

visit(WriteVariableNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a WriteVariableNode.

visit(EventEntryNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits an EventEntryNode.

visit(EventDispatcherNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits an EventDispatcherNode.

visit(EndForInNode, ArgType) - Method in interface dk.brics.tajs.flowgraph.jsnodes.NodeVisitor

Visits a EndForInNode.

visit(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visit(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visit(NodeAndContext<?>, CallEdgeType, BlockAndContext<?>) - Method in interface dk.brics.tajs.solver.ICallEdge.Visitor

Called when visiting a call edge.

visitA(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitA(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitAllEdges(ICallEdge.Visitor<CallEdgeType>) - Method in class dk.brics.tajs.solver.CallGraph

Visits all edges by the given visitor.

visitApplet(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitApplet(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitArea(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitArea(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitBase(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitBase(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitBaseFont(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitBaseFont(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitBlockTransfer() - Method in class dk.brics.tajs.monitoring.Monitoring

Registers a block transfer occurrence.

visitBlockTransfer() - Method in interface dk.brics.tajs.solver.IMonitoring

Registers a block transfer occurrence.

visitBody(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitBody(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitBR(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitBR(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitButton(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitButton(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitBy(AbstractNodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.AbstractNode

Visits this node with the given visitor.

visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.AssumeNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.BeginForInNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.BinaryOperatorNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.CallConversionNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.CallNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.CatchNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.ConstantNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.DeclareFunctionNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.DeclareVariableNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.DeletePropertyNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.EndForInNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.EnterWithNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.EventDispatcherNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.EventEntryNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.ExceptionalReturnNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.HasNextPropertyNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.IfNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.LeaveWithNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.NewObjectNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.NextPropertyNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.Node

Visits this node with the given visitor.

visitBy(AbstractNodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.Node
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.NopNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.ReadPropertyNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.ReadVariableNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.ReturnNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.ThrowNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.TypeofNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.UnaryOperatorNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.WritePropertyNode
 
visitBy(NodeVisitor<ArgType>, ArgType) - Method in class dk.brics.tajs.flowgraph.jsnodes.WriteVariableNode
 
visitCall(AbstractNode, boolean, boolean) - Method in class dk.brics.tajs.monitoring.Monitoring

Registers a potential call/construct to a non-function value.

visitCaption(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitCaption(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitCol(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitCol(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitDir(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitDir(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitDiv(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitDiv(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitDl(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitDl(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitDocument() - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitDocument() - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitEvalCall(AbstractNode, Value) - Method in class dk.brics.tajs.monitoring.Monitoring

Registers a call to eval.

visitFieldSet(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitFieldSet(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitFont(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitFont(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitForm(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitForm(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitFrame(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitFrame(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitFrameSet(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitFrameSet(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitFunction(Function, Collection<BlockStateType>) - Method in class dk.brics.tajs.monitoring.Monitoring

Registers the function and checks whether it is unreachable.

visitFunction(Function, Collection<BlockStateType>) - Method in interface dk.brics.tajs.solver.IMonitoring

Registers the given function in the scan phase.

visitH1(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitH1(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitH2(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitH2(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitH3(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitH3(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitH4(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitH4(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitH5(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitH5(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitH6(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitH6(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitHead(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitHead(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitHR(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitHR(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitHTML(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitHTML(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitIf(IfNode, Value) - Method in class dk.brics.tajs.monitoring.Monitoring

Checks whether the branch condition is always true or always false.

visitIFrame(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitIFrame(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitImg(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitImg(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitIn(AbstractNode, boolean, boolean) - Method in class dk.brics.tajs.monitoring.Monitoring

Checks whether the 'in' operation may fail.

visitInnerHTMLWrite(Node, Value) - Method in class dk.brics.tajs.monitoring.Monitoring

Registers a write to innerHTML.

visitInput(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitInput(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitInstanceof(AbstractNode, boolean, boolean, boolean, boolean) - Method in class dk.brics.tajs.monitoring.Monitoring

Checks whether the 'instanceof' operation may fail.

visitJoin() - Method in class dk.brics.tajs.monitoring.Monitoring
 
visitJoin() - Method in interface dk.brics.tajs.solver.IMonitoring

Registers a state join operation.

visitLabel(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitLabel(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitLegend(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitLegend(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitLI(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitLI(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitLink(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitLink(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitMap(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitMap(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitMenu(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitMenu(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitMeta(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitMeta(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitNativeFunctionCall(AbstractNode, HostObject, boolean, int, int, int) - Method in class dk.brics.tajs.monitoring.Monitoring

Checks the number of parameters for a call to a native function.

visitNewFlow(BasicBlock, ICallContext<?>, IBlockState<?, ?, ?>, String, String) - Method in class dk.brics.tajs.monitoring.Monitoring
 
visitNewFlow(BasicBlock, ICallContext<?>, IBlockState<?, ?, ?>, String, String) - Method in interface dk.brics.tajs.solver.IMonitoring

Registers new dataflow being propagated.

visitNodeTransfer(AbstractNode) - Method in class dk.brics.tajs.monitoring.Monitoring
 
visitNodeTransfer(AbstractNode) - Method in interface dk.brics.tajs.solver.IMonitoring

Registers a node transfer occurrence.

visitObject(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitObject(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitOL(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitOL(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitOptGroup(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitOptGroup(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitOption(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitOption(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitP(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitP(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitParam(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitParam(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitPre(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitPre(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitPropertyAccess(Node, Value) - Method in class dk.brics.tajs.monitoring.Monitoring

Checks whether the property access operation may dereference null or undefined.

visitPropertyRead(Node, Set<ObjectLabel>, Str, BlockStateType) - Method in class dk.brics.tajs.monitoring.Monitoring

Warns about writes to unknown properties;
 also registers a read operation on abstract objects.

visitPropertyWrite(Node, Set<ObjectLabel>, Str) - Method in class dk.brics.tajs.monitoring.Monitoring

Warns about writes to unknown properties; 
 also registers a write operation on abstract objects.

visitReachableNode(AbstractNode) - Method in class dk.brics.tajs.monitoring.Monitoring
 
visitReachableNode(AbstractNode) - Method in interface dk.brics.tajs.solver.IMonitoring

Registers a maybe reachable node.

visitRead(Node, ICallContext<?>, Value) - Method in class dk.brics.tajs.monitoring.Monitoring

Record type information about a var/prop read.

visitReadNonThisVariable(ReadVariableNode, Value) - Method in class dk.brics.tajs.monitoring.Monitoring

Checks whether an absent variable is read.

visitReadProperty(ReadPropertyNode, Set<ObjectLabel>, Str, boolean, BlockStateType) - Method in class dk.brics.tajs.monitoring.Monitoring

Checks whether the property read operation accesses an absent property and whether the operation returns null/undefined.

visitReadThis(ReadVariableNode, Value, BlockStateType, ObjectLabel) - Method in class dk.brics.tajs.monitoring.Monitoring

Checks whether the read of 'this' yields the global object.

visitReadVariable(ReadVariableNode, Value, BlockStateType) - Method in class dk.brics.tajs.monitoring.Monitoring

Checks whether the variable read yields null/undefined.

visitRecoveryGraph(int) - Method in class dk.brics.tajs.monitoring.Monitoring
 
visitRecoveryGraph(int) - Method in interface dk.brics.tajs.solver.IMonitoring

Registers a property recovery graph size.

visitScript(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitScript(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitSelect(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitSelect(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitStyle(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitStyle(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitTable(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitTable(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitTBody(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitTBody(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitTD(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitTD(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitTextArea(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitTextArea(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitTFoot(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitTFoot(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitTH(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitTH(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitTHead(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitTHead(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitTitle(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitTitle(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitTR(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitTR(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitUL(Element) - Method in interface dk.brics.tajs.htmlparser.HTMLVisitor
 
visitUL(Element) - Method in class dk.brics.tajs.htmlparser.HTMLVisitorImpl
 
visitUnknownValueResolve() - Method in class dk.brics.tajs.monitoring.Monitoring
 
visitUnknownValueResolve() - Method in interface dk.brics.tajs.solver.IMonitoring

Registers a recovery of an unknown value.

visitUserFunctionCall(Function, AbstractNode, boolean) - Method in class dk.brics.tajs.monitoring.Monitoring

Checks whether the function is invoked both as a constructor (with 'new') and as a function/method (without 'new').

visitVariableAsRead(ReadVariableNode, Value) - Method in class dk.brics.tajs.monitoring.Monitoring

Registers that the given variable is read; also checks for suspicious type mixings.

visitVariableOrProperty(String, SourceLocation, Value) - Method in class dk.brics.tajs.monitoring.Monitoring

Registers the name, location, and value of a variable being read or written.

visitWriteVariable(WriteVariableNode, Value, BlockStateType) - Method in class dk.brics.tajs.monitoring.Monitoring

Checks whether the assignment has no effect.





W

waitIfSingleStep() - Method in class dk.brics.tajs.solver.SolverSynchronizer

Waits for notification if single-stepping is enabled.

waiting() - Method in class dk.brics.tajs.solver.SolverSynchronizer

Callback, invoked when initialing wait.

WorkList<CallContextType extends ICallContext<?>> - Class in dk.brics.tajs.solver

Work list used by solver.

WorkList(IWorkListStrategy<CallContextType>) - Constructor for class dk.brics.tajs.solver.WorkList

Constructs a new empty work list.

WorkList.Entry - Class in dk.brics.tajs.solver

Work list entry.

WorkList.Entry(BasicBlock, CallContextType) - Constructor for class dk.brics.tajs.solver.WorkList.Entry

Constructs a new entry.

WorkListStrategy - Class in dk.brics.tajs.analysis

Work list strategy.

WorkListStrategy() - Constructor for class dk.brics.tajs.analysis.WorkListStrategy

Constructs a new WorkListStrategy object.

writeAny() - Method in class dk.brics.tajs.monitoring.ObjReadsWrites
 
writeDefinite(String, AbstractNode) - Method in class dk.brics.tajs.monitoring.ObjReadsWrites
 
writeInternalPrototype(Collection<ObjectLabel>, Value) - Method in class dk.brics.tajs.lattice.BlockState

Assigns the given value to the internal prototype links of the given objects.

writeInternalPrototype(ObjectLabel, Value) - Method in class dk.brics.tajs.lattice.BlockState

Assigns the given value to the internal prototype link of the given object.

writeInternalValue(Collection<ObjectLabel>, Value) - Method in class dk.brics.tajs.lattice.BlockState

Assign the given value to the internal [[Value]] property of the given objects.

writeInternalValue(ObjectLabel, Value) - Method in class dk.brics.tajs.lattice.BlockState

Assigns the given value to the internal [[Value]] property of the given object.

writeMaybe(String, AbstractNode) - Method in class dk.brics.tajs.monitoring.ObjReadsWrites
 
writeObjectScope(ObjectLabel, ScopeChain) - Method in class dk.brics.tajs.lattice.BlockState

Assigns a copy of the given scope chain to the internal scope property of the given object.

writeProperty(Collection<ObjectLabel>, Str, Value, boolean, boolean) - Method in class dk.brics.tajs.lattice.BlockState

8.6.2.2 [[Put]]
 Assigns the given value to the given property of the given objects.

writeProperty(ObjectLabel, String, Value) - Method in class dk.brics.tajs.lattice.BlockState

8.6.2.2 [[Put]]
 Assigns the given value to the given property of the given object.

WritePropertyNode - Class in dk.brics.tajs.flowgraph.jsnodes

Write property node.

WritePropertyNode(int, int, int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.WritePropertyNode

Constructs a new write property node with variable property name.

WritePropertyNode(int, String, int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.WritePropertyNode

Constructs a new write property node with fixed property name.

writePropertyWithAttributes(Collection<ObjectLabel>, String, Value, boolean) - Method in class dk.brics.tajs.lattice.BlockState

Assigns the given value to the given property of the given objects, with attributes.

writePropertyWithAttributes(Collection<ObjectLabel>, String, Value) - Method in class dk.brics.tajs.lattice.BlockState

Assigns the given value to the given property of the given objects, with attributes.

writePropertyWithAttributes(ObjectLabel, String, Value) - Method in class dk.brics.tajs.lattice.BlockState

Assigns the given value to the given property of the given object, with attributes.

writeRegister(int, Value) - Method in class dk.brics.tajs.lattice.BlockState

Assigns the given value to the given register (strong update).

writeVariable(String, Value, boolean) - Method in class dk.brics.tajs.lattice.BlockState

Assigns the given value to the given variable.

WriteVariableNode - Class in dk.brics.tajs.flowgraph.jsnodes

Write variable node.

WriteVariableNode(int, String, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.WriteVariableNode

Constructs a new write variable node.





X

xor(Value, int, Value, int, GenericSolver<State, CallContext, CallEdge<State>, Monitoring<State, CallContext, CallEdge<State>>, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators

11.10 ^


A B C D E F G H I J K L M N O P R S T U V W X