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

A

absent_accessor_function - Static variable in class dk.brics.tajs.lattice.ObjectLabel
Special object label for absent getter/setter.
AbstractConcreteValueComparator - Class in dk.brics.tajs.monitoring.soundness.testing
Compares abstract and concrete values, deciding if the abstract value over-approximates the concrete value.
AbstractConcreteValueComparator(Set<String>, ValueLogSourceLocationEqualityDecider, Set<SourceLocation>, ValueLogLocationInformation, Predicate<SourceLocation>) - Constructor for class dk.brics.tajs.monitoring.soundness.testing.AbstractConcreteValueComparator
 
AbstractConditionPattern - Class in dk.brics.tajs.flowgraph.syntaticinfo
 
AbstractConditionPattern(SyntacticReference, boolean) - Constructor for class dk.brics.tajs.flowgraph.syntaticinfo.AbstractConditionPattern
 
AbstractEquality - Class in dk.brics.tajs.flowgraph.syntaticinfo
An equality comparison in a condition.
AbstractEquality(SyntacticReference, int, boolean, boolean) - Constructor for class dk.brics.tajs.flowgraph.syntaticinfo.AbstractEquality
 
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 - Interface in dk.brics.tajs.flowgraph
Visitor for flowgraph nodes.
AbstractView - Class in dk.brics.tajs.analysis.dom.view
A base interface that all views shall derive from.
AbstractView() - Constructor for class dk.brics.tajs.analysis.dom.view.AbstractView
 
accept(ConcreteValueVisitor<T>) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteArray
 
accept(ConcreteValueVisitor<T>) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteBoolean
 
accept(ConcreteValueVisitor<T>) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteNull
 
accept(ConcreteValueVisitor<T>) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteNullOrUndefined
 
accept(ConcreteValueVisitor<T>) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteNumber
 
accept(ConcreteValueVisitor<T>) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteRegularExpression
 
accept(ConcreteValueVisitor<T>) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteString
 
accept(ConcreteValueVisitor<T>) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteUndefined
 
accept(ConcreteValueVisitor<T>) - Method in interface dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteValue
 
accept(AbstractNode, Message.Severity, String) - Method in interface dk.brics.tajs.analysis.Unsoundness.MessageCollector
 
accept(ConditionPatternVisitor<T>) - Method in interface dk.brics.tajs.flowgraph.syntaticinfo.ConditionPattern
 
accept(ConditionPatternVisitor<T>) - Method in class dk.brics.tajs.flowgraph.syntaticinfo.OrdinaryEquality
 
accept(ConditionPatternVisitor<T>) - Method in class dk.brics.tajs.flowgraph.syntaticinfo.Truthiness
 
accept(ConditionPatternVisitor<T>) - Method in class dk.brics.tajs.flowgraph.syntaticinfo.TypeofEquality
 
ActiveXObject - Class in dk.brics.tajs.analysis.dom.ajax
 
ActiveXObject() - Constructor for class dk.brics.tajs.analysis.dom.ajax.ActiveXObject
 
add(Value, Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators
11.6.1 + (binary)
add(ParallelTransfer.Transfer) - Method in class dk.brics.tajs.analysis.ParallelTransfer
Adds a transfer function.
add(Function) - Method in class dk.brics.tajs.js2flowgraph.FunctionAndBlockManager
Registers the given function.
add(BasicBlock...) - Method in class dk.brics.tajs.js2flowgraph.FunctionAndBlockManager
Registers the given blocks.
add(List<BasicBlock>) - Method in class dk.brics.tajs.js2flowgraph.FunctionAndBlockManager
Registers the given blocks.
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(Summarized) - Method in class dk.brics.tajs.lattice.Summarized
Adds the given summarized sets to this pair.
add(WorkList<ContextType>.Entry) - Method in class dk.brics.tajs.solver.WorkList
Adds an entry.
add(V) - Method in class dk.brics.tajs.util.HybridArrayHashSet
 
addAll(Collection<T>, Consumer<T>) - Method in class dk.brics.tajs.analysis.ParallelTransfer
Adds a collection of transfer functions that take a parameter.
addAll(OccurenceCountingMap<E>) - Method in class dk.brics.tajs.monitoring.inspector.util.OccurenceCountingMap
 
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.
addDefinitelySummarized(ObjectLabel) - Method in class dk.brics.tajs.lattice.Summarized
Adds the specified object label as definitely summarized.
addEventHandler(Value, EventType, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.DOMEvents
Add Event Handler.
addFunction(Function) - Method in class dk.brics.tajs.flowgraph.FlowGraph
Adds the given function to the flow graph.
addLoadersForHostFunctionSources(List<URL>) - Method in class dk.brics.tajs.js2flowgraph.FlowGraphBuilder
Creates a call to a function that defines and calls functions containing the host function sources.
addMessage(AbstractNode, String) - Method in class dk.brics.tajs.analysis.Unsoundness
Records that unsoundness was used.
addMessage(AbstractNode, Message.Severity, String) - Method in class dk.brics.tajs.monitoring.CompositeMonitoring
 
addMessage(AbstractNode, Message.Severity, String, String) - Method in class dk.brics.tajs.monitoring.CompositeMonitoring
 
addMessage(AbstractNode, Message.Severity, String) - Method in class dk.brics.tajs.monitoring.DefaultAnalysisMonitoring
 
addMessage(AbstractNode, Message.Severity, String, String) - Method in class dk.brics.tajs.monitoring.DefaultAnalysisMonitoring
 
addMessage(AbstractNode, Message.Severity, String) - Method in interface dk.brics.tajs.monitoring.IAnalysisMonitoring
Adds a message for the given node.
addMessage(AbstractNode, Message.Severity, String, String) - Method in interface dk.brics.tajs.monitoring.IAnalysisMonitoring
Adds a message for the given node.
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.
addMessage(AbstractNode, Message.Severity, String) - Method in class dk.brics.tajs.monitoring.PhaseMonitoring
 
addMessage(AbstractNode, Message.Severity, String, String) - Method in class dk.brics.tajs.monitoring.PhaseMonitoring
 
addMessage(AbstractNode, Message.Severity, String) - Method in class dk.brics.tajs.monitoring.TogglableMonitor
 
addMessage(AbstractNode, Message.Severity, String, String) - Method in class dk.brics.tajs.monitoring.TogglableMonitor
 
addMessageInfo(AbstractNode, Message.Severity, String) - Method in class dk.brics.tajs.monitoring.CompositeMonitoring
 
addMessageInfo(AbstractNode, Message.Severity, String) - Method in class dk.brics.tajs.monitoring.DefaultAnalysisMonitoring
 
addMessageInfo(AbstractNode, Message.Severity, String) - Method in interface dk.brics.tajs.monitoring.IAnalysisMonitoring
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.
addMessageInfo(AbstractNode, Message.Severity, String) - Method in class dk.brics.tajs.monitoring.PhaseMonitoring
 
addMessageInfo(AbstractNode, Message.Severity, String) - Method in class dk.brics.tajs.monitoring.TogglableMonitor
 
addNode(AbstractNode) - Method in class dk.brics.tajs.flowgraph.BasicBlock
Adds a node to this block.
addNodeToBlock(AbstractNode, BasicBlock, AstEnv) - Static method in class dk.brics.tajs.js2flowgraph.FunctionBuilderHelper
Adds a node to a basic block.
addSource(AbstractNode, ContextType, BasicBlock, ContextType, ContextType, boolean) - Method in class dk.brics.tajs.solver.CallGraph
Adds a reverse edge.
addSuccessor(BasicBlock) - Method in class dk.brics.tajs.flowgraph.BasicBlock
Adds a successor.
addSyntacticInformation(RawSyntacticInformation, ValueLogLocationInformation) - Method in class dk.brics.tajs.flowgraph.FlowGraph
Adds additional syntactic information to this flowgraph
addTarget(AbstractNode, ContextType, BasicBlock, ContextType, StateType, SolverSynchronizer, IAnalysis<StateType, ContextType, CallEdgeType, ?, ?>, ISolverMonitoring<StateType, ContextType>) - 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.
addToMapMap(Map<T1, Map<T2, T3>>, T1, T2, T3) - Static method in class dk.brics.tajs.util.Collections
Adds an element to a map of maps.
addToMapMapSet(Map<T1, Map<T2, Set<T3>>>, T1, T2, T3) - Static method in class dk.brics.tajs.util.Collections
Adds an element to a map of maps of sets.
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.
addToScopeChain(ScopeChain) - Method in class dk.brics.tajs.lattice.Obj
Adds to the internal [[Scope]] property.
addToWorklist(BasicBlock, ContextType) - Method in class dk.brics.tajs.solver.GenericSolver.SolverInterface
Adds the given location to the worklist.
addVariableName(String) - Method in class dk.brics.tajs.flowgraph.Function
Adds a variable name (only during flow graph construction).
AjaxBuilder - Class in dk.brics.tajs.analysis.dom.ajax
 
AjaxBuilder() - Constructor for class dk.brics.tajs.analysis.dom.ajax.AjaxBuilder
 
allocationSiteMap - Variable in class dk.brics.tajs.monitoring.inspector.datacollection.InspectorData
 
allocationSiteMap - Variable in class dk.brics.tajs.monitoring.inspector.gutters.DefaultGutterData
 
allowNextIteration() - Method in class dk.brics.tajs.monitoring.AnalysisTimeLimiter
 
allowNextIteration() - Method in class dk.brics.tajs.monitoring.CompositeMonitoring
 
allowNextIteration() - Method in class dk.brics.tajs.monitoring.DefaultAnalysisMonitoring
 
allowNextIteration() - Method in class dk.brics.tajs.monitoring.Monitoring
 
allowNextIteration() - Method in class dk.brics.tajs.monitoring.PhaseMonitoring
 
allowNextIteration() - Method in class dk.brics.tajs.monitoring.TogglableMonitor
 
allowNextIteration() - Method in interface dk.brics.tajs.solver.ISolverMonitoring
Returns true if the fixpoint solver should continue with its next iteration or abort early and unsoundly.
Alpha - Class in dk.brics.tajs.analysis.nativeobjects.concrete
Converts concrete values to abstract values.
Alpha() - Constructor for class dk.brics.tajs.analysis.nativeobjects.concrete.Alpha
 
Analysis - Class in dk.brics.tajs.analysis
Analysis(IAnalysisMonitoring, 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 exception.
AnalysisException(String) - Constructor for exception dk.brics.tajs.util.AnalysisException
Constructs a new exception.
AnalysisException(Throwable) - Constructor for exception dk.brics.tajs.util.AnalysisException
Constructs a new exception.
AnalysisException(String, Throwable) - Constructor for exception dk.brics.tajs.util.AnalysisException
Constructs a new exception.
AnalysisLatticeElement - 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.
AnalysisLimitationException - Exception in dk.brics.tajs.util
Exception for analysis limitations.
AnalysisLimitationException.AnalysisModelLimitationException - Exception in dk.brics.tajs.util
To be used when encountering unmodeled native functions.
AnalysisLimitationException.AnalysisPrecisionLimitationException - Exception in dk.brics.tajs.util
To be used when encountering situations where the state is too imprecise, e.g.
AnalysisLimitationException.AnalysisTimeException - Exception in dk.brics.tajs.util
 
AnalysisLimitationException.SyntacticSupportNotImplemented - Exception in dk.brics.tajs.util
Exception for syntactic features that are not yet implemented.
AnalysisModelLimitationException(String) - Constructor for exception dk.brics.tajs.util.AnalysisLimitationException.AnalysisModelLimitationException
Constructs a new exception.
analysisNotExceededTimeLimit() - Method in class dk.brics.tajs.monitoring.AnalysisTimeLimiter
 
AnalysisPhase - Enum in dk.brics.tajs.monitoring
 
AnalysisPrecisionLimitationException(String) - Constructor for exception dk.brics.tajs.util.AnalysisLimitationException.AnalysisPrecisionLimitationException
Constructs a new exception.
AnalysisTimeException(String) - Constructor for exception dk.brics.tajs.util.AnalysisLimitationException.AnalysisTimeException
Constructs a new exception.
AnalysisTimeLimiter - Class in dk.brics.tajs.monitoring
A simple monitoring that will prevent the analysis from running more than a set time.
AnalysisTimeLimiter(int, boolean) - Constructor for class dk.brics.tajs.monitoring.AnalysisTimeLimiter
 
AnalysisTimeLimiter(int) - Constructor for class dk.brics.tajs.monitoring.AnalysisTimeLimiter
 
AnalyzerCallback - Interface in dk.brics.tajs.unevalizer
The interface that the Unevalizer uses for querying the driving analysis.
and(Value, Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, 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(String, ConcreteValue, List<ConcreteValue>) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.CachingNativeConcreteSemantics
 
apply(String, ConcreteValue, List<ConcreteValue>) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.NashornConcreteSemantics
 
apply(String, ConcreteValue, List<ConcreteValue>) - Method in interface dk.brics.tajs.analysis.nativeobjects.concrete.NativeConcreteSemantics
 
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>, ObjectProperty) - Static method in class dk.brics.tajs.lattice.Renaming
Renames the given property reference according to the map.
areEqual(SourceLocation, SourceLocation) - Method in class dk.brics.tajs.monitoring.soundness.ValueLogSourceLocationEqualityDecider
 
ARGUMENTS_LIST - Static variable in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteApplyMapping
 
ArityOverloadedSignature(NativeFunctionSignatureChecker.SimpleSignature...) - Constructor for class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureChecker.ArityOverloadedSignature
 
ARRAY_PROTOTYPE - Static variable in class dk.brics.tajs.analysis.InitialStateBuilder
Object label for Array.prototype.
asDynamicProperty() - Method in class dk.brics.tajs.flowgraph.syntaticinfo.SyntacticReference
Casts this reference to a dynamic property reference.
asProperty() - Method in class dk.brics.tajs.flowgraph.syntaticinfo.SyntacticReference
Casts this reference to a property reference.
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).
asStaticProperty() - Method in class dk.brics.tajs.flowgraph.syntaticinfo.SyntacticReference
Casts this reference to a static property reference.
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.
AstEnv - Class in dk.brics.tajs.js2flowgraph
Miscellaneous immutable information environment for a recursive descent on an AST.
ASTInfo - Class in dk.brics.tajs.js2flowgraph
 
ASTInfo() - Constructor for class dk.brics.tajs.js2flowgraph.ASTInfo
 
ASTInfo.ConditionTree - Class in dk.brics.tajs.js2flowgraph
 
ASTInfo.FunctionOrLoopTree - Class in dk.brics.tajs.js2flowgraph
 
ASTInfo.LiteralTree - Class in dk.brics.tajs.js2flowgraph
Type safe wrapper structure for different literal constructor ASTs
ASTInfo.LoopTree - Class in dk.brics.tajs.js2flowgraph
Type safe wrapper structure for different loop ASTs
asVariable() - Method in class dk.brics.tajs.flowgraph.syntaticinfo.SyntacticReference
Casts this reference to a variable reference.
AsyncEvents - Class in dk.brics.tajs.analysis
Processing of asynchronous events (that do not involve HTML DOM).
attemptMaterializeVariableObj(State) - Static method in class dk.brics.tajs.analysis.js.UserFunctionCalls
Materialize singleton object for the variable object and the top of the scope chain, if necessary and if possible.
AudioContext - Class in dk.brics.tajs.analysis.dom.html5
 
AudioContext() - Constructor for class dk.brics.tajs.analysis.dom.html5.AudioContext
 
AudioDestinationNode - Class in dk.brics.tajs.analysis.dom.html5
 
AudioDestinationNode() - Constructor for class dk.brics.tajs.analysis.dom.html5.AudioDestinationNode
 
AudioListener - Class in dk.brics.tajs.analysis.dom.html5
 
AudioListener() - Constructor for class dk.brics.tajs.analysis.dom.html5.AudioListener
 
AudioNode - Class in dk.brics.tajs.analysis.dom.html5
 
AudioNode() - Constructor for class dk.brics.tajs.analysis.dom.html5.AudioNode
 
AudioParam - Class in dk.brics.tajs.analysis.dom.html5
 
AudioParam() - Constructor for class dk.brics.tajs.analysis.dom.html5.AudioParam
 

B

BASE - Static variable in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteApplyMapping
 
base - Variable in class dk.brics.tajs.flowgraph.syntaticinfo.Property
The base value reference.
baseRegister - Variable in class dk.brics.tajs.flowgraph.syntaticinfo.Property
The register where the base value is stored.
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.
BasicContextSensitivityStrategy - Class in dk.brics.tajs.analysis
Basic call and heap context sensitivities.
BasicContextSensitivityStrategy() - Constructor for class dk.brics.tajs.analysis.BasicContextSensitivityStrategy
 
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.
BeginLoopNode - Class in dk.brics.tajs.flowgraph.jsnodes
Begin-loop node.
BeginLoopNode(IfNode, boolean, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.BeginLoopNode
Constructs a new begin-loop node.
beginSetup() - Method in class dk.brics.tajs.monitoring.soundness.postprocessing.SoundnessTesterPerformance
 
BeginWithNode - Class in dk.brics.tajs.flowgraph.jsnodes
Begin-with node.
BeginWithNode(int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.BeginWithNode
Constructs a new begin-with node.
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<ContextType extends IContext<?>> - Class in dk.brics.tajs.solver
Pair of a basic block and a context.
BlockAndContext(BasicBlock, ContextType) - Constructor for class dk.brics.tajs.solver.BlockAndContext
Constructs a new pair.
blockContexts - Variable in class dk.brics.tajs.monitoring.inspector.datacollection.InspectorData
 
blockContexts - Variable in class dk.brics.tajs.monitoring.inspector.gutters.DefaultGutterData
 
BlockDependencyOrderer - Class in dk.brics.tajs.flowgraph
Orders blocks according to their dependencies.
Bool - Interface in dk.brics.tajs.lattice
'Boolean' facet for abstract values.
Boolean - Static variable in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureUtilities.MandatoryParameters
 
Boolean - Static variable in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureUtilities.OptionalParameters
 
Boolean - Static variable in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureUtilities.Receivers
 
BOOLEAN_PROTOTYPE - Static variable in class dk.brics.tajs.analysis.InitialStateBuilder
Object label for Boolean.prototype.
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.ajax.ActiveXObject
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.ajax.AjaxBuilder
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.ajax.ReadystateEvent
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.ajax.XmlHttpRequest
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.CoreBuilder
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMAttr
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMCDataSection
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMCharacterData
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMComment
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMConfiguration
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMDocument
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMDocumentFragment
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMDocumentType
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMEntity
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMEntityReference
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMException
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMImplementation
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMNamedNodeMap
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMNode
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMNodeList
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMNotation
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMProcessingInstruction
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMStringList
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMStringMap
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMText
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMTouch
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMTouchList
 
build(Source, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.DOMBuilder
Construct the initial DOM objects.
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.DOMWindow
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.DocumentEvent
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.Event
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.EventBuilder
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.EventException
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.EventListener
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.EventTarget
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.HashChangeEvent
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.KeyboardEvent
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.LoadEvent
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.MouseEvent
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.MutationEvent
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.TouchEvent
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.UIEvent
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.WheelEvent
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLAnchorElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLAppletElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLAreaElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLBaseElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLBaseFontElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLBodyElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLBRElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLBuilder
Build HTML objects
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLButtonElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLCollection
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLDirectoryElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLDivElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLDListElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLDocument
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLFieldSetElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLFontElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLFormElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLFrameElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLFrameSetElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLHeadElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLHeadingElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLHRElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLHtmlElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLIFrameElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLImageElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLInputElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLIsIndexElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLLabelElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLLegendElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLLIElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLLinkElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLMapElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLMenuElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLMetaElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLModElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLObjectElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLOListElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLOptGroupElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLOptionElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLOptionsCollection
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLParagraphElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLParamElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLPreElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLQuoteElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLScriptElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLSelectElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLStyleElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLTableCaptionElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLTableCellElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLTableColElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLTableElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLTableRowElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLTableSectionElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLTextAreaElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLTitleElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLUListElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLUnknownElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.AudioContext
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.AudioDestinationNode
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.AudioNode
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.AudioParam
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.CanvasRenderingContext2D
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.HTML5Builder
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.HTMLAudioElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.HTMLCanvasElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.HTMLMediaElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.MediaQueryList
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.MutationObserver
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.OfflineResourceList
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.OscillatorNode
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.ScriptProcessorNode
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.StorageElement
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.TimeRanges
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.WebGLRenderingContext
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.style.ClientBoundingRect
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.style.CSSStyleDeclaration
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.style.StyleBuilder
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.view.AbstractView
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.view.DocumentView
 
build(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.view.ViewBuilder
 
build(BasicBlock, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface, Source) - Method in class dk.brics.tajs.analysis.InitialStateBuilder
Sets up the initial state.
build(T, T) - Method in interface dk.brics.tajs.monitoring.CompositeMonitoring.Factory
 
build(BasicBlock, GenericSolver<StateType, ContextType, CallEdgeType, MonitoringType, AnalysisType>.SolverInterface, Source) - Method in interface dk.brics.tajs.solver.IInitialStateBuilder
Builds the initial state.
buildFromList(IAnalysisMonitoring...) - Static method in class dk.brics.tajs.monitoring.CompositeMonitoring
 
buildFromList(List<IAnalysisMonitoring>) - Static method in class dk.brics.tajs.monitoring.CompositeMonitoring
 
buildFromList(LinkedList<IAnalysisMonitoring>, CompositeMonitoring.Factory<IAnalysisMonitoring>) - Static method in class dk.brics.tajs.monitoring.CompositeMonitoring
 
byElementToString - Variable in class dk.brics.tajs.monitoring.inspector.util.OccurenceCountingMap.CountingResult.ByOccurencesThenElementToStringComparator
 
ByElementToStringComparator() - Constructor for class dk.brics.tajs.monitoring.inspector.util.OccurenceCountingMap.CountingResult.ByElementToStringComparator
 
byOccurences - Variable in class dk.brics.tajs.monitoring.inspector.util.OccurenceCountingMap.CountingResult.ByOccurencesThenElementToStringComparator
 
ByOccurencesComparator() - Constructor for class dk.brics.tajs.monitoring.inspector.util.OccurenceCountingMap.CountingResult.ByOccurencesComparator
 
ByOccurencesThenElementToStringComparator() - Constructor for class dk.brics.tajs.monitoring.inspector.util.OccurenceCountingMap.CountingResult.ByOccurencesThenElementToStringComparator
 

C

c - Variable in class dk.brics.tajs.monitoring.soundness.testing.LogEntrySoundnessTester
 
CachingNativeConcreteSemantics - Class in dk.brics.tajs.analysis.nativeobjects.concrete
Decorator that caches the results of its delegate.
CachingNativeConcreteSemantics(NativeConcreteSemantics) - Constructor for class dk.brics.tajs.analysis.nativeobjects.concrete.CachingNativeConcreteSemantics
 
call() - Method in interface dk.brics.tajs.analysis.ParallelTransfer.Transfer
 
call_node - Variable in class dk.brics.tajs.solver.CallGraph.ReverseEdge
 
CallDependencies<ContextType extends IContext<ContextType>> - 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 - Class in dk.brics.tajs.lattice
Information stored at an edge in a call graph.
CallEdge(State) - 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.
caller_context - Variable in class dk.brics.tajs.solver.CallGraph.ReverseEdge
 
callFunction(FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.FunctionCalls
Enters a function described by a CallInfo.
CallGraph<StateType extends IState<StateType,ContextType,CallEdgeType>,ContextType extends IContext<ContextType>,CallEdgeType extends ICallEdge<StateType>> - Class in dk.brics.tajs.solver
Call graph.
CallGraph() - Constructor for class dk.brics.tajs.solver.CallGraph
Constructs a new initially empty call graph.
CallGraph.ReverseEdge<ContextType extends IContext<?>> - Class in dk.brics.tajs.solver
 
CallNode - Class in dk.brics.tajs.flowgraph.jsnodes
Call/construct node.
CallNode(boolean, int, int, int, List<Integer>, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.CallNode
Constructs a new call/construct node.
CallNode(CallNode.LiteralConstructorKinds, int, int, int, List<Integer>, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.CallNode
Constructs a new construct call node for a literal object.
CallNode(boolean, int, int, int, String, List<Integer>, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.CallNode
Constructs a new call/construct node with a property read.
CallNode(int, TAJSFunctionName, List<Integer>, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.CallNode
Constructs a new call/construct node for a TAJS_* function.
CallNode.LiteralConstructorKinds - Enum in dk.brics.tajs.flowgraph.jsnodes
This information is syntactic and allows us to: 1) distinguish between [4] and Array(4) for the case where Array gets precisely one numeric argument.
canonicalize(T) - Method in class dk.brics.tajs.util.Canonicalizer
Canonicalizes the given instance.
Canonicalizer - Class in dk.brics.tajs.util
A canonicalizer based on object equality and weak references.
Canonicalizer() - Constructor for class dk.brics.tajs.util.Canonicalizer
 
canonicalizeSet(Set<T>) - Method in class dk.brics.tajs.util.Canonicalizer
Canonicalizes a set into an immutable version.
canRegisterElementIdentifiersForSetter(Str) - Static method in class dk.brics.tajs.analysis.dom.DOMFunctions
 
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.BeginLoopNode
 
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.BeginWithNode
 
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.BinaryOperatorNode
 
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.EndLoopNode
 
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.EndWithNode
 
canThrowExceptions() - Method in class dk.brics.tajs.flowgraph.jsnodes.EventDispatcherNode
 
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.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
 
CanvasRenderingContext2D - Class in dk.brics.tajs.analysis.dom.html5
 
CanvasRenderingContext2D() - Constructor for class dk.brics.tajs.analysis.dom.html5.CanvasRenderingContext2D
 
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.
CategorizedSoundnessCheckResults - Class in dk.brics.tajs.monitoring.soundness.postprocessing
A categorization of SoundnessChecks.
CategorizedSoundnessCheckResults(Set<SoundnessCheck>, Path) - Constructor for class dk.brics.tajs.monitoring.soundness.postprocessing.CategorizedSoundnessCheckResults
 
category - Variable in class dk.brics.tajs.monitoring.inspector.gutters.SuspiciousnessLevel.SuspiciousnessIndicator
 
changeSourceLocation(SourceLocation) - Method in class dk.brics.tajs.flowgraph.syntaticinfo.SyntacticReference
Creates a new reference as a copy of this one but with the given source location.
chargeCallEdge(BasicBlock, ContextType, ContextType, BasicBlock, ContextType) - 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, 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.BeginWithNode
 
check(BasicBlock) - Method in class dk.brics.tajs.flowgraph.jsnodes.BinaryOperatorNode
 
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.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
 
checkConsistency() - Method in class dk.brics.tajs.options.OptionValues
 
checkCount - Variable in class dk.brics.tajs.monitoring.soundness.postprocessing.SoundnessCheckCounts
 
checkLocationResultCounts - Variable in class dk.brics.tajs.monitoring.soundness.postprocessing.SoundnessTesterStatistics.TestResult
 
checkResultCounts - Variable in class dk.brics.tajs.monitoring.soundness.postprocessing.SoundnessTesterStatistics.TestResult
 
checks - Variable in class dk.brics.tajs.monitoring.soundness.postprocessing.CategorizedSoundnessCheckResults
 
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
 
clearCache() - Static method in class dk.brics.tajs.lattice.ScopeChain
Clears the canonicalization cache.
clearEffects() - Method in class dk.brics.tajs.lattice.State
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.State
Clears the registers, starting from AbstractNode.FIRST_ORDINARY_REG, and excluding property list values.
clearRegisters() - Method in class dk.brics.tajs.lattice.State
Clears all registers.
clearVariableObject() - Method in class dk.brics.tajs.lattice.State
Clears the variable object pointer in the execution context.
ClientBoundingRect - Class in dk.brics.tajs.analysis.dom.style
 
ClientBoundingRect() - Constructor for class dk.brics.tajs.analysis.dom.style.ClientBoundingRect
 
clone() - Method in class dk.brics.tajs.flowgraph.AbstractNode
Performs a shallow clone of the node.
clone() - Method in class dk.brics.tajs.lattice.ExecutionContext
 
clone() - Method in class dk.brics.tajs.lattice.State
Constructs a new state as a copy of this state.
clone() - Method in class dk.brics.tajs.options.OptionValues
 
clone() - Method in interface dk.brics.tajs.solver.IState
Constructs a new state as a copy of this state.
cloneAllFields(E, E) - Static method in class dk.brics.tajs.options.OptionsUtil
 
cloneBlocksAndNodes(Collection<BasicBlock>, FunctionAndBlockManager) - Static method in class dk.brics.tajs.js2flowgraph.FunctionBuilderHelper
Clones blocks, preserving their internal successor relationships.
close() - Method in class dk.brics.tajs.js2flowgraph.FlowGraphBuilder
Completes the flow graph construction.
close(FlowGraph, BasicBlock) - Method in class dk.brics.tajs.js2flowgraph.FlowGraphBuilder
Completes the flow graph construction.
close() - Method in class dk.brics.tajs.js2flowgraph.FunctionAndBlockManager
Closes this collection of functions and blocks.
ClosureASTUtil - Class in dk.brics.tajs.js2flowgraph
Utility methods extracted from com.google.javascript.jscomp.parsing.ExampleIRFactory.
ClosureASTUtil() - Constructor for class dk.brics.tajs.js2flowgraph.ClosureASTUtil
 
coerce(Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Method in interface dk.brics.tajs.analysis.signatures.types.Coercion
Coerces a value (for side-effects and messages).
CoerceObject - Static variable in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureUtilities.Receivers
 
Coercion - Interface in dk.brics.tajs.analysis.signatures.types
A coercion.
Collections - Class in dk.brics.tajs.util
Miscellaneous collection construction methods.
Collectors - Class in dk.brics.tajs.util
Alternative to Collectors that makes use of the data structures in Collections.
Collectors() - Constructor for class dk.brics.tajs.util.Collectors
 
compare(IWorkListStrategy.IEntry<Context>, IWorkListStrategy.IEntry<Context>) - Method in class dk.brics.tajs.analysis.WorkListStrategy
 
compare(SuspiciousnessLevel, SuspiciousnessLevel) - Method in class dk.brics.tajs.monitoring.inspector.gutters.SuspiciousnessLevel.NumericComparator
 
compare(OccurenceCountingMap.CountingResult<?>, OccurenceCountingMap.CountingResult<?>) - Method in class dk.brics.tajs.monitoring.inspector.util.OccurenceCountingMap.CountingResult.ByElementToStringComparator
 
compare(OccurenceCountingMap.CountingResult<?>, OccurenceCountingMap.CountingResult<?>) - Method in class dk.brics.tajs.monitoring.inspector.util.OccurenceCountingMap.CountingResult.ByOccurencesComparator
 
compare(OccurenceCountingMap.CountingResult<?>, OccurenceCountingMap.CountingResult<?>) - Method in class dk.brics.tajs.monitoring.inspector.util.OccurenceCountingMap.CountingResult.ByOccurencesThenElementToStringComparator
 
compare(IWorkListStrategy.IEntry<ContextType>, IWorkListStrategy.IEntry<ContextType>) - 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 line number, then 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<ContextType>.Entry) - Method in class dk.brics.tajs.solver.WorkList.Entry
Compares this and the given entry.
complement(Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators
11.4.8 ~ (bitwise not)
complete() - Method in class dk.brics.tajs.analysis.ParallelTransfer
Applies the transfer functions in parallel on the current state and joins the results.
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.
CompositeMonitoring - Class in dk.brics.tajs.monitoring
Composite, delegating, implementation of IAnalysisMonitoring.
CompositeMonitoring(IAnalysisMonitoring, IAnalysisMonitoring) - Constructor for class dk.brics.tajs.monitoring.CompositeMonitoring
 
CompositeMonitoring.Factory<T> - Interface in dk.brics.tajs.monitoring
 
ConcreteApplyMapping - Class in dk.brics.tajs.analysis.nativeobjects.concrete
Mapping for the receiver, arguments and results of a call using Function.prototype.apply.
ConcreteApplyMapping(ConcreteValue, ConcreteArray, ConcreteValue) - Constructor for class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteApplyMapping
 
ConcreteArray - Class in dk.brics.tajs.analysis.nativeobjects.concrete
 
ConcreteArray(List<ConcreteValue>, Map<String, ConcreteValue>) - Constructor for class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteArray
Creates an array of concrete values, with some extra properties.
ConcreteBoolean - Class in dk.brics.tajs.analysis.nativeobjects.concrete
 
ConcreteBoolean(boolean) - Constructor for class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteBoolean
 
ConcreteNull - Class in dk.brics.tajs.analysis.nativeobjects.concrete
 
ConcreteNull() - Constructor for class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteNull
 
ConcreteNullOrUndefined - Class in dk.brics.tajs.analysis.nativeobjects.concrete
 
ConcreteNullOrUndefined() - Constructor for class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteNullOrUndefined
 
ConcreteNumber - Class in dk.brics.tajs.analysis.nativeobjects.concrete
 
ConcreteNumber(Double) - Constructor for class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteNumber
 
ConcreteRegularExpression - Class in dk.brics.tajs.analysis.nativeobjects.concrete
 
ConcreteRegularExpression(ConcreteString, ConcreteBoolean, ConcreteBoolean, ConcreteBoolean, ConcreteNumber) - Constructor for class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteRegularExpression
 
ConcreteString - Class in dk.brics.tajs.analysis.nativeobjects.concrete
 
ConcreteString(String) - Constructor for class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteString
 
ConcreteUndefined - Class in dk.brics.tajs.analysis.nativeobjects.concrete
 
ConcreteUndefined() - Constructor for class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteUndefined
 
ConcreteValue - Interface in dk.brics.tajs.analysis.nativeobjects.concrete
A concrete value.
ConcreteValueVisitor<T> - Interface in dk.brics.tajs.analysis.nativeobjects.concrete
 
ConditionPattern - Interface in dk.brics.tajs.flowgraph.syntaticinfo
An association between a reference and the condition pattern it is used in.
ConditionPatternMatcher - Class in dk.brics.tajs.js2flowgraph
Syntactic pattern matching for various conditional expressions.
ConditionPatternMatcher(SyntacticQueries) - Constructor for class dk.brics.tajs.js2flowgraph.ConditionPatternMatcher
 
ConditionPatternVisitor<T> - Interface in dk.brics.tajs.flowgraph.syntaticinfo
Visitor pattern.
ConditionTree(ParseTree) - Constructor for class dk.brics.tajs.js2flowgraph.ASTInfo.ConditionTree
 
ConditionTree(IfStatementTree) - Constructor for class dk.brics.tajs.js2flowgraph.ASTInfo.ConditionTree
 
ConditionTree(ConditionalExpressionTree) - Constructor for class dk.brics.tajs.js2flowgraph.ASTInfo.ConditionTree
 
ConditionTree(BinaryOperatorTree) - Constructor for class dk.brics.tajs.js2flowgraph.ASTInfo.ConditionTree
 
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.
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.ajax.ActiveXObject
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.ajax.XmlHttpRequest
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.core.DOMAttr
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.core.DOMCDataSection
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.core.DOMCharacterData
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.core.DOMComment
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.core.DOMConfiguration
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.core.DOMDocument
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.core.DOMDocumentFragment
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.core.DOMDocumentType
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.core.DOMElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.core.DOMEntity
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.core.DOMEntityReference
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.core.DOMImplementation
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.core.DOMNamedNodeMap
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.core.DOMNode
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.core.DOMNodeList
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.core.DOMNotation
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.core.DOMProcessingInstruction
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.core.DOMStringList
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.core.DOMStringMap
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.core.DOMText
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.core.DOMTouch
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.core.DOMTouchList
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.event.Event
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.event.EventException
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLAnchorElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLAppletElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLAreaElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLBaseElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLBaseFontElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLBodyElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLBRElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLButtonElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLCollection
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLDirectoryElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLDivElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLDListElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLDocument
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLFieldSetElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLFontElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLFormElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLFrameElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLFrameSetElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLHeadElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLHeadingElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLHRElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLHtmlElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLIFrameElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLImageElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLInputElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLIsIndexElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLLabelElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLLegendElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLLIElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLLinkElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLMapElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLMenuElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLMetaElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLModElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLObjectElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLOListElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLOptGroupElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLOptionElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLOptionsCollection
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLParagraphElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLParamElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLPreElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLQuoteElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLScriptElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLSelectElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLStyleElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLTableCaptionElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLTableCellElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLTableColElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLTableElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLTableRowElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLTableSectionElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLTextAreaElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLTitleElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLUListElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLUnknownElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html5.AudioContext
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html5.AudioDestinationNode
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html5.AudioNode
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html5.AudioParam
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html5.HTMLAudioElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html5.HTMLCanvasElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html5.HTMLMediaElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html5.MediaQueryList
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html5.MutationObserver
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html5.OfflineResourceList
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html5.OscillatorNode
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html5.ScriptProcessorNode
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html5.StorageElement
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html5.TimeRanges
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.html5.WebGLRenderingContext
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.style.ClientBoundingRect
 
CONSTRUCTOR - Static variable in class dk.brics.tajs.analysis.dom.style.CSSStyleDeclaration
 
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
 
containsNonNumberCharacters(String) - Static method in class dk.brics.tajs.util.Strings
 
containsObjectLabel(ObjectLabel) - Method in class dk.brics.tajs.lattice.Obj
Checks whether this object contains the given object label.
containsObjectLabel(ObjectLabel) - Method in class dk.brics.tajs.lattice.Value
Returns true if this value contains the given object label.
containsObjectLabels(ScopeChain, ObjectLabel) - Static method in class dk.brics.tajs.lattice.ScopeChain
Checks whether the scope chain contains the given object label.
containsValue(Object) - Method in class dk.brics.tajs.util.HybridArrayHashMap
 
Context - Class in dk.brics.tajs.lattice
Context for context sensitive analysis.
CONTEXT2D - Static variable in class dk.brics.tajs.analysis.dom.html5.CanvasRenderingContext2D
 
CONTEXT2D_PROTOTYPE - Static variable in class dk.brics.tajs.analysis.dom.html5.CanvasRenderingContext2D
 
ContextArguments - Class in dk.brics.tajs.lattice
Representation of arguments to a function.
ContextArguments(Value, Map<String, Value>) - Constructor for class dk.brics.tajs.lattice.ContextArguments
Context arguments for a function invocation with unknown arguments.
ContextArguments(List<String>, List<Value>, Map<String, Value>) - Constructor for class dk.brics.tajs.lattice.ContextArguments
Context arguments for a function invocation with a known order and number of arguments (standard invocation or precise apply/call).
ContextExpressionFilterer - Class in dk.brics.tajs.monitoring.inspector.dataprocessing
Filters contexts based on a tiny domain specific language.
ContextExpressionFilterer(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Constructor for class dk.brics.tajs.monitoring.inspector.dataprocessing.ContextExpressionFilterer
 
ContextRegistrationMonitor - Class in dk.brics.tajs.monitoring.inspector.datacollection.monitors
 
ContextRegistrationMonitor() - Constructor for class dk.brics.tajs.monitoring.inspector.datacollection.monitors.ContextRegistrationMonitor
 
contextsPerLine - Variable in class dk.brics.tajs.monitoring.inspector.gutters.DefaultGutterData
 
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.
convertFunctionToString(ObjectLabel) - Static method in class dk.brics.tajs.analysis.nativeobjects.concrete.TAJSConcreteSemantics
Implements Function.prototype.toString.
convertTAJSCall(Value, String, int, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface, Supplier<Value>) - Static method in class dk.brics.tajs.analysis.nativeobjects.concrete.TAJSConcreteSemantics
Implements a general call with implicit arguments.
convertTAJSCall(Value, String, int, FunctionCalls.CallInfo) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.TAJSConcreteSemanticsForGeneralCalls
Converts a call from inside TAJS to a concrete call, if possible.
convertTAJSCall(Value, String, int, FunctionCalls.CallInfo, Supplier<Value>) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.TAJSConcreteSemanticsForGeneralCalls
Utility wrapper for TAJSConcreteSemanticsForGeneralCalls.convertTAJSCall(Value, String, int, dk.brics.tajs.analysis.FunctionCalls.CallInfo), in case of non-concrete state or call-failure, the supplied default behavior produces the return value.
convertTAJSCallExplicit(Value, String, List<Value>, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface, Supplier<Value>) - Static method in class dk.brics.tajs.analysis.nativeobjects.concrete.TAJSConcreteSemantics
Implements a general call with explicit arguments.
convertTAJSCallExplicit(Value, String, List<Value>, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.concrete.TAJSConcreteSemantics
Implements a general call with explicit arguments.
convertTAJSCallExplicit(Value, String, List<Value>) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.TAJSConcreteSemanticsForGeneralCalls
Attempts to perform a native call.
convertTAJSCallExplicit(Value, String, List<Value>, Supplier<Value>) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.TAJSConcreteSemanticsForGeneralCalls
Utility wrapper for TAJSConcreteSemanticsForGeneralCalls.convertTAJSCallExplicit(Value, String, List), in case of non-concrete state or call-failure, the supplied default value is returned.
copy(FunctionAndBlockManager) - Method in class dk.brics.tajs.js2flowgraph.JumpThroughBlocks
Returns a shallow clone of this object.
copy() - Method in class dk.brics.tajs.monitoring.inspector.util.OccurenceCountingMap
 
CoreBuilder - Class in dk.brics.tajs.analysis.dom.core
 
CoreBuilder() - Constructor for class dk.brics.tajs.analysis.dom.core.CoreBuilder
 
count(E) - Method in class dk.brics.tajs.monitoring.inspector.util.OccurenceCountingMap
 
count(E, int) - Method in class dk.brics.tajs.monitoring.inspector.util.OccurenceCountingMap
 
countAll(OccurenceCountingMap<E>) - Method in class dk.brics.tajs.monitoring.inspector.util.OccurenceCountingMap
 
CountingResult(F, Integer) - Constructor for class dk.brics.tajs.monitoring.inspector.util.OccurenceCountingMap.CountingResult
 
create() - Method in class dk.brics.tajs.monitoring.inspector.gutters.DefaultGutterDataProvider
 
create(URL) - Method in class dk.brics.tajs.monitoring.inspector.gutters.DefaultGutters
 
create(URL) - Method in interface dk.brics.tajs.monitoring.inspector.gutters.GutterProvider
 
createDOMFunction(ObjectLabel, HostObject, String, int, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.DOMFunctions
Create a new DOM function with the given name and number of arguments on the specified objectlabel.
createDOMProperty(ObjectLabel, String, Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.DOMFunctions
Create a new DOM property with the given name and value on the specified objectlabel.
createInspectorMonitor() - Static method in class dk.brics.tajs.monitoring.inspector.datacollection.InspectorFactory
 
createInspectorMonitor(Set<GutterProvider>) - Static method in class dk.brics.tajs.monitoring.inspector.datacollection.InspectorFactory
 
createLineVisitingInfo() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.VisitationMonitoring
 
createOrGetLogFile() - Method in class dk.brics.tajs.monitoring.soundness.logfileutilities.LogFileHelper
 
createPrimitiveConstructor(ObjectLabel, ObjectLabel, ObjectLabel, ObjectLabel, String, int, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.InitialStateBuilder
Creates a new built-in constructor.
createPrimitiveFunction(ObjectLabel, ObjectLabel, HostObject, String, int, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.InitialStateBuilder
Creates a new built-in function.
createSetTimeOutOrSetIntervalFunction(AbstractNode, String, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.unevalizer.SimpleUnevalizerAPI
 
CSSStyleDeclaration - Class in dk.brics.tajs.analysis.dom.style
 
CSSStyleDeclaration() - Constructor for class dk.brics.tajs.analysis.dom.style.CSSStyleDeclaration
 
CustomContextSensitivityStrategy - Class in dk.brics.tajs.analysis
Context sensitivity strategy determined by TAJS_makeContextSensitive instructions in the analyzed program.
CustomContextSensitivityStrategy(IContextSensitivityStrategy) - Constructor for class dk.brics.tajs.analysis.CustomContextSensitivityStrategy
Creates a new CustomContextSensitivityWrapper by wrapping the given context sensitivity strategy.
CustomStaticLocationMaker(String, URL) - Constructor for class dk.brics.tajs.flowgraph.SourceLocation.CustomStaticLocationMaker
 

D

Date - Static variable in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureUtilities.Receivers
 
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.analysis.PropVarOperations
Declares the given variable (or function) and assigns the given value to it.
declareFunction(DeclareFunctionNode, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.UserFunctionCalls
Declares a function in the current state.
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.
Decorator - Class in dk.brics.tajs.analysis.uneval
 
Decorator(Function) - Constructor for class dk.brics.tajs.analysis.uneval.Decorator
 
decrementFunctionActivityLevel(BlockAndContext<ContextType>) - Method in class dk.brics.tajs.solver.CallDependencies
Decrements the function activity level for the given function and context.
DeepImmutable - Interface in dk.brics.tajs.util
Tagging interface for deeply immutable classes.
DefaultAnalysisMonitoring - Class in dk.brics.tajs.monitoring
Default, empty, implementation of IAnalysisMonitoring.
DefaultAnalysisMonitoring() - Constructor for class dk.brics.tajs.monitoring.DefaultAnalysisMonitoring
 
DefaultDispatchingParseTreeAuxVisitor<V,Aux> - Class in dk.brics.tajs.js2flowgraph.asttraversals
 
DefaultDispatchingParseTreeAuxVisitor() - Constructor for class dk.brics.tajs.js2flowgraph.asttraversals.DefaultDispatchingParseTreeAuxVisitor
 
DefaultGutterData - Class in dk.brics.tajs.monitoring.inspector.gutters
Simple Java-bean with lots of different data to be used by the DefaultGutters
DefaultGutterData(PropagationMonitor.PropagationData, Map<BasicBlock, Set<Context>>, Map<AbstractNode, Set<ObjectLabel>>, Map<Optional<AbstractNode>, Long>, Set<Message>, Map<SourceLine, Integer>, TypeCollector, LazyPropagationMonitor.LazyPropagationData, Map<AbstractNode, Integer>, VisitationMonitoring.Info) - Constructor for class dk.brics.tajs.monitoring.inspector.gutters.DefaultGutterData
 
DefaultGutterDataProvider - Class in dk.brics.tajs.monitoring.inspector.gutters
Utility class for constructing DefaultGutterData
DefaultGutterDataProvider(EventHandlerRegistrationMonitor, PropagationMonitor, ContextRegistrationMonitor, ObjectCollectionMonitor, NodeTransferTimeMonitor, Supplier<Set<Message>>, VisitationMonitoring, TypeCollector, LazyPropagationMonitor, StateCollectorMonitor) - Constructor for class dk.brics.tajs.monitoring.inspector.gutters.DefaultGutterDataProvider
 
DefaultGutters - Class in dk.brics.tajs.monitoring.inspector.gutters
The default gutters provided by the InspectorMonitor.
DefaultGutters(DefaultGutterDataProvider) - Constructor for class dk.brics.tajs.monitoring.inspector.gutters.DefaultGutters
 
DefaultImplicitCallInfo(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Constructor for class dk.brics.tajs.analysis.FunctionCalls.DefaultImplicitCallInfo
 
deleteProperty(Collection<ObjectLabel>, Str, boolean) - Method in class dk.brics.tajs.analysis.PropVarOperations
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.analysis.PropVarOperations
Deletes the given variable.
description - Variable in class dk.brics.tajs.monitoring.inspector.gutters.SuspiciousnessLevel.SuspiciousnessIndicator
 
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(State) - Method in class dk.brics.tajs.lattice.State
Returns a string description of the differences between this state and the given one.
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(StateType) - Method in interface dk.brics.tajs.solver.IState
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.
difference(ExperimentalOptions.ExperimentalOption) - Method in class dk.brics.tajs.options.ExperimentalOptions
Utility function: copies the set of enabled options, except for some specific options.
disableAjaxReturnsJson() - Method in class dk.brics.tajs.options.OptionValues
 
disableAlwaysCanPut() - Method in class dk.brics.tajs.options.OptionValues
 
disableCallgraph() - Method in class dk.brics.tajs.options.OptionValues
 
disableContextSensitiveHeap() - Method in class dk.brics.tajs.options.OptionValues
 
disableContextSpecialization() - Method in class dk.brics.tajs.options.OptionValues
 
disableControlSensitivity() - Method in class dk.brics.tajs.options.OptionValues
 
disableDebug() - Method in class dk.brics.tajs.options.OptionValues
 
disableDeterminacy() - Method in class dk.brics.tajs.options.OptionValues
 
disableDoNotExpectOrdinaryExit() - Method in class dk.brics.tajs.options.OptionValues
 
disableFlowgraph() - Method in class dk.brics.tajs.options.OptionValues
 
disableIgnoreHTMLContent() - Method in class dk.brics.tajs.options.OptionValues
 
disableIgnoreLibraries() - Method in class dk.brics.tajs.options.OptionValues
 
disableIncludeDom() - Method in class dk.brics.tajs.options.OptionValues
 
disableLoopUnrolling() - Method in class dk.brics.tajs.options.OptionValues
 
disableLowSeverity() - Method in class dk.brics.tajs.options.OptionValues
 
disableMemoryUsage() - Method in class dk.brics.tajs.options.OptionValues
 
disableNewflow() - Method in class dk.brics.tajs.options.OptionValues
 
disableNoChargedCalls() - Method in class dk.brics.tajs.options.OptionValues
 
disableNoCopyOnWrite() - Method in class dk.brics.tajs.options.OptionValues
 
disableNoExceptions() - Method in class dk.brics.tajs.options.OptionValues
 
disableNoForInSpecialization() - Method in class dk.brics.tajs.options.OptionValues
 
disableNoGc() - Method in class dk.brics.tajs.options.OptionValues
 
disableNoHybridCollections() - Method in class dk.brics.tajs.options.OptionValues
 
disableNoLazy() - Method in class dk.brics.tajs.options.OptionValues
 
disableNoMessages() - Method in class dk.brics.tajs.options.OptionValues
 
disableNoModified() - Method in class dk.brics.tajs.options.OptionValues
 
disableNoObjectSensitivity() - Method in class dk.brics.tajs.options.OptionValues
 
disableNoPolymorphic() - Method in class dk.brics.tajs.options.OptionValues
 
disableNoRecency() - Method in class dk.brics.tajs.options.OptionValues
 
disableNoUserEvents() - Method in class dk.brics.tajs.options.OptionValues
 
disableParameterSensitivity() - Method in class dk.brics.tajs.options.OptionValues
 
disablePropagateDeadFlow() - Method in class dk.brics.tajs.options.OptionValues
 
disableQuiet() - Method in class dk.brics.tajs.options.OptionValues
 
disableShowVariableInfo() - Method in class dk.brics.tajs.options.OptionValues
 
disableSingleEventHandlerType() - Method in class dk.brics.tajs.options.OptionValues
 
disableStates() - Method in class dk.brics.tajs.options.OptionValues
 
disableStatistics() - Method in class dk.brics.tajs.options.OptionValues
 
disableTest() - Method in class dk.brics.tajs.options.OptionValues
 
disableTestFlowGraphBuilder() - Method in class dk.brics.tajs.options.OptionValues
 
disableTiming() - Method in class dk.brics.tajs.options.OptionValues
 
disableUnevalizer() - Method in class dk.brics.tajs.options.OptionValues
 
disableUnreachable() - Method in class dk.brics.tajs.options.OptionValues
 
discardAndPause() - Method in class dk.brics.tajs.monitoring.inspector.util.StopWatch
 
dischargeIfInactive(BlockAndContext<ContextType>) - Method in class dk.brics.tajs.solver.CallDependencies
Discharges the incoming call edges if the function is inactive.
DispatchingLiteralTreeAuxVisitor<T,V> - Class in dk.brics.tajs.js2flowgraph.asttraversals
 
DispatchingLiteralTreeAuxVisitor() - Constructor for class dk.brics.tajs.js2flowgraph.asttraversals.DispatchingLiteralTreeAuxVisitor
 
DispatchingParseTreeAuxVisitor<V,Aux> - Class in dk.brics.tajs.js2flowgraph.asttraversals
 
DispatchingParseTreeAuxVisitor() - Constructor for class dk.brics.tajs.js2flowgraph.asttraversals.DispatchingParseTreeAuxVisitor
 
DispatchingParseTreeVisitor<T> - Class in dk.brics.tajs.js2flowgraph.asttraversals
 
DispatchingParseTreeVisitor() - Constructor for class dk.brics.tajs.js2flowgraph.asttraversals.DispatchingParseTreeVisitor
 
DispatchingParseTreeVisitor.Indirector - Class in dk.brics.tajs.js2flowgraph.asttraversals
 
div(Value, Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, 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.dom - package dk.brics.tajs.analysis.dom
Model of Mozilla host objects.
dk.brics.tajs.analysis.dom.ajax - package dk.brics.tajs.analysis.dom.ajax
 
dk.brics.tajs.analysis.dom.core - package dk.brics.tajs.analysis.dom.core
 
dk.brics.tajs.analysis.dom.event - package dk.brics.tajs.analysis.dom.event
 
dk.brics.tajs.analysis.dom.html - package dk.brics.tajs.analysis.dom.html
 
dk.brics.tajs.analysis.dom.html5 - package dk.brics.tajs.analysis.dom.html5
 
dk.brics.tajs.analysis.dom.style - package dk.brics.tajs.analysis.dom.style
 
dk.brics.tajs.analysis.dom.view - package dk.brics.tajs.analysis.dom.view
 
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.nativeobjects.concrete - package dk.brics.tajs.analysis.nativeobjects.concrete
Concrete interpretation using javax.script.ScriptEngine.
dk.brics.tajs.analysis.signatures - package dk.brics.tajs.analysis.signatures
Signatures for native functions.
dk.brics.tajs.analysis.signatures.types - package dk.brics.tajs.analysis.signatures.types
 
dk.brics.tajs.analysis.uneval - package dk.brics.tajs.analysis.uneval
Interface between TAJS and the Unevalizer.
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.flowgraph.syntaticinfo - package dk.brics.tajs.flowgraph.syntaticinfo
Information that relates flowgraph elements to the syntactic structures of the backing source code program.
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.js2flowgraph.asttraversals - package dk.brics.tajs.js2flowgraph.asttraversals
 
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.monitoring.inspector - package dk.brics.tajs.monitoring.inspector
TAJS Inspector.
dk.brics.tajs.monitoring.inspector.api - package dk.brics.tajs.monitoring.inspector.api
Implementations of the InspectorAPI.
dk.brics.tajs.monitoring.inspector.datacollection - package dk.brics.tajs.monitoring.inspector.datacollection
Collects data for InspectorMonitor while the analysis is running and at the fixpoint.
dk.brics.tajs.monitoring.inspector.datacollection.monitors - package dk.brics.tajs.monitoring.inspector.datacollection.monitors
Misc.
dk.brics.tajs.monitoring.inspector.dataprocessing - package dk.brics.tajs.monitoring.inspector.dataprocessing
Post-processing of the collected data from dk.brics.tajs.monitoring.inspector.datacollection in order to help implement InspectorAPI.
dk.brics.tajs.monitoring.inspector.gutters - package dk.brics.tajs.monitoring.inspector.gutters
Implementations of Gutters for the InspectorAPI
dk.brics.tajs.monitoring.inspector.util - package dk.brics.tajs.monitoring.inspector.util
Misc.
dk.brics.tajs.monitoring.soundness - package dk.brics.tajs.monitoring.soundness
Soundness testing implementation: compares the (allegedly sound) fixpoint of the analysis against observations from concrete executions.
dk.brics.tajs.monitoring.soundness.logfileutilities - package dk.brics.tajs.monitoring.soundness.logfileutilities
Utilities for accessing soundness testing log files.
dk.brics.tajs.monitoring.soundness.postprocessing - package dk.brics.tajs.monitoring.soundness.postprocessing
Post-processing of the output from dk.brics.tajs.monitoring.soundness.testing.
dk.brics.tajs.monitoring.soundness.testing - package dk.brics.tajs.monitoring.soundness.testing
The soundness testing implementation: compares abstract and concrete states.
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.
DocumentEvent - Class in dk.brics.tajs.analysis.dom.event
The DocumentEvent interface provides a mechanism by which the user can create an Event of a type supported by the implementation.
DocumentEvent() - Constructor for class dk.brics.tajs.analysis.dom.event.DocumentEvent
 
DocumentView - Class in dk.brics.tajs.analysis.dom.view
The DocumentView interface is implemented by Document objects in DOM implementations supporting DOM Views.
DocumentView() - Constructor for class dk.brics.tajs.analysis.dom.view.DocumentView
 
doesLiteralReferenceParameter(AbstractNode, String) - Method in interface dk.brics.tajs.flowgraph.syntaticinfo.SyntacticQueries
True iff the given parameter is used in the given literal constructor.
DomainMapper - Class in dk.brics.tajs.monitoring.inspector.dataprocessing
Main utility for mapping between the TAJS domain and the InspectorAPI domain.
DomainMapper(IDManager) - Constructor for class dk.brics.tajs.monitoring.inspector.dataprocessing.DomainMapper
 
DOMAttr - Class in dk.brics.tajs.analysis.dom.core
The Attr interface represents an attribute in an Element object.
DOMAttr() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMAttr
 
DOMBuilder - Class in dk.brics.tajs.analysis.dom
Setup the DOM browser model.
DOMBuilder() - Constructor for class dk.brics.tajs.analysis.dom.DOMBuilder
 
DOMCDataSection - Class in dk.brics.tajs.analysis.dom.core
CDATA sections are used to escape blocks of text containing characters that would otherwise be regarded as markup.
DOMCDataSection() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMCDataSection
 
DOMCharacterData - Class in dk.brics.tajs.analysis.dom.core
The CharacterData interface extends Node with a set of attributes and methods for accessing character data in the DOM.
DOMCharacterData() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMCharacterData
 
DOMComment - Class in dk.brics.tajs.analysis.dom.core
This represents the content of a comment, i.e., all the characters between the starting ''.
DOMComment() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMComment
 
DOMConfiguration - Class in dk.brics.tajs.analysis.dom.core
The DOMConfiguration interface represents the configuration of a document and maintains a table of recognized parameters.
DOMConfiguration() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMConfiguration
 
DOMConversion - Class in dk.brics.tajs.analysis.dom
 
DOMConversion() - Constructor for class dk.brics.tajs.analysis.dom.DOMConversion
 
DOMDocument - Class in dk.brics.tajs.analysis.dom.core
The Document interface represents the entire HTML or XML document.
DOMDocument() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMDocument
 
DOMDocumentFragment - Class in dk.brics.tajs.analysis.dom.core
DocumentFragment is a "lightweight" or "minimal" Document object.
DOMDocumentFragment() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMDocumentFragment
 
DOMDocumentType - Class in dk.brics.tajs.analysis.dom.core
Each Document has a doctype attribute whose value is either null or a DocumentType object.
DOMDocumentType() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMDocumentType
 
DOMElement - Class in dk.brics.tajs.analysis.dom.core
The Element interface represents an element in an HTML or XML document.
DOMElement() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMElement
 
DOMEntity - Class in dk.brics.tajs.analysis.dom.core
This interface represents an entity, either parsed or unparsed, in an XML document.
DOMEntity() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMEntity
 
DOMEntityReference - Class in dk.brics.tajs.analysis.dom.core
EntityReference objects may be inserted into the structure model when an entity reference is in the source document, or when the user wishes to insert an entity reference.
DOMEntityReference() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMEntityReference
 
DOMEvents - Class in dk.brics.tajs.analysis.dom
 
DOMEvents() - Constructor for class dk.brics.tajs.analysis.dom.DOMEvents
 
DOMException - Class in dk.brics.tajs.analysis.dom.core
DOM operations only raise exceptions in "exceptional" circumstances, i.e., when an operation is impossible to perform (either for logical reasons, because data is lost, or because the implementation has become unstable).
DOMException() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMException
 
DOMFunctions - Class in dk.brics.tajs.analysis.dom
Dispatcher and utility functions for the DOM support
DOMFunctions() - Constructor for class dk.brics.tajs.analysis.dom.DOMFunctions
 
DOMImplementation - Class in dk.brics.tajs.analysis.dom.core
The DOMImplementation interface provides a number of methods for performing operations that are independent of any particular instance of the document object model.
DOMImplementation() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMImplementation
 
DOMNamedNodeMap - Class in dk.brics.tajs.analysis.dom.core
Objects implementing the NamedNodeMap interface are used to represent collections of nodes that can be accessed by name.
DOMNamedNodeMap() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMNamedNodeMap
 
DOMNode - Class in dk.brics.tajs.analysis.dom.core
The Node interface is the primary datatype for the entire Document Object Model.
DOMNode() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMNode
 
DOMNodeList - Class in dk.brics.tajs.analysis.dom.core
The NodeList interface provides the abstraction of an ordered collection of nodes, without defining or constraining how this collection is implemented.
DOMNodeList() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMNodeList
 
DOMNotation - Class in dk.brics.tajs.analysis.dom.core
This interface represents a notation declared in the DTD.
DOMNotation() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMNotation
 
DOMObjects - Enum in dk.brics.tajs.analysis.dom
Native DOM objects.
DOMProcessingInstruction - Class in dk.brics.tajs.analysis.dom.core
The ProcessingInstruction interface represents a "processing instruction", used in XML as a way to keep processor-specific information in the text of the document.
DOMProcessingInstruction() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMProcessingInstruction
 
DOMRegistry - Class in dk.brics.tajs.analysis.dom
 
DOMRegistry() - Constructor for class dk.brics.tajs.analysis.dom.DOMRegistry
 
DOMRegistry.MayMaps - Enum in dk.brics.tajs.analysis.dom
 
DOMRegistry.MaySets - Enum in dk.brics.tajs.analysis.dom
 
DOMStringList - Class in dk.brics.tajs.analysis.dom.core
The DOMStringList interface provides the abstraction of an ordered collection of DOMString values, without defining or constraining how this collection is implemented.
DOMStringList() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMStringList
 
DOMStringMap - Class in dk.brics.tajs.analysis.dom.core
 
DOMStringMap() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMStringMap
 
DOMText - Class in dk.brics.tajs.analysis.dom.core
The Text interface inherits from CharacterData and represents the textual content (termed character data in XML) of an Element or Attr.
DOMText() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMText
 
DOMTouch - Class in dk.brics.tajs.analysis.dom.core
The Touch interface represents a single contact point on a touch-sensitive device.
DOMTouch() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMTouch
 
DOMTouchList - Class in dk.brics.tajs.analysis.dom.core
The TouchList interface represents a list of contact points with a touch surface
DOMTouchList() - Constructor for class dk.brics.tajs.analysis.dom.core.DOMTouchList
 
DOMWindow - Class in dk.brics.tajs.analysis.dom
DOM Window.
DOMWindow() - Constructor for class dk.brics.tajs.analysis.dom.DOMWindow
 
DontCare - Static variable in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureUtilities.MandatoryParameters
 
DontCare - Static variable in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureUtilities.OptionalParameters
 
DontCare - Static variable in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureUtilities.Receivers
 
dump() - Static method in class dk.brics.tajs.options.Options
Prints the settings (if in debug mode).
DynamicLocationMaker(SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.SourceLocation.DynamicLocationMaker
 
DynamicProperty - Class in dk.brics.tajs.flowgraph.syntaticinfo
A dynamic property reference.
DynamicProperty(SyntacticReference, int, SyntacticReference, int, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.syntaticinfo.DynamicProperty
Constructs a new dynamic property reference.

E

EasyPersistence() - Constructor for class dk.brics.tajs.monitoring.soundness.postprocessing.SoundnessTesterStatistics.EasyPersistence
 
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.
edge_context - Variable in class dk.brics.tajs.solver.CallGraph.ReverseEdge
 
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.
ELEMENT - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLElement
 
ELEMENT_PROTOTYPE - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLElement
 
emit(EventDispatcherNode, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.AsyncEvents
 
emit(EventDispatcherNode, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.DOMEvents
 
emit() - Method in class dk.brics.tajs.solver.Message
Prints this message to the log.
enableAjaxReturnsJson() - Method in class dk.brics.tajs.options.OptionValues
 
enableAlwaysCanPut() - Method in class dk.brics.tajs.options.OptionValues
 
enableAsyncEvents() - Method in class dk.brics.tajs.options.OptionValues
 
enableCallgraph() - Method in class dk.brics.tajs.options.OptionValues
 
enableCommonAsyncPolyfill() - Method in class dk.brics.tajs.options.OptionValues
 
enableConsoleModel() - Method in class dk.brics.tajs.options.OptionValues
 
enableContextSensitiveHeap() - Method in class dk.brics.tajs.options.OptionValues
 
enableContextSpecialization() - Method in class dk.brics.tajs.options.OptionValues
 
enableControlSensitivity() - Method in class dk.brics.tajs.options.OptionValues
 
enableDebug() - Method in class dk.brics.tajs.options.OptionValues
 
enableDeterminacy() - Method in class dk.brics.tajs.options.OptionValues
 
enableDeterministicCollections() - Method in class dk.brics.tajs.options.OptionValues
 
enableDoNotExpectOrdinaryExit() - Method in class dk.brics.tajs.options.OptionValues
 
enableEvalStatistics() - Method in class dk.brics.tajs.options.OptionValues
 
enableFlowgraph() - Method in class dk.brics.tajs.options.OptionValues
 
enableIgnoreHTMLContent() - Method in class dk.brics.tajs.options.OptionValues
 
enableIncludeDom() - Method in class dk.brics.tajs.options.OptionValues
 
enableInspector() - Method in class dk.brics.tajs.options.OptionValues
 
enableLoopUnrolling(int) - Method in class dk.brics.tajs.options.OptionValues
 
enableLowSeverity() - Method in class dk.brics.tajs.options.OptionValues
 
enableMemoryUsage() - Method in class dk.brics.tajs.options.OptionValues
 
enableNewflow() - Method in class dk.brics.tajs.options.OptionValues
 
enableNoChargedCalls() - Method in class dk.brics.tajs.options.OptionValues
 
enableNoCopyOnWrite() - Method in class dk.brics.tajs.options.OptionValues
 
enableNoExceptions() - Method in class dk.brics.tajs.options.OptionValues
 
enableNoForInSpecialization() - Method in class dk.brics.tajs.options.OptionValues
 
enableNoGc() - Method in class dk.brics.tajs.options.OptionValues
 
enableNoHybridCollections() - Method in class dk.brics.tajs.options.OptionValues
 
enableNoLazy() - Method in class dk.brics.tajs.options.OptionValues
 
enableNoMessages() - Method in class dk.brics.tajs.options.OptionValues
 
enableNoModified() - Method in class dk.brics.tajs.options.OptionValues
 
enableNoObjectSensitivity() - Method in class dk.brics.tajs.options.OptionValues
 
enableNoPolymorphic() - Method in class dk.brics.tajs.options.OptionValues
 
enableNoRecency() - Method in class dk.brics.tajs.options.OptionValues
 
enableNoStrict() - Method in class dk.brics.tajs.options.OptionValues
 
enableNoUserEvents() - Method in class dk.brics.tajs.options.OptionValues
 
enableParameterSensitivity() - Method in class dk.brics.tajs.options.OptionValues
 
enablePolyfillES6Collections() - Method in class dk.brics.tajs.options.OptionValues
 
enablePolyfillMDN() - Method in class dk.brics.tajs.options.OptionValues
 
enablePolyfillTypedArrays() - Method in class dk.brics.tajs.options.OptionValues
 
enablePropagateDeadFlow() - Method in class dk.brics.tajs.options.OptionValues
 
enableQuiet() - Method in class dk.brics.tajs.options.OptionValues
 
enableShowInternalMessages() - Method in class dk.brics.tajs.options.OptionValues
 
enableShowVariableInfo() - Method in class dk.brics.tajs.options.OptionValues
 
enableSingleEventHandlerType() - Method in class dk.brics.tajs.options.OptionValues
 
enableSpecializeAllBoxedPrimitives() - Method in class dk.brics.tajs.options.OptionValues
 
enableStates() - Method in class dk.brics.tajs.options.OptionValues
 
enableStatistics() - Method in class dk.brics.tajs.options.OptionValues
 
enableTest() - Method in class dk.brics.tajs.options.OptionValues
 
enableTestFlowGraphBuiler() - Method in class dk.brics.tajs.options.OptionValues
 
enableTiming() - Method in class dk.brics.tajs.options.OptionValues
 
enableUnevalizer() - Method in class dk.brics.tajs.options.OptionValues
 
enableUnreachable() - Method in class dk.brics.tajs.options.OptionValues
 
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.
EndLoopNode - Class in dk.brics.tajs.flowgraph.jsnodes
End-loop node.
EndLoopNode(BeginLoopNode, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.EndLoopNode
Constructs a new end-loop node.
endSession(FunctionAndBlockManager.SessionKey) - Method in class dk.brics.tajs.js2flowgraph.FunctionAndBlockManager
Ends a session.
endSetupStartTest() - Method in class dk.brics.tajs.monitoring.soundness.postprocessing.SoundnessTesterPerformance
 
endTest() - Method in class dk.brics.tajs.monitoring.soundness.postprocessing.SoundnessTesterPerformance
 
EndWithNode - Class in dk.brics.tajs.flowgraph.jsnodes
End-with node.
EndWithNode(SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.jsnodes.EndWithNode
Constructs a new end-with node.
enterUserFunction(ObjectLabel, FunctionCalls.CallInfo, boolean, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.UserFunctionCalls
Enters a user-defined function.
Entry(BasicBlock, ContextType) - Constructor for class dk.brics.tajs.solver.WorkList.Entry
Constructs a new entry.
entrySet() - Method in class dk.brics.tajs.util.HybridArrayHashMap
 
eq(Value, Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators
11.9.1 ==
equals(Object) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteArray
 
equals(Object) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteBoolean
 
equals(Object) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteNull
 
equals(Object) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteNullOrUndefined
 
equals(Object) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteNumber
 
equals(Object) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteRegularExpression
 
equals(Object) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteString
 
equals(Object) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteUndefined
 
equals(Object) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.MappedNativeResult
 
equals(Object) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.NativeResult
 
equals(Object) - Method in class dk.brics.tajs.analysis.nativeobjects.TAJSFunction
 
equals(Object) - Method in class dk.brics.tajs.analysis.PartialHostModels
 
equals(Object) - Method in class dk.brics.tajs.analysis.uneval.NormalForm
 
equals(Object) - Method in class dk.brics.tajs.flowgraph.FlowGraph.FunctionDynamicSourceCacheKey
 
equals(Object) - Method in class dk.brics.tajs.flowgraph.FlowGraph.FunctionFileSourceCacheKey
 
equals(Object) - Method in class dk.brics.tajs.flowgraph.SourceLocation
 
equals(Object) - Method in class dk.brics.tajs.js2flowgraph.ASTInfo.ConditionTree
 
equals(Object) - Method in class dk.brics.tajs.js2flowgraph.ASTInfo.LiteralTree
 
equals(Object) - Method in class dk.brics.tajs.js2flowgraph.ASTInfo.LoopTree
 
equals(Object) - Method in class dk.brics.tajs.lattice.Context
 
equals(Object) - Method in class dk.brics.tajs.lattice.ContextArguments
 
equals(Object) - Method in class dk.brics.tajs.lattice.HeapContext
Checks whether the given heap context is equal to this one.
equals(Object) - Method in class dk.brics.tajs.lattice.LocalContext
 
equals(Object) - Method in class dk.brics.tajs.lattice.LocalContext.LoopUnrollingQualifier
 
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.ObjectProperty
Indicates whether some other object is equal to this one.
equals(Object) - Method in class dk.brics.tajs.lattice.Property
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.State.Properties
 
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.inspector.datacollection.SourceLine
 
equals(Object) - Method in class dk.brics.tajs.monitoring.ObjReadsWrites
 
equals(Object) - Method in class dk.brics.tajs.monitoring.soundness.testing.LogEntrySoundnessTester.ValueCheck
 
equals(Object) - Method in class dk.brics.tajs.monitoring.soundness.testing.SoundnessCheckImpl
 
equals(Object) - Method in class dk.brics.tajs.monitoring.TypeCollector.VariableSummary
 
equals(Object) - Method in class dk.brics.tajs.options.ExperimentalOptions
 
equals(Object) - Method in class dk.brics.tajs.options.OptionValues
 
equals(Object) - Method in class dk.brics.tajs.options.SoundnessTesterOptions
 
equals(Object) - Method in class dk.brics.tajs.options.UnsoundnessOptionValues
 
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.IContext
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.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(String) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.CachingNativeConcreteSemantics
 
eval(String) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.NashornConcreteSemantics
 
eval(String) - Method in interface dk.brics.tajs.analysis.nativeobjects.concrete.NativeConcreteSemantics
 
eval(String) - Static method in class dk.brics.tajs.analysis.nativeobjects.concrete.TAJSConcreteSemantics
Implements eval.Throws exception if the concrete semantics was inapplicable to the call.
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 unevalizer cache.
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.ajax.ActiveXObject
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.ajax.XmlHttpRequest
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMCharacterData
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMConfiguration
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface, Set<ObjectLabel>) - Static method in class dk.brics.tajs.analysis.dom.core.DOMDocument
Transfer Functions.
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMElement
Transfer Functions.
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMImplementation
Transfer Functions.
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMNamedNodeMap
Transfer Functions.
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMNode
Transfer Functions.
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMNodeList
Transfer Functions.
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMStringList
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMText
Transfer Functions.
evaluate(DOMObjects, FunctionCalls.CallInfo, State, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.core.DOMTouchList
Transfer Functions.
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.DOMFunctions
Evaluate the native function
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.DOMWindow
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.DocumentEvent
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.Event
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.EventListener
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.EventTarget
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.KeyboardEvent
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.MouseEvent
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.MutationEvent
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.UIEvent
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.event.WheelEvent
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLAnchorElement
Transfer Functions.
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLCollection
Transfer Functions.
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLDocument
Transfer Functions.
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLElement
Transfer Functions.
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLFormElement
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLImageElement
Transfer Functions.
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLInputElement
Transfer Functions.
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLOptionsCollection
Transfer Functions.
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLSelectElement
Transfer Functions.
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLTableElement
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLTableRowElement
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLTableSectionElement
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html.HTMLTextAreaElement
Transfer functions
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.AudioContext
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.AudioDestinationNode
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.AudioNode
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.AudioParam
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.CanvasRenderingContext2D
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.HTMLAudioElement
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.HTMLCanvasElement
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.HTMLMediaElement
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.MediaQueryList
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.MutationObserver
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.OfflineResourceList
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.OscillatorNode
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.ScriptProcessorNode
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.StorageElement
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.TimeRanges
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.html5.WebGLRenderingContext
 
evaluate(DOMObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.style.CSSStyleDeclaration
Transfer Functions.
evaluate(HostObject, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in enum dk.brics.tajs.analysis.HostAPIs
 
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.ECMAScriptFunctions
Evaluates the given native ECMAScript function.
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSArray
Evaluates the given native function.
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSBoolean
Evaluates the given native function.
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSDate
Evaluates the given native function.
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSError
Evaluates the given native function.
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSFunction
Evaluates the given native function.
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSGlobal
Evaluates the given native function.
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSJson
 
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSMath
Evaluates the given native function.
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSNumber
Evaluates the given native function.
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSObject
Evaluates the given native function.
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSRegExp
Evaluates the given native function.
evaluate(ECMAScriptObjects, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSString
Evaluates the given native function.
evaluate(Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.NativeObjectToString
 
evaluate(TAJSFunction, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.TAJSFunctionEvaluator
 
evaluate_FunctionToString(AbstractNode, ObjectLabel) - Method in class dk.brics.tajs.analysis.Unsoundness
Maybe produces an unsound value for 'Function.prototype.toString.call(..)'.
evaluateDOMSetter(ObjectLabel, Str, Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in enum dk.brics.tajs.analysis.dom.DOMObjects
 
evaluateEvalCall(FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface, State, CallNode) - Static method in class dk.brics.tajs.unevalizer.UnevalizerAPI
 
evaluateFunctionCall(AbstractNode, List<String>, String, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.unevalizer.SimpleUnevalizerAPI
 
evaluateFunctionCall(FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface, State, CallNode, String, List<String>, FlowGraph) - Static method in class dk.brics.tajs.unevalizer.UnevalizerAPI
 
evaluateGetter(HostObject, ObjectLabel, String, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.dom.DOMFunctions
Read Magic Property
evaluateJoinOrToLocaleString(AbstractNode, Set<ObjectLabel>, Value, boolean, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSArray
 
evaluateSetTimeoutSetIntervalStringCall(FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface, State, Value, CallNode) - Static method in class dk.brics.tajs.unevalizer.UnevalizerAPI
 
evaluateToString(Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSArray
 
evaluateToString(Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSBoolean
 
evaluateToString(Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSDate
 
evaluateToString() - Static method in class dk.brics.tajs.analysis.nativeobjects.JSError
 
evaluateToString(Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSFunction
 
evaluateToString(Value, Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSNumber
 
evaluateToString(Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSObject
 
evaluateToString(Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSRegExp
 
evaluateToString(Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSString
 
Event - Class in dk.brics.tajs.analysis.dom.event
The Event interface is used to provide contextual information about an event to the handler processing the event.
Event() - Constructor for class dk.brics.tajs.analysis.dom.event.Event
 
EventBuilder - Class in dk.brics.tajs.analysis.dom.event
Initial State Builder for DOM Events.
EventBuilder() - Constructor for class dk.brics.tajs.analysis.dom.event.EventBuilder
 
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
Different kinds of event dispatching.
EventException - Class in dk.brics.tajs.analysis.dom.event
 
EventException() - Constructor for class dk.brics.tajs.analysis.dom.event.EventException
 
EventHandlerCall(AbstractNode, Value, List<Value>, Set<ObjectLabel>, State) - Constructor for class dk.brics.tajs.analysis.FunctionCalls.EventHandlerCall
 
eventHandlerRegistrationLocations - Variable in class dk.brics.tajs.monitoring.inspector.datacollection.InspectorData
 
EventHandlerRegistrationMonitor - Class in dk.brics.tajs.monitoring.inspector.datacollection.monitors
 
EventHandlerRegistrationMonitor() - Constructor for class dk.brics.tajs.monitoring.inspector.datacollection.monitors.EventHandlerRegistrationMonitor
 
eventHandlerRegistrationMonitor - Variable in class dk.brics.tajs.monitoring.inspector.gutters.DefaultGutterDataProvider
 
EventListener - Class in dk.brics.tajs.analysis.dom.event
The EventListener interface is the primary method for handling events.
EventListener() - Constructor for class dk.brics.tajs.analysis.dom.event.EventListener
 
EventTarget - Class in dk.brics.tajs.analysis.dom.event
The EventTarget interface is implemented by all Nodes in an implementation which supports the DOM Event Model.
EventTarget() - Constructor for class dk.brics.tajs.analysis.dom.event.EventTarget
 
EventType - Enum in dk.brics.tajs.flowgraph
Auxiliary methods for recognizing HTML attribute names related to event handlers.
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>, Value) - 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.
expectedFailureCount - Variable in class dk.brics.tajs.monitoring.soundness.postprocessing.SoundnessCheckCounts
 
expectedFailureLocationsThatDidNotHappen - Variable in class dk.brics.tajs.monitoring.soundness.postprocessing.CategorizedSoundnessCheckResults
 
expectParameters(HostObject, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface, int, int) - Static method in class dk.brics.tajs.analysis.dom.DOMFunctions
Issues a warning if the number of parameters is not in the given interval.
ExperimentalOptions - Class in dk.brics.tajs.options
Utility class for experimental options.
ExperimentalOptions(Collection<ExperimentalOptions.ExperimentalOption>) - Constructor for class dk.brics.tajs.options.ExperimentalOptions
Constructor that enables the desired options (as a shallow copy).
ExperimentalOptions(ExperimentalOptions.ExperimentalOption...) - Constructor for class dk.brics.tajs.options.ExperimentalOptions
 
ExperimentalOptions(ExperimentalOptions) - Constructor for class dk.brics.tajs.options.ExperimentalOptions
Cloning constructor.
ExperimentalOptions.ExperimentalOption - Interface in dk.brics.tajs.options
Interface for TAJS variants.
ExperimentalOptions.ExperimentalOptionsManager - Class in dk.brics.tajs.options
Singleton class for managing experimental options.
ExperimentalOptionsManager() - Constructor for class dk.brics.tajs.options.ExperimentalOptions.ExperimentalOptionsManager
 
extendFlowGraph(FlowGraph, String, String, FlowGraphFragment, LoadNode, boolean, String) - Static method in class dk.brics.tajs.js2flowgraph.FlowGraphMutator
Extends the given flow graph.
extendFlowGraphWithTopLevelFunction(List<String>, URL, boolean, FlowGraph, SourceLocation.SourceLocationMaker) - Static method in class dk.brics.tajs.js2flowgraph.FlowGraphMutator
Adds a top-level function to the current flowgraph.
extendFlowGraphWithTopLevelFunction(List<String>, String, FlowGraph, SourceLocation.SourceLocationMaker) - Static method in class dk.brics.tajs.js2flowgraph.FlowGraphMutator
Adds a top-level function to the current flowgraph.
ExternalDependencies - Class in dk.brics.tajs.options
Resolves the external dependencies of TAJS that can be installed using "external-dependencies/install-external-dependencies.sh".
ExternalDependencies() - Constructor for class dk.brics.tajs.options.ExternalDependencies
 
extractTopLevelObjectLabels(ContextArguments) - Static method in class dk.brics.tajs.lattice.ContextArguments
Utility function for extracting object labels
extractTopLevelObjectLabels(HeapContext) - Static method in class dk.brics.tajs.lattice.HeapContext
Utility function for extracting object labels

F

failureCount - Variable in class dk.brics.tajs.monitoring.soundness.postprocessing.SoundnessCheckCounts
 
failures - Variable in class dk.brics.tajs.monitoring.soundness.postprocessing.CategorizedSoundnessCheckResults
 
filter(AbstractNode, Set<Context>, String) - Method in class dk.brics.tajs.monitoring.inspector.dataprocessing.ContextExpressionFilterer
Filters contexts based on a tiny domain specific language.
findProperties() - Static method in class dk.brics.tajs.options.TAJSEnvironmentConfig
 
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(Function) - Constructor for class dk.brics.tajs.flowgraph.FlowGraph
Constructs a new uninitialized flow graph.
FlowGraph.FunctionCacheKey - Interface in dk.brics.tajs.flowgraph
Cache key for dynamically created functions.
FlowGraph.FunctionDynamicSourceCacheKey - Class in dk.brics.tajs.flowgraph
Cache key for functions that are created from string expressions at runtime.
FlowGraph.FunctionFileSourceCacheKey - Class in dk.brics.tajs.flowgraph
Cache key for functions that are created from files at runtime.
FlowGraphBuilder - Class in dk.brics.tajs.js2flowgraph
Converter from JavaScript source code to flow graphs.
FlowGraphBuilder(AstEnv, FunctionAndBlockManager) - Constructor for class dk.brics.tajs.js2flowgraph.FlowGraphBuilder
Constructs a flow graph builder.
FlowGraphBuilder.TripleForSetEntryBlocksWorklist - Class in dk.brics.tajs.js2flowgraph
 
FlowGraphFragment - Class in dk.brics.tajs.flowgraph
A fragment of a flow graph.
FlowGraphFragment(Object, BasicBlock, Function, Collection<Function>, Collection<BasicBlock>) - Constructor for class dk.brics.tajs.flowgraph.FlowGraphFragment
Constructs a flow graph fragment.
flowgraphInfo - Variable in class dk.brics.tajs.monitoring.inspector.gutters.DefaultGutterData
 
FlowGraphMutator - Class in dk.brics.tajs.js2flowgraph
Operations for extending an existing flow graph.
FlowGraphMutator() - Constructor for class dk.brics.tajs.js2flowgraph.FlowGraphMutator
 
format(String) - Method in class dk.brics.tajs.monitoring.MemoryUsageDiagnosisMonitor.Measurements
For pretty printing.
formatMappedValuesScript(String, ConcreteValue, List<ConcreteValue>) - Static method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteApplyMapping
Formats the call to Function.prototype.apply as an expression that produces the mapping for this class.
formatNullResultCheckScript(String, ConcreteValue, List<ConcreteValue>) - Static method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteApplyMapping
Formats the call to Function.prototype.apply as an expression that is true if the result is null.
freeze() - Method in class dk.brics.tajs.lattice.Obj
Makes this object non-writable (to allow sharing).
freezeBasisStore() - Method in class dk.brics.tajs.lattice.State
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.
fromProperty(Value) - Static method in class dk.brics.tajs.analysis.nativeobjects.PropertyDescriptor
 
fromStrtoNum(Str, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.Conversion
9.3.1 String to Number.
fullRecovers - Variable in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.LazyPropagationMonitor.LazyPropagationData
 
Function - Static variable in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureUtilities.MandatoryParameters
 
Function - Static variable in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureUtilities.Receivers
 
Function - Class in dk.brics.tajs.flowgraph
Function sub-graph.
Function(String, List<String>, Function, boolean, SourceLocation, String) - Constructor for class dk.brics.tajs.flowgraph.Function
Constructs a new function.
Function(String, List<String>, Function, SourceLocation) - Constructor for class dk.brics.tajs.flowgraph.Function
 
FUNCTION_PROTOTYPE - Static variable in class dk.brics.tajs.analysis.InitialStateBuilder
Object label for Function.prototype.
FunctionAndBlockManager - Class in dk.brics.tajs.js2flowgraph
Registers creation of functions and blocks.
FunctionAndBlockManager() - Constructor for class dk.brics.tajs.js2flowgraph.FunctionAndBlockManager
Constructs a new function/block manager.
FunctionAndBlockManager.SessionKey - Class in dk.brics.tajs.js2flowgraph
Session key object.
FunctionBuilder - Class in dk.brics.tajs.js2flowgraph
AST visitor that builds functions.
FunctionBuilder(ASTInfo, FunctionAndBlockManager, SourceLocation.SourceLocationMaker, SyntacticAnalysis) - Constructor for class dk.brics.tajs.js2flowgraph.FunctionBuilder
Constructs a new function builder.
FunctionBuilderHelper - Class in dk.brics.tajs.js2flowgraph
Miscellaneous helper functions for FunctionBuilder.
FunctionBuilderHelper() - Constructor for class dk.brics.tajs.js2flowgraph.FunctionBuilderHelper
 
FunctionBuilderHelper.Directive - Enum in dk.brics.tajs.js2flowgraph
Special TAJS directives.
FunctionCalls - Class in dk.brics.tajs.analysis
Models function calls.
FunctionCalls.CallInfo - Interface in dk.brics.tajs.analysis
Information about a function call.
FunctionCalls.DefaultImplicitCallInfo - Class in dk.brics.tajs.analysis
Convenience class for creating the CallInfo for an implicit call.
FunctionCalls.EventHandlerCall - Class in dk.brics.tajs.analysis
Information for an event handler call.
FunctionCalls.OrdinaryCallInfo - Class in dk.brics.tajs.analysis
Call information for an ordinary call/construct.
FunctionDynamicSourceCacheKey(SourceLocation, List<String>, String) - Constructor for class dk.brics.tajs.flowgraph.FlowGraph.FunctionDynamicSourceCacheKey
 
FunctionFileLoader - Class in dk.brics.tajs.analysis.nativeobjects
Utility for loading the content of a file as a function body.
FunctionFileLoader() - Constructor for class dk.brics.tajs.analysis.nativeobjects.FunctionFileLoader
 
FunctionFileSourceCacheKey(URL, List<String>) - Constructor for class dk.brics.tajs.flowgraph.FlowGraph.FunctionFileSourceCacheKey
 
FunctionOrLoopTree(FunctionDeclarationTree) - Constructor for class dk.brics.tajs.js2flowgraph.ASTInfo.FunctionOrLoopTree
 
FunctionOrLoopTree(ASTInfo.LoopTree) - Constructor for class dk.brics.tajs.js2flowgraph.ASTInfo.FunctionOrLoopTree
 

G

gc(Value) - Method in class dk.brics.tajs.lattice.State
Runs garbage collection on the contents of this state.
ge(Value, Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators
11.8.4 >=
GenericSolver<StateType extends IState<StateType,ContextType,CallEdgeType>,ContextType extends IContext<ContextType>,CallEdgeType extends ICallEdge<StateType>,MonitoringType extends ISolverMonitoring<StateType,ContextType>,AnalysisType extends IAnalysis<StateType,ContextType,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(int) - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteArray
 
get() - Static method in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureChecker
 
get() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.InspectorDataProvider
 
get(URL, int) - Method in class dk.brics.tajs.monitoring.inspector.dataprocessing.LineValueComputer
 
get() - Static method in class dk.brics.tajs.options.ExperimentalOptions.ExperimentalOptionsManager
 
get() - Static method in class dk.brics.tajs.options.Options
Gets the options.
get() - Static method in class dk.brics.tajs.options.TAJSEnvironmentConfig
 
get() - Static method in class dk.brics.tajs.util.Canonicalizer
 
get(Object) - Method in class dk.brics.tajs.util.HybridArrayHashMap
 
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.
getAccordingToOptions() - Static method in class dk.brics.tajs.flowgraph.HostEnvSources
Loads all host environment JavaScript models according to currently selected options.
getAjaxEventLabel() - Static method in class dk.brics.tajs.analysis.dom.DOMRegistry
 
getAllBlocks() - Method in class dk.brics.tajs.js2flowgraph.JumpThroughBlocks
Returns all the (cloned) blocks.
getAllDOMEventTargets() - Static method in class dk.brics.tajs.analysis.dom.DOMBuilder
 
getAllEventTypeNames() - Static method in enum dk.brics.tajs.flowgraph.EventType
All event type names, e.g.
getAllHtmlObjectLabels() - Static method in class dk.brics.tajs.analysis.dom.DOMBuilder
 
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
Adds all registered object labels to the given set.
getAllObjectLabels() - Method in class dk.brics.tajs.lattice.Value
Returns the (immutable) set of object labels.
getAllocationLocations(ObjectID) - Method in class dk.brics.tajs.monitoring.inspector.api.SynchronizedMonitoringStoppingAPI
 
getAllocationLocations(ObjectID) - Method in class dk.brics.tajs.monitoring.inspector.api.TAJSInspectorAPI
 
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.
getAnalysisTimeLimit() - Method in class dk.brics.tajs.options.OptionValues
 
getAPI() - Method in enum dk.brics.tajs.analysis.dom.DOMObjects
 
getAPI() - Method in enum dk.brics.tajs.analysis.nativeobjects.ECMAScriptObjects
 
getAPI() - Method in class dk.brics.tajs.analysis.nativeobjects.TAJSFunction
 
getAPI() - Method in class dk.brics.tajs.analysis.PartialHostModels
 
getAPI() - Method in interface dk.brics.tajs.lattice.HostObject
Returns the API descriptor that this host object belongs to.
getAppendBlock() - Method in class dk.brics.tajs.js2flowgraph.AstEnv
Returns the block where ordinary new nodes or blocks should be to added.
getAppendBlock() - Method in class dk.brics.tajs.js2flowgraph.TranslationResult
Returns the append block.
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
 
getArg(int) - Method in class dk.brics.tajs.analysis.FunctionCalls.OrdinaryCallInfo
 
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.
getArguments() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteApplyMapping
 
getArguments() - Method in class dk.brics.tajs.lattice.ContextArguments
Returns the arguments the function was invoked with.
getArguments() - Method in class dk.brics.tajs.options.OptionValues
 
getArgumentsInUse() - Method in class dk.brics.tajs.analysis.uneval.NormalForm
 
getAstInfo() - Method in class dk.brics.tajs.js2flowgraph.FlowGraphBuilder
 
getBackwardsGraph() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.PropagationMonitor.PropagationData
 
getBase() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteApplyMapping
 
getBaseReference(AbstractNode) - Method in interface dk.brics.tajs.flowgraph.syntaticinfo.SyntacticQueries
The base-reference of a property access.
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.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 class dk.brics.tajs.flowgraph.jsnodes.ReadPropertyNode
Returns the base register.
getBaseRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.WritePropertyNode
Returns the base register.
getBaseRegister() - Method in class dk.brics.tajs.js2flowgraph.AstEnv
Returns the register of the base object for variable lookups.
getBasicBlock() - Method in class dk.brics.tajs.lattice.State
 
getBasicBlock() - Method in interface dk.brics.tajs.solver.IState
Returns the basic block for this state.
getBeginNode() - Method in class dk.brics.tajs.flowgraph.jsnodes.EndForInNode
Get the begin node for this block.
getBeginNode() - Method in class dk.brics.tajs.flowgraph.jsnodes.EndLoopNode
Returns the associated begin-loop node.
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(BlockAndContext<ContextType>) - 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 collection of blocks.
getBlocks() - Method in class dk.brics.tajs.flowgraph.Function
Returns the collection of basic blocks.
getBlocksPerLine() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.VisitationMonitoring.Info
 
getBlockVisitCountsPerLine() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.VisitationMonitoring.Info
 
getBoolean() - Method in class dk.brics.tajs.flowgraph.jsnodes.ConstantNode
Returns the boolean (for Type.BOOLEAN only).
getBooleanValue() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteBoolean
 
getByAllocationSite() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.ObjectCollectionMonitor
 
getCacheHits() - Method in class dk.brics.tajs.util.Canonicalizer
 
getCacheMisses() - Method in class dk.brics.tajs.util.Canonicalizer
 
getCacheSize() - Static method in class dk.brics.tajs.lattice.ScopeChain
Returns the canonicalization cache size.
getCallEdge(AbstractNode, ContextType, BasicBlock, ContextType) - Method in class dk.brics.tajs.solver.CallGraph
Returns the specified call edge info.
getCallEdgeInfo() - Method in class dk.brics.tajs.solver.CallGraph
 
getCallEdges(AbstractNode, ContextType) - Method in class dk.brics.tajs.solver.CallGraph
Returns the specified map from (callee entry, edge context) to call edge info.
getCallerContext() - Method in class dk.brics.tajs.solver.CallGraph.ReverseEdge
 
getCallGraph() - Method in class dk.brics.tajs.lattice.AnalysisLatticeElement
 
getCallGraph() - Method in interface dk.brics.tajs.solver.IAnalysisLatticeElement
Returns the call graph.
getCallGraphStatistics() - Method in class dk.brics.tajs.solver.CallGraph
Return call graph statistics on the number of invocations in human readable form.
getCallLocations(ObjectID) - Method in class dk.brics.tajs.monitoring.inspector.api.SynchronizedMonitoringStoppingAPI
 
getCallLocations(ObjectID) - Method in class dk.brics.tajs.monitoring.inspector.api.TAJSInspectorAPI
 
getCallNode() - Method in class dk.brics.tajs.solver.CallGraph.ReverseEdge
 
getCallSources() - Method in class dk.brics.tajs.solver.CallGraph
 
getChangee() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.PropagationMonitor.PropagationNumbers
 
getChangeeWatch() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.PropagationMonitor.PropagationNumbers
 
getChanger() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.PropagationMonitor.PropagationNumbers
 
getChangerWatch() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.PropagationMonitor.PropagationNumbers
 
getClosureVariableNames(Function) - Method in interface dk.brics.tajs.flowgraph.syntaticinfo.SyntacticQueries
The set of free variables of a function that are bound in an outer function (closure variables).
getCode(NodeAndContext<Context>) - Method in class dk.brics.tajs.analysis.EvalCache
Returns the flow graph fragment, or null if not found.
getCode() - Method in class dk.brics.tajs.flowgraph.JavaScriptSource
Returns the code.
getCoercion() - Method in interface dk.brics.tajs.analysis.signatures.types.ValueDescription
 
getColumnNumber() - Method in class dk.brics.tajs.flowgraph.SourceLocation
Returns the source column number.
getColumnOffset() - Method in class dk.brics.tajs.flowgraph.JavaScriptSource
Returns the column offset for the first line.
getCommonAncestorDirectory(Set<Path>) - Static method in class dk.brics.tajs.util.PathAndURLUtils
Returns the most specific common ancestor of the given nonempty set of paths.
getComparateeRegister() - Method in class dk.brics.tajs.flowgraph.syntaticinfo.AbstractEquality
 
getConditionPattern(IfNode) - Method in interface dk.brics.tajs.flowgraph.syntaticinfo.SyntacticQueries
The set of pattern-matched conditions used in the condition of an if-node.
getConditionPatterns() - Method in class dk.brics.tajs.flowgraph.syntaticinfo.RawSyntacticInformation
 
getConditionRefined1ArgumentVariables() - Method in class dk.brics.tajs.flowgraph.syntaticinfo.RawSyntacticInformation
 
getConditionRefined1ArgumentVariables(IfNode) - Method in interface dk.brics.tajs.flowgraph.syntaticinfo.SyntacticQueries
The variables that are used as the first argument to a function call in a condition, where the variable is also used in he body of the condition.
getConditionRefined1ArgumentVariables() - Method in class dk.brics.tajs.js2flowgraph.ASTInfo
 
getConditionRefinedArgumentVariables() - Method in class dk.brics.tajs.flowgraph.syntaticinfo.RawSyntacticInformation
 
getConditionRefinedArgumentVariables(IfNode) - Method in interface dk.brics.tajs.flowgraph.syntaticinfo.SyntacticQueries
The variables that are used as arguments to a function call in a condition, where the variable is also used in he body of the condition.
getConditionRefinedArgumentVariables() - Method in class dk.brics.tajs.js2flowgraph.ASTInfo
 
getConditionRefinedVariables() - Method in class dk.brics.tajs.js2flowgraph.ASTInfo
 
getConditionRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.IfNode
Returns the condition register.
getConditionsWithVariableReadsAsArgumentsInTheCondition() - Method in class dk.brics.tajs.js2flowgraph.ASTInfo
 
getConditionsWithVariableReadsInTheBodies() - Method in class dk.brics.tajs.js2flowgraph.ASTInfo
 
getConditionsWithVariableReadsInTheCondition() - Method in class dk.brics.tajs.js2flowgraph.ASTInfo
 
getConfig() - Method in class dk.brics.tajs.options.OptionValues
 
getContext() - Method in class dk.brics.tajs.lattice.State
 
getContext() - Method in class dk.brics.tajs.monitoring.TypeCollector.VariableSummary
 
getContext() - Method in class dk.brics.tajs.solver.BlockAndContext
Returns the context.
getContext() - Method in interface dk.brics.tajs.solver.IState
Returns the context for this state.
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
 
getContextSensitivityStrategy() - Method in class dk.brics.tajs.analysis.Analysis
Returns the context sensitivity strategy.
getContextsPerLine() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.ContextRegistrationMonitor
 
getController() - Method in class dk.brics.tajs.monitoring.TogglableMonitor
 
getCorrelatedAccessFunctions() - Method in class dk.brics.tajs.flowgraph.syntaticinfo.RawSyntacticInformation
 
getCustom(String) - Method in class dk.brics.tajs.options.TAJSEnvironmentConfig
 
getData() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.LazyPropagationMonitor
 
getData() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.PropagationMonitor
 
getDeclarationBlock() - Method in class dk.brics.tajs.js2flowgraph.AstEnv
Returns the block where variable declarations should be added.
getDeclaredAccessorAllocationSites() - Method in class dk.brics.tajs.flowgraph.ValueLogLocationInformation
 
getDefaultArrayProperty() - Method in class dk.brics.tajs.lattice.Obj
Returns the value of the default array property.
getDefaultArrayProperty(ObjectLabel, State) - Static method in class dk.brics.tajs.lattice.UnknownValueResolver
getDefaultNonArrayProperty() - Method in class dk.brics.tajs.lattice.Obj
Returns the value of the default non-array property.
getDefaultNonArrayProperty(ObjectLabel, State) - Static method in class dk.brics.tajs.lattice.UnknownValueResolver
getDefaultWriteLocations() - Method in class dk.brics.tajs.monitoring.ObjReadsWrites
Returns the set of nodes where an unknown write may have occurred.
getDefinitely() - Method in class dk.brics.tajs.lattice.State.Properties
Returns the property names that are definitely included.
getDefinitelySummarized() - Method in class dk.brics.tajs.lattice.Summarized
Returns the definitely summarized object labels.
getDefiniteWriteLocations(String) - Method in class dk.brics.tajs.monitoring.ObjReadsWrites
Returns the set of locations where the given property is definitely written.
getDescription() - Method in class dk.brics.tajs.monitoring.inspector.gutters.SuspiciousnessLevel.SuspiciousnessIndicator
 
getDiff() - Method in class dk.brics.tajs.solver.IAnalysisLatticeElement.MergeResult
Returns a description of the abstract state difference, or null if not available.
getDomEventType() - Method in class dk.brics.tajs.flowgraph.jsnodes.DeclareFunctionNode
 
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.
getEdgeContext() - Method in class dk.brics.tajs.solver.CallGraph.ReverseEdge
 
getEdgeTransferFunctions() - Method in class dk.brics.tajs.analysis.Analysis
 
getEdgeTransferFunctions() - Method in interface dk.brics.tajs.solver.IAnalysis
Returns the edge transfer functions.
getElapsedMicro() - Method in class dk.brics.tajs.monitoring.inspector.util.StopWatch
 
getElement() - Method in class dk.brics.tajs.monitoring.inspector.util.OccurenceCountingMap.CountingResult
 
getEnabled() - Method in class dk.brics.tajs.options.ExperimentalOptions
 
getEnabledOptionsString() - Method in class dk.brics.tajs.options.ExperimentalOptions
A toString of the enabled options.
getEnclosingFunction(LocationID) - Method in class dk.brics.tajs.monitoring.inspector.api.SynchronizedMonitoringStoppingAPI
 
getEnclosingFunction(LocationID) - Method in class dk.brics.tajs.monitoring.inspector.api.TAJSInspectorAPI
 
getEnclosingIfNode(ParseTree) - Method in class dk.brics.tajs.js2flowgraph.AstEnv
 
getEndColumnNumber() - Method in class dk.brics.tajs.flowgraph.SourceLocation
 
getEndLineNumber() - Method in class dk.brics.tajs.flowgraph.SourceLocation
 
getEndNodes() - Method in class dk.brics.tajs.flowgraph.jsnodes.BeginForInNode
Returns the end nodes for this node.
getEntry() - Method in class dk.brics.tajs.flowgraph.Function
Returns the entry block.
getEntry() - Method in class dk.brics.tajs.js2flowgraph.JumpThroughBlocks
Returns the (cloned) entry block.
getEntryBlock() - Method in class dk.brics.tajs.flowgraph.BasicBlock
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.
getEntryPredecessorBlock() - Method in class dk.brics.tajs.flowgraph.BasicBlock
Returns the entry_predecessor_block, or null if not set.
getEqualities() - Method in class dk.brics.tajs.monitoring.soundness.ValueLogSourceLocationEqualityDecider
 
getErrors() - Method in class dk.brics.tajs.js2flowgraph.JavaScriptParser.ParseResult
Returns the list of parse errors.
getEvalCache() - Method in class dk.brics.tajs.analysis.Analysis
Returns the eval cache.
getEvent(EventType) - Static method in class dk.brics.tajs.analysis.dom.DOMEvents
 
getEventHandlerAttributeNames(EventType) - Static method in enum dk.brics.tajs.flowgraph.EventType
The DOM element attribute names that can trigger the event type, e.g.
getEventHandlerRegistrationLocations(ObjectID) - Method in class dk.brics.tajs.monitoring.inspector.api.SynchronizedMonitoringStoppingAPI
 
getEventHandlerRegistrationLocations(ObjectID) - Method in class dk.brics.tajs.monitoring.inspector.api.TAJSInspectorAPI
 
getEventHandlerTypeFromAttributeName(String) - Static method in enum dk.brics.tajs.flowgraph.EventType
The event type that can be triggered by the DOM element attribute name, e.g.
getEventHandlerTypeFromString(String) - Static method in enum dk.brics.tajs.flowgraph.EventType
 
getEventKind() - Method in class dk.brics.tajs.flowgraph.JavaScriptSource
Returns the event kind, or null if not event handler code.
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 interface dk.brics.tajs.analysis.FunctionCalls.CallInfo
Returns the execution context.
getExecutionContext() - Method in class dk.brics.tajs.analysis.FunctionCalls.DefaultImplicitCallInfo
 
getExecutionContext() - Method in class dk.brics.tajs.analysis.FunctionCalls.EventHandlerCall
 
getExecutionContext() - Method in class dk.brics.tajs.analysis.FunctionCalls.OrdinaryCallInfo
 
getExecutionContext() - Method in class dk.brics.tajs.lattice.State
Returns the execution context.
getExit() - Method in class dk.brics.tajs.js2flowgraph.JumpThroughBlocks
Returns the (cloned) exit block.
getExplicitSoundnessLogFile() - Method in class dk.brics.tajs.options.SoundnessTesterOptions
 
getExpressionRegister(ParseTree) - Method in interface dk.brics.tajs.flowgraph.syntaticinfo.SyntacticQueries
The register used for storing the result of an expression.
getExpressionRegisters() - Method in class dk.brics.tajs.flowgraph.syntaticinfo.RawSyntacticInformation
 
getExtraProperties() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteArray
 
getExtras() - Method in class dk.brics.tajs.lattice.State
Returns the extra stuff.
getFailureKind() - Method in class dk.brics.tajs.monitoring.soundness.testing.LogEntrySoundnessTester.ValueCheck
 
getFailureKind() - Method in interface dk.brics.tajs.monitoring.soundness.testing.SoundnessCheck
 
getFileDescription(FileID) - Method in class dk.brics.tajs.monitoring.inspector.api.SynchronizedMonitoringStoppingAPI
 
getFileDescription(FileID) - Method in class dk.brics.tajs.monitoring.inspector.api.TAJSInspectorAPI
 
getFileIDs() - Method in class dk.brics.tajs.monitoring.inspector.api.SynchronizedMonitoringStoppingAPI
 
getFileIDs() - Method in class dk.brics.tajs.monitoring.inspector.api.TAJSInspectorAPI
 
getFilteredContexts(LocationID, String) - Method in class dk.brics.tajs.monitoring.inspector.api.SynchronizedMonitoringStoppingAPI
 
getFilteredContexts(LocationID, String) - Method in class dk.brics.tajs.monitoring.inspector.api.TAJSInspectorAPI
 
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.
getFlowGraphBinaryNonAssignmentOp(TokenType) - Static method in class dk.brics.tajs.js2flowgraph.FunctionBuilderHelper
Closure compiler binary operator -> TAJS flow graph operator.
getFlowGraphBinaryOperationFromCompoundAssignment(BinaryOperatorTree) - Static method in class dk.brics.tajs.js2flowgraph.FunctionBuilderHelper
Closure compiler compound assignments binary operator -> TAJS flow graph operator.
getFlowGraphUnaryNonAssignmentOp(TokenType) - Static method in class dk.brics.tajs.js2flowgraph.FunctionBuilderHelper
Closure compiler unary operator -> TAJS flow graph operator.
getForwardsGraph() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.PropagationMonitor.PropagationData
 
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.
getFullExpression(String) - Method in interface dk.brics.tajs.unevalizer.AnalyzerCallback
Gives the full expression for the variable placeHolder.
getFunArgs() - Method in class dk.brics.tajs.lattice.Context
Returns the function arguments.
getFunction() - Method in class dk.brics.tajs.flowgraph.BasicBlock
Returns the function containing this block.
getFunction() - Method in class dk.brics.tajs.flowgraph.FlowGraphFragment
Returns the collection of functions.
getFunction() - Method in class dk.brics.tajs.flowgraph.jsnodes.DeclareFunctionNode
Returns the function being declared.
getFunction() - Method in class dk.brics.tajs.js2flowgraph.AstEnv
Returns the nearest enclosing function.
getFunction() - Method in class dk.brics.tajs.lattice.ObjectLabel
Returns the function of this function object label.
getFunctionArguments() - Method in class dk.brics.tajs.lattice.HeapContext
Returns the values for the context arguments of this heap context, or null if none.
getFunctionCache() - Method in class dk.brics.tajs.flowgraph.FlowGraph
Returns the cache of dynamically created functions.
getFunctionClosureVariables() - Method in class dk.brics.tajs.flowgraph.syntaticinfo.RawSyntacticInformation
 
getFunctionClosureVariables() - Method in class dk.brics.tajs.js2flowgraph.ASTInfo
 
getFunctionEnv() - Method in class dk.brics.tajs.js2flowgraph.AstEnv
Returns the environment at the nearest enclosing function.
getFunctionRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.CallNode
Returns the function register, or AbstractNode.NO_VALUE if not applicable.
getFunctions() - Method in class dk.brics.tajs.flowgraph.FlowGraph
Returns the functions, including the main function.
getFunctionsOrLoopsWithDynamicPropertyReads() - Method in class dk.brics.tajs.js2flowgraph.ASTInfo
 
getFunctionsWithThisReference() - Method in class dk.brics.tajs.flowgraph.syntaticinfo.RawSyntacticInformation
 
getFunctionsWithThisReference() - Method in class dk.brics.tajs.js2flowgraph.ASTInfo
 
getFunctionsWithVariableCorrelatedPropertyAccesses() - Method in class dk.brics.tajs.js2flowgraph.ASTInfo
 
getFunctionsWithVariablesAsPropertyAccessName() - Method in class dk.brics.tajs.js2flowgraph.ASTInfo
 
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.DefaultImplicitCallInfo
 
getFunctionValue() - Method in class dk.brics.tajs.analysis.FunctionCalls.EventHandlerCall
 
getFunctionValue() - Method in class dk.brics.tajs.analysis.FunctionCalls.OrdinaryCallInfo
 
getGeneratorEnvironmentExplicitly() - Method in class dk.brics.tajs.options.SoundnessTesterOptions
 
getGetters() - Method in class dk.brics.tajs.lattice.Value
Returns the (immutable) set of getters.
getGlobal() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteRegularExpression
 
getGnuPlot() - Method in class dk.brics.tajs.options.TAJSEnvironmentConfig
 
getGutters(FileID) - Method in class dk.brics.tajs.monitoring.inspector.api.SynchronizedMonitoringStoppingAPI
 
getGutters(FileID) - Method in class dk.brics.tajs.monitoring.inspector.api.TAJSInspectorAPI
 
getHashChangeEventLabel() - Static method in class dk.brics.tajs.analysis.dom.DOMRegistry
 
getHeapContext() - Method in class dk.brics.tajs.lattice.ObjectLabel
Returns the heap context.
getHostObject() - Method in class dk.brics.tajs.lattice.ObjectLabel
Returns the descriptor for this object label.
getHTML() - Method in class dk.brics.tajs.htmlparser.HTMLParser
Returns the HTML.
getHTMLObjectLabel(String) - Static method in class dk.brics.tajs.analysis.dom.DOMFunctions
Returns the object label belonging to the given tagname.
getIfNode() - Method in class dk.brics.tajs.flowgraph.jsnodes.BeginLoopNode
Returns the loop branch node.
getIgnoreCase() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteRegularExpression
 
getImplicitAfterCall() - Method in class dk.brics.tajs.flowgraph.AbstractNode
Returns the implicit after-call block for this node, or null if none.
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, or -1 if not set.
getIndex() - Method in class dk.brics.tajs.flowgraph.Function
Returns the function index.
getIndicators() - Method in class dk.brics.tajs.monitoring.inspector.gutters.SuspiciousnessLevel
 
getInForIn() - Method in class dk.brics.tajs.flowgraph.syntaticinfo.RawSyntacticInformation
 
getInitialStateBuilder() - Method in class dk.brics.tajs.analysis.Analysis
 
getInitialStateBuilder() - Method in interface dk.brics.tajs.solver.IAnalysis
Returns the initial state builder.
getInstrumentationTimeLimitExplicitly() - Method in class dk.brics.tajs.options.SoundnessTesterOptions
 
getInternalPrototype() - Method in class dk.brics.tajs.lattice.Obj
Returns the value of the internal [[Prototype]] property.
getInternalPrototype(ObjectLabel, State, boolean) - Static method in class dk.brics.tajs.lattice.UnknownValueResolver
getInternalValue() - Method in class dk.brics.tajs.lattice.Obj
Returns the value of the internal [[Value]] property.
getInternalValue(ObjectLabel, State, boolean) - Static method in class dk.brics.tajs.lattice.UnknownValueResolver
getJalangiLogger() - Static method in class dk.brics.tajs.options.SoundnessTesterOptions
 
getJalangiLoggerDirectory() - Static method in class dk.brics.tajs.options.ExternalDependencies
 
getJavaScript() - Method in class dk.brics.tajs.htmlparser.HTMLParser
Returns all JavaScript code in the document, both from both embedded/external 'script' elements and event handlers.
getJSDelta() - Method in class dk.brics.tajs.options.TAJSEnvironmentConfig
 
getJSDeltaServerPorts() - Method in class dk.brics.tajs.options.TAJSEnvironmentConfig
 
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.DefaultImplicitCallInfo
 
getJSSourceNode() - Method in class dk.brics.tajs.analysis.FunctionCalls.EventHandlerCall
 
getJSSourceNode() - Method in class dk.brics.tajs.analysis.FunctionCalls.OrdinaryCallInfo
 
getJumpThroughBlocks(AstEnv) - Method in class dk.brics.tajs.js2flowgraph.AstEnv
Collects all AstEnv.jumpThroughBlocks in the chain of environments up until (and not including) the given environment.
getKey() - Method in class dk.brics.tajs.flowgraph.FlowGraphFragment
Returns the key.
getKey() - Method in class dk.brics.tajs.util.MapEntry
 
getKeyboardEventLabel() - Static method in class dk.brics.tajs.analysis.dom.DOMRegistry
 
getKind() - Method in class dk.brics.tajs.flowgraph.JavaScriptSource
Returns the kind.
getKind() - Method in class dk.brics.tajs.flowgraph.jsnodes.AssumeNode
Returns the assume node kind.
getKind() - Method in class dk.brics.tajs.flowgraph.jsnodes.WritePropertyNode
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.ObjectProperty
Returns the kind.
getKind() - Method in class dk.brics.tajs.lattice.Property
Returns the kind.
getLabelledBreak(String) - Method in class dk.brics.tajs.js2flowgraph.AstEnv
Finds the 'break' basic block associated with the given label.
getLabelledBreakEnv(String) - Method in class dk.brics.tajs.js2flowgraph.AstEnv
Returns the environment at the given 'break' label.
getLabelledContinue(String) - Method in class dk.brics.tajs.js2flowgraph.AstEnv
Finds the 'continue' basic block associated with the given label.
getLabelledContinueEnv(String) - Method in class dk.brics.tajs.js2flowgraph.AstEnv
Returns the environment at the given 'continue' label.
getLastEnclosingNode(URL, int, int) - Method in class dk.brics.tajs.monitoring.inspector.dataprocessing.SyntaxMatcher
 
getLastIndex() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteRegularExpression
 
getLastNode() - Method in class dk.brics.tajs.flowgraph.BasicBlock
Returns the last node.
getLatex() - Method in class dk.brics.tajs.options.TAJSEnvironmentConfig
 
getLength() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteArray
 
getLibraries() - Method in class dk.brics.tajs.options.OptionValues
 
getLine() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.SourceLine
 
getLineNumber() - Method in class dk.brics.tajs.flowgraph.SourceLocation
Returns the source line number.
getLineOffset() - Method in class dk.brics.tajs.flowgraph.JavaScriptSource
Returns the line offset for the first line.
getLineValues(FileID, int) - Method in class dk.brics.tajs.monitoring.inspector.api.SynchronizedMonitoringStoppingAPI
 
getLineValues(FileID, int) - Method in class dk.brics.tajs.monitoring.inspector.api.TAJSInspectorAPI
 
getLiteralConstructorKind() - Method in class dk.brics.tajs.flowgraph.jsnodes.CallNode
 
getLiteralsInForIn() - Method in class dk.brics.tajs.js2flowgraph.ASTInfo
 
getLoadEventLabel() - Static method in class dk.brics.tajs.analysis.dom.DOMRegistry
 
getLocalContext() - Method in class dk.brics.tajs.lattice.Context
Returns the local context information.
getLocalContextAtEntry() - Method in class dk.brics.tajs.lattice.Context
Returns the local context at entry information.
getLocation() - Method in class dk.brics.tajs.flowgraph.SourceLocation
 
getLocation() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.SourceLine
 
getLocationCounts() - Method in class dk.brics.tajs.monitoring.soundness.postprocessing.CategorizedSoundnessCheckResults
 
getLogFile() - Method in class dk.brics.tajs.monitoring.soundness.logfileutilities.LogFileHelper
 
getLoopConditionVariableReads() - Method in class dk.brics.tajs.js2flowgraph.ASTInfo
 
getLoopLabelName(ParseTree) - Method in class dk.brics.tajs.js2flowgraph.AstEnv
 
getLoopNonInitializerDynamicPropertyVariableReads() - Method in class dk.brics.tajs.js2flowgraph.ASTInfo
 
getLoopNonInitializerVariableWrites() - Method in class dk.brics.tajs.js2flowgraph.ASTInfo
 
getLoopUnrollings() - Method in class dk.brics.tajs.options.OptionValues
 
getLoopVariables() - Method in class dk.brics.tajs.flowgraph.syntaticinfo.RawSyntacticInformation
 
getMain() - Method in class dk.brics.tajs.flowgraph.FlowGraph
Returns the main code.
getMainFile() - Method in class dk.brics.tajs.monitoring.soundness.logfileutilities.LogFileHelper
 
getMap() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.ContextRegistrationMonitor
 
getMap() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.EventHandlerRegistrationMonitor
 
getMapped() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.MappedNativeResult
 
getMapping() - Method in class dk.brics.tajs.analysis.uneval.NormalForm
 
getMapView() - Method in class dk.brics.tajs.monitoring.inspector.util.OccurenceCountingMap
 
getMax_recovery_graph_sizes() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.LazyPropagationMonitor
 
getMaxRegister() - Method in class dk.brics.tajs.flowgraph.Function
Returns the upper bound of the register numbers used in this function.
getMaxStateSizes() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.StateCollectorMonitor
 
getMaybe() - Method in class dk.brics.tajs.lattice.State.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.
getMeasurements() - Method in class dk.brics.tajs.monitoring.MemoryUsageDiagnosisMonitor.Measurements
 
getMessage() - Method in class dk.brics.tajs.js2flowgraph.JavaScriptParser.SyntaxMesssage
Returns the message.
getMessage() - Method in class dk.brics.tajs.monitoring.soundness.testing.LogEntrySoundnessTester.ValueCheck
 
getMessage() - Method in interface dk.brics.tajs.monitoring.soundness.testing.SoundnessCheck
 
getMessage() - Method in class dk.brics.tajs.monitoring.soundness.testing.SoundnessCheckImpl
 
getMessage() - Method in class dk.brics.tajs.solver.Message
Returns the message text.
getMessages() - Method in class dk.brics.tajs.monitoring.CompositeMonitoring
 
getMessages() - Method in class dk.brics.tajs.monitoring.DefaultAnalysisMonitoring
 
getMessages() - Method in interface dk.brics.tajs.monitoring.IAnalysisMonitoring
Returns the collected messages.
getMessages() - Method in class dk.brics.tajs.monitoring.Monitoring
Returns the collected messages.
getMessages() - Method in class dk.brics.tajs.monitoring.PhaseMonitoring
 
getMessages() - Method in class dk.brics.tajs.monitoring.TogglableMonitor
 
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.
getMouseEventLabel() - Static method in class dk.brics.tajs.analysis.dom.DOMRegistry
 
getMultiline() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteRegularExpression
 
getMutationEventLabel() - Static method in class dk.brics.tajs.analysis.dom.DOMRegistry
 
getName() - Method in class dk.brics.tajs.analysis.nativeobjects.TAJSFunction
 
getName() - Method in enum dk.brics.tajs.flowgraph.EventType
 
getName() - Method in class dk.brics.tajs.flowgraph.Function
Returns the function name, or null if the function is anonymous.
getName() - Method in enum dk.brics.tajs.js2flowgraph.FunctionBuilderHelper.Directive
Returns the name of the directive.
getNative() - Static method in class dk.brics.tajs.analysis.nativeobjects.concrete.TAJSConcreteSemantics
 
getNestedLoops() - Method in class dk.brics.tajs.js2flowgraph.ASTInfo
 
getNode() - Method in class dk.brics.tajs.flowgraph.Function
Returns the node where this function is declared.
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.options.TAJSEnvironmentConfig
 
getNode() - Method in class dk.brics.tajs.solver.GenericSolver.SolverInterface
Returns the node currently being visited.
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.
getNodeFromFixedAccessAtTAJSSourceLocation(SourceLocation, String) - Method in class dk.brics.tajs.monitoring.inspector.dataprocessing.SyntaxMatcher
 
getNodes() - Method in class dk.brics.tajs.flowgraph.BasicBlock
Returns the sequence of nodes.
getNodesForLine(URL, int) - Method in class dk.brics.tajs.monitoring.inspector.dataprocessing.SyntaxMatcher
 
getNodesPerLine() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.VisitationMonitoring.Info
 
getNodeTransferFunctions() - Method in class dk.brics.tajs.analysis.Analysis
 
getNodeTransferFunctions() - Method in interface dk.brics.tajs.solver.IAnalysis
Returns the node transfer functions.
getNodeWithBaseReferences() - Method in class dk.brics.tajs.flowgraph.syntaticinfo.RawSyntacticInformation
 
getNonGlobalIdentifiers() - Method in interface dk.brics.tajs.unevalizer.AnalyzerCallback
Get the set of identifiers bound in the non global scope
getNonStackVariables() - Method in class dk.brics.tajs.js2flowgraph.ASTInfo
 
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.analysis.nativeobjects.concrete.ConcreteNumber
 
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.analysis.FunctionCalls.OrdinaryCallInfo
 
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.
getNumberOfInvocationsInDifferentContexts(int) - Method in class dk.brics.tajs.solver.CallGraph
Returns the total number of call nodes with reachable contexts.
getNumberOfMakeWritablePropertiesCalls() - Static method in class dk.brics.tajs.lattice.Obj
Returns the total number of makeWritableProperties operations.
getNumberOfMakeWritableStoreCalls() - Static method in class dk.brics.tajs.lattice.State
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.
getNumberOfObjsCreated() - Static method in class dk.brics.tajs.lattice.Obj
Returns the total number of Obj objects created.
getNumberOfStates() - Method in class dk.brics.tajs.lattice.AnalysisLatticeElement
 
getNumberOfStates() - Method in interface dk.brics.tajs.solver.IAnalysisLatticeElement
Returns the total number of (non-bottom) abstract states.
getNumberOfStatesCreated() - Static method in class dk.brics.tajs.lattice.State
Returns the total number of State objects created.
getNumberOfUserCodeNodes() - Method in class dk.brics.tajs.flowgraph.FlowGraph
Returns the total number of user-code (i.e.
getNumbers() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.PropagationMonitor.PropagationData
 
getNumericLevel() - Method in class dk.brics.tajs.monitoring.inspector.gutters.SuspiciousnessLevel
 
getObject() - Method in class dk.brics.tajs.lattice.ScopeChain
Returns the top-most object in this scope chain.
getObject(ObjectLabel, boolean) - Method in class dk.brics.tajs.lattice.State
Looks up an object in the store.
getObjectLabel() - Method in class dk.brics.tajs.lattice.ObjectProperty
Returns the object label.
getObjectLabels() - Method in class dk.brics.tajs.lattice.ExecutionContext
Returns the set of object labels within the execution context.
getObjectLabels(ScopeChain) - Static method in class dk.brics.tajs.lattice.ScopeChain
Returns the set of object labels appearing in the given scope chain.
getObjectLabels() - Method in class dk.brics.tajs.lattice.Value
Returns the (immutable) set of object labels.
getObjectProperties(ObjectID, LocationID) - Method in class dk.brics.tajs.monitoring.inspector.api.SynchronizedMonitoringStoppingAPI
 
getObjectProperties(ObjectID, LocationID) - Method in class dk.brics.tajs.monitoring.inspector.api.TAJSInspectorAPI
 
getObjectProperty() - Method in class dk.brics.tajs.lattice.Value
Returns the object property.
getObjectRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.BeginForInNode
Returns the object register.
getObjectRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.BeginWithNode
Returns the object register.
getObjects() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.ObjectCollectionMonitor
 
getObjectSourceLocations() - Method in class dk.brics.tajs.lattice.Value
Returns the source locations of the objects in this value.
getOccurences() - Method in class dk.brics.tajs.monitoring.inspector.util.OccurenceCountingMap.CountingResult
 
getOnlyIncludeAndDirectoryForHTML(Path) - Static method in class dk.brics.tajs.monitoring.soundness.logfileutilities.LogFileHelper
Utility for computing value logger inputs for multi file html applications.
getOnlyIncludesForInstrumentation() - Method in class dk.brics.tajs.options.SoundnessTesterOptions
 
getOperandSourceLocation() - Method in class dk.brics.tajs.flowgraph.jsnodes.TypeofNode
 
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.
getOptions() - Method in class dk.brics.tajs.monitoring.inspector.api.SynchronizedMonitoringStoppingAPI
 
getOptions() - Method in class dk.brics.tajs.monitoring.inspector.api.TAJSInspectorAPI
 
getOptionValues() - Method in class dk.brics.tajs.options.OptionValues
 
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.
getParametersLength() - Method in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureChecker.ArityOverloadedSignature
 
getParametersLength() - Method in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureChecker.SimpleSignature
 
getParametersLength() - Method in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureChecker.VarSignature
 
getParametersLength() - Method in interface dk.brics.tajs.analysis.signatures.types.Signature
 
getParameterValue(String) - Method in class dk.brics.tajs.lattice.ContextArguments
 
getPositionalLocationID(FileID, int, int, Optional<ContextID>) - Method in class dk.brics.tajs.monitoring.inspector.api.SynchronizedMonitoringStoppingAPI
 
getPositionalLocationID(FileID, int, int, Optional<ContextID>) - Method in class dk.brics.tajs.monitoring.inspector.api.TAJSInspectorAPI
 
getPredecessorBlocks(BasicBlock) - Method in class dk.brics.tajs.analysis.uneval.Decorator
Returns the set of basic blocks occurring immediately before the given basic block.
getPrefix() - Method in interface dk.brics.tajs.lattice.Str
Returns the prefix value, or null if definitely not a fixed nonempty prefix string.
getPrefix() - Method in class dk.brics.tajs.lattice.Value
 
getPrefixPostfixOp(TokenType) - Static method in class dk.brics.tajs.js2flowgraph.FunctionBuilderHelper
Closure compiler prefix/postfix operator -> TAJS flow graph operator.
getProgramAST() - Method in class dk.brics.tajs.js2flowgraph.JavaScriptParser.ParseResult
Returns the AST, or null if parse error.
getPropagatee() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.PropagationMonitor.PropagationNumbers
 
getPropagateeWatch() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.PropagationMonitor.PropagationNumbers
 
getPropagator() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.PropagationMonitor.PropagationNumbers
 
getPropagatorWatch() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.PropagationMonitor.PropagationNumbers
 
getProperties() - Method in class dk.brics.tajs.lattice.Obj
Returns all properties, excluding the defaults and internal properties.
getProperties(Collection<ObjectLabel>, boolean, boolean) - Method in class dk.brics.tajs.lattice.State
Returns a description of the names of the [enumerable] properties of the given objects [and their prototypes].
getProperties(ObjectLabel, State) - Static method in class dk.brics.tajs.lattice.UnknownValueResolver
Wrapper for Obj.getProperties().
getProperties() - Method in class dk.brics.tajs.monitoring.ObjReadsWrites
Get all properties that are read or written (definitely/maybe), ignoring unknown reads/writes.
getProperty(String) - Method in class dk.brics.tajs.lattice.Obj
Returns the value of the given property, considering defaults if necessary.
getProperty() - Method in class dk.brics.tajs.lattice.ObjectProperty
Returns the property.
getProperty(ObjectLabel, String, State, boolean) - Static method in class dk.brics.tajs.lattice.UnknownValueResolver
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.ObjectProperty
Returns the property name (for ordinary properties).
getPropertyName() - Method in class dk.brics.tajs.lattice.Property
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.
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.CallNode
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 class dk.brics.tajs.flowgraph.jsnodes.NextPropertyNode
Returns the property register.
getPropertyRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.ReadPropertyNode
Returns the property register, or AbstractNode.NO_VALUE if not applicable.
getPropertyRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.WritePropertyNode
Returns the property register, or AbstractNode.NO_VALUE if not applicable.
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.CallNode
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 class dk.brics.tajs.flowgraph.jsnodes.ReadPropertyNode
Returns the property string, or null if not fixed.
getPropertyString() - Method in class dk.brics.tajs.flowgraph.jsnodes.WritePropertyNode
Returns the property string, or null if not fixed.
getPropVarOperations() - Method in class dk.brics.tajs.analysis.Analysis
Returns the properties/variables operations object.
getPrototypesUsedForUnknown(ObjectLabel) - Method in class dk.brics.tajs.lattice.State
 
getPrototypeWithProperty(ObjectLabel, String) - Method in class dk.brics.tajs.lattice.State
 
getPrototypeWithProperty(ObjectLabel, Str) - Method in class dk.brics.tajs.lattice.State
Returns the set of objects in the prototype chain that contain the property.
getQualifiers() - Method in class dk.brics.tajs.lattice.LocalContext
 
getQueryView() - Method in class dk.brics.tajs.flowgraph.syntaticinfo.RawSyntacticInformation
 
getRawCounts() - Method in class dk.brics.tajs.monitoring.soundness.postprocessing.CategorizedSoundnessCheckResults
 
getReachableFunctions() - Method in class dk.brics.tajs.monitoring.ReachabilityMonitor
 
getReachableLinesPerFile() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.VisitationMonitoring.Info
 
getReachableNodes() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.VisitationMonitoring.Info
 
getReachableNodes() - Method in class dk.brics.tajs.monitoring.ReachabilityMonitor
 
getReadStatus(String) - Method in class dk.brics.tajs.monitoring.ObjReadsWrites
Returns the read status of the given property.
getRealValue(Value, State) - Static method in class dk.brics.tajs.lattice.UnknownValueResolver
Fully recovers the given value if polymorphic.
getReference() - Method in class dk.brics.tajs.flowgraph.syntaticinfo.AbstractConditionPattern
 
getReference() - Method in interface dk.brics.tajs.flowgraph.syntaticinfo.ConditionPattern
 
getRegister() - Method in class dk.brics.tajs.js2flowgraph.RegisterManager
Returns the current register (without incrementing it).
getRegisterManager() - Method in class dk.brics.tajs.js2flowgraph.AstEnv
Returns the register manager.
getRegisters() - Method in class dk.brics.tajs.lattice.State
Returns the list of registers.
getRelatedLocations(LocationID, boolean, RelatedLocationKind, boolean) - Method in class dk.brics.tajs.monitoring.inspector.api.SynchronizedMonitoringStoppingAPI
 
getRelatedLocations(LocationID, boolean, RelatedLocationKind, boolean) - Method in class dk.brics.tajs.monitoring.inspector.api.TAJSInspectorAPI
 
getRelativeTo(Path, Path) - Static method in class dk.brics.tajs.util.PathAndURLUtils
Makes a relative Path that is relative to the 'from' directory.
getRelativeToTAJS(Path) - Static method in class dk.brics.tajs.util.PathAndURLUtils
Makes a relative Path that is relative to the TAJS directory, if possible.
getRelativeToWorkingDirectory(Path) - Static method in class dk.brics.tajs.util.PathAndURLUtils
Makes a relative Path that is relative to the working directory.
getRequirement() - Method in interface dk.brics.tajs.analysis.signatures.types.ValueDescription
 
getResult() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteApplyMapping
 
getResult() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.MappedNativeResult
 
getResult(E) - Method in class dk.brics.tajs.monitoring.inspector.util.OccurenceCountingMap
 
getResultBaseRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.ReadVariableNode
Returns the result base register.
getResultReference() - Method in class dk.brics.tajs.js2flowgraph.TranslationResult
Returns the result reference, or null if none.
getResultRegister() - Method in interface dk.brics.tajs.analysis.FunctionCalls.CallInfo
Returns the result register.
getResultRegister() - Method in class dk.brics.tajs.analysis.FunctionCalls.DefaultImplicitCallInfo
 
getResultRegister() - Method in class dk.brics.tajs.analysis.FunctionCalls.EventHandlerCall
 
getResultRegister() - Method in class dk.brics.tajs.analysis.FunctionCalls.OrdinaryCallInfo
 
getResultRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.LoadNode
Returns the result register, or AbstractNode.NO_VALUE if not applicable.
getResultRegister() - Method in class dk.brics.tajs.js2flowgraph.AstEnv
Returns the result register.
getResults() - Method in class dk.brics.tajs.monitoring.inspector.util.OccurenceCountingMap
 
getReturnValueRegister() - Method in class dk.brics.tajs.flowgraph.jsnodes.ReturnNode
Returns the return value register.
getRootDirFromMainDirectory() - Method in class dk.brics.tajs.options.SoundnessTesterOptions
 
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() - Method in class dk.brics.tajs.lattice.State
Returns the scope chain.
getScopeChain(ObjectLabel, State) - 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.
getScriptsInHTMLFile(Path) - Static method in class dk.brics.tajs.htmlparser.HTMLParser
Utility function for extracting all the script-paths in a HTML file.
getSecond() - Method in class dk.brics.tajs.util.Pair
Returns the second object.
getSelectedClosureVariables() - Method in class dk.brics.tajs.lattice.ContextArguments
 
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
 
getSessionBlocks(FunctionAndBlockManager.SessionKey) - Method in class dk.brics.tajs.js2flowgraph.FunctionAndBlockManager
getSetters() - Method in class dk.brics.tajs.lattice.Value
Returns the (immutable) set of setters.
getSeverity() - Method in class dk.brics.tajs.solver.Message
Returns the message severity level.
getSharedPrefix(String, String) - Static method in class dk.brics.tajs.util.Strings
Returns the longest common prefix of the two given strings.
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.
getSignatures() - Method in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureBuilder
 
getSimpleRead(ParseTree) - Method in interface dk.brics.tajs.flowgraph.syntaticinfo.SyntacticQueries
The associated reference for a simple read.
getSimpleReads() - Method in class dk.brics.tajs.flowgraph.syntaticinfo.RawSyntacticInformation
 
getSingleSuccessor() - Method in class dk.brics.tajs.flowgraph.BasicBlock
Returns the single successor block.
getSolver() - Method in class dk.brics.tajs.analysis.Analysis
Returns the solver.
getSolverInterface() - Method in class dk.brics.tajs.analysis.js.NodeTransfer
Returns the solver interface.
getSolverInterface() - Method in class dk.brics.tajs.lattice.State
Returns the solver interface.
getSortedMessages() - Method in class dk.brics.tajs.monitoring.Monitoring
Returns the sorted list of messages produced during scanning.
getSoundnessTesterOptions() - Method in class dk.brics.tajs.options.OptionValues
 
getSource() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteRegularExpression
 
getSource() - Method in class dk.brics.tajs.flowgraph.Function
Returns the source code of the function, null if full source code is not available (e.g.
getSource(ParseTree) - Static method in class dk.brics.tajs.js2flowgraph.FunctionBuilderHelper
Finds the source code of a tree.
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.js2flowgraph.JavaScriptParser.SyntaxMesssage
Returns the source location.
getSourceLocation() - Method in class dk.brics.tajs.lattice.ObjectLabel
Returns the source location.
getSourceLocation() - Method in class dk.brics.tajs.monitoring.soundness.testing.LogEntrySoundnessTester.ValueCheck
 
getSourceLocation() - Method in interface dk.brics.tajs.monitoring.soundness.testing.SoundnessCheck
 
getSourceLocation() - Method in class dk.brics.tajs.monitoring.soundness.testing.SoundnessCheckImpl
 
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.DefaultImplicitCallInfo
 
getSourceNode() - Method in class dk.brics.tajs.analysis.FunctionCalls.EventHandlerCall
 
getSourceNode() - Method in class dk.brics.tajs.analysis.FunctionCalls.OrdinaryCallInfo
 
getSources(BlockAndContext<ContextType>) - Method in class dk.brics.tajs.solver.CallGraph
Returns the call nodes, caller contexts, edge contexts, and implicit flags that have the given basic block as target for a given callee context.
getSpecialRegisters() - Method in class dk.brics.tajs.lattice.Context
Returns the special registers map.
getStackedObjects() - Method in class dk.brics.tajs.lattice.State
Returns the object labels that appear on the stack.
getStackVariables() - Method in class dk.brics.tajs.flowgraph.syntaticinfo.RawSyntacticInformation
 
getState(BasicBlock, Context) - Method in class dk.brics.tajs.lattice.AnalysisLatticeElement
 
getState(BlockAndContext<Context>) - Method in class dk.brics.tajs.lattice.AnalysisLatticeElement
 
getState() - Method in class dk.brics.tajs.lattice.CallEdge
 
getState() - Method in class dk.brics.tajs.solver.GenericSolver.SolverInterface
Returns the current abstract state.
getState(BasicBlock, ContextType) - Method in interface dk.brics.tajs.solver.IAnalysisLatticeElement
Returns the abstract state for entry of the given basic block and context, where null represents none.
getState(BlockAndContext<ContextType>) - Method in interface dk.brics.tajs.solver.IAnalysisLatticeElement
Returns the abstract state for entry of the given basic block and 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() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.StateCollectorMonitor
 
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.State
Returns the store (excluding the basis store).
getStoreDefault() - Method in class dk.brics.tajs.lattice.State
Returns the store default object.
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.analysis.nativeobjects.concrete.ConcreteString
 
getString() - Method in class dk.brics.tajs.flowgraph.jsnodes.ConstantNode
Returns the string (for Type.STRING only).
getString(InputStream, Charset) - Static method in class dk.brics.tajs.util.Loader
Returns the string contents of the given stream.
getString(URL, Charset) - Static method in class dk.brics.tajs.util.Loader
Returns the string contents of the given URL.
getString(Path, Charset) - Static method in class dk.brics.tajs.util.Loader
Returns the string contents of the given file.
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.State
Returns the summarized sets.
getSuspiciousnessIndicatorValue() - Method in class dk.brics.tajs.monitoring.inspector.gutters.SuspiciousnessLevel.SuspiciousnessIndicator
 
getSyntacticInformation() - Method in class dk.brics.tajs.flowgraph.FlowGraph
Returns the syntactic information.
getTajsCallsWithLiteralFalseAsFirstOrFourthArgument() - Method in class dk.brics.tajs.flowgraph.syntaticinfo.RawSyntacticInformation
 
getTajsCallsWithLiteralFalseAsFirstOrFourthArgument() - Method in interface dk.brics.tajs.flowgraph.syntaticinfo.SyntacticQueries
The set of CallNodes to TAJS_* function with 'false' as first or fourth argument.
getTajsFunctionName() - Method in class dk.brics.tajs.flowgraph.jsnodes.CallNode
Returns the name of the TAJS_* function to call, or null.
getTajsLocation2jalangiLocation() - Method in class dk.brics.tajs.flowgraph.ValueLogLocationInformation
 
getThis() - Method in interface dk.brics.tajs.analysis.FunctionCalls.CallInfo
Returns the value of 'this'.
getThis() - Method in class dk.brics.tajs.analysis.FunctionCalls.DefaultImplicitCallInfo
 
getThis() - Method in class dk.brics.tajs.analysis.FunctionCalls.EventHandlerCall
 
getThis() - Method in class dk.brics.tajs.analysis.FunctionCalls.OrdinaryCallInfo
 
getThis() - Method in class dk.brics.tajs.lattice.ExecutionContext
Returns the 'this' value of this execution context.
getThisRegister() - Method in class dk.brics.tajs.js2flowgraph.AstEnv
Returns the 'this' register'.
getThisVal() - Method in class dk.brics.tajs.lattice.Context
Returns the this-value.
getTimeLimitExplicitly() - Method in class dk.brics.tajs.options.SoundnessTesterOptions
 
getTimes() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.NodeTransferTimeMonitor
 
getTimesForNodes() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.NodeTransferTimeMonitor
 
getTouchEventLabel() - Static method in class dk.brics.tajs.analysis.dom.DOMRegistry
 
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.CompositeMonitoring
 
getTypeInformation() - Method in class dk.brics.tajs.monitoring.DefaultAnalysisMonitoring
 
getTypeInformation() - Method in interface dk.brics.tajs.monitoring.IAnalysisMonitoring
Returns the collected type information.
getTypeInformation() - Method in class dk.brics.tajs.monitoring.Monitoring
 
getTypeInformation() - Method in class dk.brics.tajs.monitoring.PhaseMonitoring
 
getTypeInformation() - Method in class dk.brics.tajs.monitoring.TogglableMonitor
 
getTypeInformation() - Method in class dk.brics.tajs.monitoring.TypeCollector
Returns the collected type information.
getUndominatedUnreachableNodes(Function, boolean) - Method in class dk.brics.tajs.monitoring.ReachabilityMonitor
Finds the unreachable nodes in a function that are not dominated by other unreahable nodes.
getUnevalExpressionResult() - Method in class dk.brics.tajs.js2flowgraph.AstEnv
Returns the UnevalExpressionResult.
getUnknown_value_resolve_analyzing_full() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.LazyPropagationMonitor
 
getUnknown_value_resolve_analyzing_partial() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.LazyPropagationMonitor
 
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
 
getUnknownArg() - Method in class dk.brics.tajs.analysis.FunctionCalls.OrdinaryCallInfo
 
getUnlabelledBreak() - Method in class dk.brics.tajs.js2flowgraph.AstEnv
Returns the 'break' basic block with no label.
getUnlabelledBreakEnv() - Method in class dk.brics.tajs.js2flowgraph.AstEnv
Returns the environment at the 'break' with no label.
getUnlabelledContinue() - Method in class dk.brics.tajs.js2flowgraph.AstEnv
Returns the 'continue' basic block with no label.
getUnlabelledContinueEnv() - Method in class dk.brics.tajs.js2flowgraph.AstEnv
Returns the environment at the 'continue' with no label.
getUnreachableFunctions() - Method in class dk.brics.tajs.monitoring.ReachabilityMonitor
 
getUnreachableSyntacticSuccessorPredecessor(BasicBlock) - Method in class dk.brics.tajs.js2flowgraph.FunctionAndBlockManager
 
getUnreachableSyntacticSuccessors(BasicBlock) - Method in class dk.brics.tajs.js2flowgraph.FunctionAndBlockManager
 
getUnsoundness() - Method in class dk.brics.tajs.analysis.Analysis
 
getUnsoundness() - Method in class dk.brics.tajs.options.OptionValues
 
getValue() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.NativeResult
 
getValue(ObjectProperty) - Method in class dk.brics.tajs.lattice.Obj
Returns the designated property value of this object.
getValue(ObjectProperty, State, boolean) - Static method in class dk.brics.tajs.lattice.UnknownValueResolver
getValue() - Method in class dk.brics.tajs.monitoring.inspector.gutters.SuspiciousnessLevel.SuspiciousnessIndicator
 
getValue() - Method in class dk.brics.tajs.util.MapEntry
 
getValueDescription() - Method in interface dk.brics.tajs.analysis.signatures.types.Parameter
 
getValueLogLocationInformation() - Method in class dk.brics.tajs.flowgraph.FlowGraph
 
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.
getValuesFromMayMap(String) - Method in class dk.brics.tajs.lattice.StateExtras
 
getVariableDependencies() - Method in class dk.brics.tajs.flowgraph.syntaticinfo.RawSyntacticInformation
 
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.
getVariableReadsInLiterals() - Method in class dk.brics.tajs.js2flowgraph.ASTInfo
 
getVisitableLinesPerFile() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.VisitationMonitoring.Info
 
getVisitableNodesPerLine() - Method in class dk.brics.tajs.monitoring.inspector.datacollection.monitors.VisitationMonitoring.Info
 
getWarnings() - Method in class dk.brics.tajs.js2flowgraph.JavaScriptParser.ParseResult
Returns the list of parse warnings.
getWheelEventLabel() - Static method in class dk.brics.tajs.analysis.dom.DOMRegistry
 
getWorkingDirectory() - Static method in class dk.brics.tajs.util.PathAndURLUtils
Returns the current working directory.
getWorklist() - Method in class dk.brics.tajs.solver.GenericSolver.SolverInterface
 
getWorklistStrategy() - Method in class dk.brics.tajs.analysis.Analysis
 
getWorklistStrategy() - Method in interface dk.brics.tajs.solver.IAnalysis
Returns the work list strategy.
getWriteStatus(String) - Method in class dk.brics.tajs.monitoring.ObjReadsWrites
Returns the write status of the given property.
GLOBAL - Static variable in class dk.brics.tajs.analysis.InitialStateBuilder
Object label for the global object.
GRADIENT - Static variable in class dk.brics.tajs.analysis.dom.html5.CanvasRenderingContext2D
 
groupingBy(Function<? super T, ? extends K>) - Static method in class dk.brics.tajs.util.Collectors
 
groupingBy(Function<? super T, ? extends K>, Collector<? super T, A, D>) - Static method in class dk.brics.tajs.util.Collectors
 
gt(Value, Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators
11.8.2 >
GutterProvider - Interface in dk.brics.tajs.monitoring.inspector.gutters
 

H

handle(String, AbstractNode, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.unevalizer.UnevalizerLimitations
 
handle(String, AbstractNode, Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.unevalizer.UnevalizerLimitations
 
handleUnknownRegexMatchResult(AbstractNode, Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.JSRegExp
 
hasArguments() - Method in class dk.brics.tajs.lattice.ContextArguments
 
hasDataFlow() - Method in class dk.brics.tajs.monitoring.soundness.testing.LogEntrySoundnessTester.ValueCheck
 
hasDataFlow() - Method in interface dk.brics.tajs.monitoring.soundness.testing.SoundnessCheck
 
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.
hasExceptionRegisterValue() - Method in class dk.brics.tajs.lattice.State
Checks whether the exception register has a value.
HashChangeEvent - Class in dk.brics.tajs.analysis.dom.event
 
HashChangeEvent() - Constructor for class dk.brics.tajs.analysis.dom.event.HashChangeEvent
 
hashCode() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteArray
 
hashCode() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteBoolean
 
hashCode() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteNull
 
hashCode() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteNullOrUndefined
 
hashCode() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteNumber
 
hashCode() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteRegularExpression
 
hashCode() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteString
 
hashCode() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteUndefined
 
hashCode() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.MappedNativeResult
 
hashCode() - Method in class dk.brics.tajs.analysis.nativeobjects.concrete.NativeResult
 
hashCode() - Method in class dk.brics.tajs.analysis.nativeobjects.TAJSFunction
 
hashCode() - Method in class dk.brics.tajs.analysis.PartialHostModels
 
hashCode() - Method in class dk.brics.tajs.analysis.uneval.NormalForm
 
hashCode() - Method in class dk.brics.tajs.flowgraph.FlowGraph.FunctionDynamicSourceCacheKey
 
hashCode() - Method in class dk.brics.tajs.flowgraph.FlowGraph.FunctionFileSourceCacheKey
 
hashCode() - Method in class dk.brics.tajs.flowgraph.SourceLocation
 
hashCode() - Method in class dk.brics.tajs.js2flowgraph.ASTInfo.ConditionTree
 
hashCode() - Method in class dk.brics.tajs.js2flowgraph.ASTInfo.LiteralTree
 
hashCode() - Method in class dk.brics.tajs.js2flowgraph.ASTInfo.LoopTree
 
hashCode() - Method in class dk.brics.tajs.lattice.Context
 
hashCode() - Method in class dk.brics.tajs.lattice.ContextArguments
 
hashCode() - Method in class dk.brics.tajs.lattice.HeapContext
 
hashCode() - Method in class dk.brics.tajs.lattice.LocalContext
 
hashCode() - Method in class dk.brics.tajs.lattice.LocalContext.LoopUnrollingQualifier
 
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.ObjectProperty
Returns the hash code for this object.
hashCode() - Method in class dk.brics.tajs.lattice.Property
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.State.Properties
 
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.inspector.datacollection.SourceLine
 
hashCode() - Method in class dk.brics.tajs.monitoring.ObjReadsWrites
 
hashCode() - Method in class dk.brics.tajs.monitoring.soundness.testing.LogEntrySoundnessTester.ValueCheck
 
hashCode() - Method in class dk.brics.tajs.monitoring.soundness.testing.SoundnessCheckImpl
 
hashCode() - Method in class dk.brics.tajs.monitoring.TypeCollector.VariableSummary
 
hashCode() - Method in class dk.brics.tajs.options.ExperimentalOptions
 
hashCode() - Method in class dk.brics.tajs.options.OptionValues
 
hashCode() - Method in class dk.brics.tajs.options.SoundnessTesterOptions
 
hashCode() - Method in class dk.brics.tajs.options.UnsoundnessOptionValues
 
hashCode() - Method in class dk.brics.tajs.solver.BlockAndContext
Computes the hash code for this object.
hashCode() - Method in interface dk.brics.tajs.solver.IContext
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.MapEntry
 
hashCode() - Method in class dk.brics.tajs.util.Pair
 
hasInstance(Collection<ObjectLabel>, Value) - Method in class dk.brics.tajs.lattice.State
Models [[HasInstance]] (for instanceof).
hasLoopLabel(ParseTree) - Method in class dk.brics.tajs.js2flowgraph.AstEnv
 
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.analysis.PropVarOperations
Checks whether the given property is present in the given objects.
hasProperty(String) - Method in class dk.brics.tajs.options.TAJSEnvironmentConfig
 
hasReadOnly() - Method in class dk.brics.tajs.lattice.Value
Returns true if this value has ReadOnly information.
hasReturnRegisterValue() - Method in class dk.brics.tajs.lattice.State
Checks whether the return register has a value.
HeapContext - Class in dk.brics.tajs.lattice
Heap context for context sensitive analysis.
HISTORY - Static variable in class dk.brics.tajs.analysis.dom.DOMWindow
 
HostAPI - Interface in dk.brics.tajs.lattice
Host API.
HostAPIs - Enum in dk.brics.tajs.analysis
Descriptors and dispatching for the supported host APIs.
HostEnvSources - Class in dk.brics.tajs.flowgraph
JavaScript sources for models of host environments.
HostEnvSources() - Constructor for class dk.brics.tajs.flowgraph.HostEnvSources
 
HostObject - Interface in dk.brics.tajs.lattice
Descriptor for object implemented directly in the analyzer.
HTML4_OBJECT_LABELS - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLBuilder
 
HTML5_OBJECT_LABELS - Static variable in class dk.brics.tajs.analysis.dom.html5.HTML5Builder
 
HTML5Builder - Class in dk.brics.tajs.analysis.dom.html5
 
HTML5Builder() - Constructor for class dk.brics.tajs.analysis.dom.html5.HTML5Builder
 
HTMLAnchorElement - Class in dk.brics.tajs.analysis.dom.html
The anchor element.
HTMLAnchorElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLAnchorElement
 
HTMLAppletElement - Class in dk.brics.tajs.analysis.dom.html
An embedded Java applet.
HTMLAppletElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLAppletElement
 
HTMLAreaElement - Class in dk.brics.tajs.analysis.dom.html
Client-side image map area definition.
HTMLAreaElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLAreaElement
 
HTMLAudioElement - Class in dk.brics.tajs.analysis.dom.html5
 
HTMLAudioElement() - Constructor for class dk.brics.tajs.analysis.dom.html5.HTMLAudioElement
 
HTMLBaseElement - Class in dk.brics.tajs.analysis.dom.html
Document base URI.
HTMLBaseElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLBaseElement
 
HTMLBaseFontElement - Class in dk.brics.tajs.analysis.dom.html
Base font.
HTMLBaseFontElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLBaseFontElement
 
HTMLBodyElement - Class in dk.brics.tajs.analysis.dom.html
The HTML document body.
HTMLBodyElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLBodyElement
 
HTMLBRElement - Class in dk.brics.tajs.analysis.dom.html
Force a line break.
HTMLBRElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLBRElement
 
HTMLBuilder - Class in dk.brics.tajs.analysis.dom.html
 
HTMLBuilder() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLBuilder
 
HTMLButtonElement - Class in dk.brics.tajs.analysis.dom.html
Push button.
HTMLButtonElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLButtonElement
 
HTMLCanvasElement - Class in dk.brics.tajs.analysis.dom.html5
 
HTMLCanvasElement() - Constructor for class dk.brics.tajs.analysis.dom.html5.HTMLCanvasElement
 
HTMLCollection - Class in dk.brics.tajs.analysis.dom.html
An HTMLCollection is a list of nodes.
HTMLCollection() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLCollection
 
HTMLDirectoryElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLDirectoryElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLDirectoryElement
 
HTMLDivElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLDivElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLDivElement
 
HTMLDListElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLDListElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLDListElement
 
HTMLDocument - Class in dk.brics.tajs.analysis.dom.html
An HTMLDocument is the root of the HTML hierarchy and holds the entire content.
HTMLDocument() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLDocument
 
HTMLElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLElement
 
HTMLFieldSetElement - Class in dk.brics.tajs.analysis.dom.html
Organizes form controls into logical groups.
HTMLFieldSetElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLFieldSetElement
 
HTMLFontElement - Class in dk.brics.tajs.analysis.dom.html
Local change to font.
HTMLFontElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLFontElement
 
HTMLFormElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLFormElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLFormElement
 
HTMLFrameElement - Class in dk.brics.tajs.analysis.dom.html
Create a frame.
HTMLFrameElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLFrameElement
 
HTMLFrameSetElement - Class in dk.brics.tajs.analysis.dom.html
Create a grid of frames.
HTMLFrameSetElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLFrameSetElement
 
HTMLHeadElement - Class in dk.brics.tajs.analysis.dom.html
Document head information.
HTMLHeadElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLHeadElement
 
HTMLHeadingElement - Class in dk.brics.tajs.analysis.dom.html
For the H1 to H6 elements.
HTMLHeadingElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLHeadingElement
 
HTMLHRElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLHRElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLHRElement
 
HTMLHtmlElement - Class in dk.brics.tajs.analysis.dom.html
Root of an HTML document.
HTMLHtmlElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLHtmlElement
 
HTMLIFrameElement - Class in dk.brics.tajs.analysis.dom.html
Inline subwindows.
HTMLIFrameElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLIFrameElement
 
HTMLImageElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLImageElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLImageElement
 
HTMLInputElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLInputElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLInputElement
 
HTMLIsIndexElement - Class in dk.brics.tajs.analysis.dom.html
This element is used for single-line text input.
HTMLIsIndexElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLIsIndexElement
 
HTMLLabelElement - Class in dk.brics.tajs.analysis.dom.html
Form field label text.
HTMLLabelElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLLabelElement
 
HTMLLegendElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLLegendElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLLegendElement
 
HTMLLIElement - Class in dk.brics.tajs.analysis.dom.html
List item.
HTMLLIElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLLIElement
 
HTMLLinkElement - Class in dk.brics.tajs.analysis.dom.html
The LINK element specifies a link to an external resource, and defines this document's relationship to that resource (or vice versa).
HTMLLinkElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLLinkElement
 
HTMLMapElement - Class in dk.brics.tajs.analysis.dom.html
Client-side image map.
HTMLMapElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLMapElement
 
HTMLMediaElement - Class in dk.brics.tajs.analysis.dom.html5
 
HTMLMediaElement() - Constructor for class dk.brics.tajs.analysis.dom.html5.HTMLMediaElement
 
HTMLMenuElement - Class in dk.brics.tajs.analysis.dom.html
Menu list.
HTMLMenuElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLMenuElement
 
HTMLMetaElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLMetaElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLMetaElement
 
HTMLModElement - Class in dk.brics.tajs.analysis.dom.html
Notice of modification to part of a document.
HTMLModElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLModElement
 
HTMLObjectElement - Class in dk.brics.tajs.analysis.dom.html
Generic embedded object.
HTMLObjectElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLObjectElement
 
HTMLOListElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLOListElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLOListElement
 
HTMLOptGroupElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLOptGroupElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLOptGroupElement
 
HTMLOptionElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLOptionElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLOptionElement
 
HTMLOptionsCollection - Class in dk.brics.tajs.analysis.dom.html
An HTMLOptionsCollection is a list of nodes representing HTML option element.
HTMLOptionsCollection() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLOptionsCollection
 
HTMLParagraphElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLParagraphElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLParagraphElement
 
HTMLParamElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLParamElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLParamElement
 
HTMLParser - Class in dk.brics.tajs.htmlparser
HTML parser based on Jericho.
HTMLParser(URL) - Constructor for class dk.brics.tajs.htmlparser.HTMLParser
Parses the given HTML file.
HTMLParser(String, URL, SourceLocation.SourceLocationMaker) - Constructor for class dk.brics.tajs.htmlparser.HTMLParser
Parses the given HTML source.
HTMLPreElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLPreElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLPreElement
 
HTMLQuoteElement - Class in dk.brics.tajs.analysis.dom.html
For the Q and BLOCKQUOTE elements.
HTMLQuoteElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLQuoteElement
 
HTMLScriptElement - Class in dk.brics.tajs.analysis.dom.html
Script statements.
HTMLScriptElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLScriptElement
 
HTMLSelectElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLSelectElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLSelectElement
 
HTMLStyleElement - Class in dk.brics.tajs.analysis.dom.html
Style information.
HTMLStyleElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLStyleElement
 
HTMLTableCaptionElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLTableCaptionElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLTableCaptionElement
 
HTMLTableCellElement - Class in dk.brics.tajs.analysis.dom.html
The object used to represent the TH and TD elements.
HTMLTableCellElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLTableCellElement
 
HTMLTableColElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLTableColElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLTableColElement
 
HTMLTableElement - Class in dk.brics.tajs.analysis.dom.html
The create* and delete* methods on the table allow authors to construct and modify tables.
HTMLTableElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLTableElement
 
HTMLTableRowElement - Class in dk.brics.tajs.analysis.dom.html
A row in a table.
HTMLTableRowElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLTableRowElement
 
HTMLTableSectionElement - Class in dk.brics.tajs.analysis.dom.html
The THEAD, TFOOT, and TBODY elements.
HTMLTableSectionElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLTableSectionElement
 
HTMLTextAreaElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLTextAreaElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLTextAreaElement
 
HTMLTitleElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLTitleElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLTitleElement
 
HTMLUListElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLUListElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLUListElement
 
HTMLUnknownElement - Class in dk.brics.tajs.analysis.dom.html
 
HTMLUnknownElement() - Constructor for class dk.brics.tajs.analysis.dom.html.HTMLUnknownElement
 
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<StateType extends IState<StateType,ContextType,CallEdgeType>,ContextType extends IContext<ContextType>,CallEdgeType extends ICallEdge<StateType>,MonitoringType extends ISolverMonitoring<StateType,ContextType>,AnalysisType extends IAnalysis<StateType,ContextType,CallEdgeType,MonitoringType,AnalysisType>> - Interface in dk.brics.tajs.solver
Interface for analyses on flow graphs.
IAnalysisLatticeElement<StateType extends IState<StateType,ContextType,CallEdgeType>,ContextType extends IContext<ContextType>,CallEdgeType extends ICallEdge<StateType>> - Interface in dk.brics.tajs.solver
Interface for global analysis lattice elements.
IAnalysisLatticeElement.MergeResult - Class in dk.brics.tajs.solver
IAnalysisMonitoring - Interface in dk.brics.tajs.monitoring
Monitoring interface.
ICallEdge<StateType extends IState<?,?,?>> - Interface in dk.brics.tajs.solver
Interface for call edges.
IContext<ContextType extends IContext<?>> - Interface in dk.brics.tajs.solver
Interface for analysis contexts.
IContextSensitivityStrategy - Interface in dk.brics.tajs.analysis
Strategy-pattern interface for context sensitivity strategies.
identifier - Variable in class dk.brics.tajs.analysis.PartialHostModels
 
IDManager - Class in dk.brics.tajs.monitoring.inspector.dataprocessing
Manager (preferably used as a singleton) for mapping complex objects and opaque identifiers.
IDManager() - Constructor for class dk.brics.tajs.monitoring.inspector.dataprocessing.IDManager
 
IEdgeTransfer<StateType extends IState<StateType,?,?>,ContextType extends IContext<?>> - 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.
ignoredByClosureCompiler(ParseTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.DispatchingParseTreeVisitor.Indirector
 
ignoredByClosureCompiler(ParseTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
ignoredByClosureCompiler(ParseTree) - Method in interface dk.brics.tajs.js2flowgraph.asttraversals.ParseTreeAuxVisitor
 
ignoredByClosureCompiler(ParseTree) - Method in interface dk.brics.tajs.js2flowgraph.asttraversals.ParseTreeVisitor
 
ignoredByClosureCompiler(ParseTree) - Method in class dk.brics.tajs.js2flowgraph.FunctionBuilder
 
ignoredCompletely - Variable in class dk.brics.tajs.monitoring.soundness.postprocessing.SoundnessTesterStatistics.TestResult
 
IInitialStateBuilder<StateType extends IState<StateType,ContextType,CallEdgeType>,ContextType extends IContext<ContextType>,CallEdgeType extends ICallEdge<StateType>,MonitoringType extends ISolverMonitoring<StateType,ContextType>,AnalysisType extends IAnalysis<StateType,ContextType,CallEdgeType,MonitoringType,AnalysisType>> - Interface in dk.brics.tajs.solver
Interface for initial state builder classes.
ILatticeMonitoring - Interface in dk.brics.tajs.lattice
Monitoring interface.
IMAGE_DATA - Static variable in class dk.brics.tajs.analysis.dom.html5.CanvasRenderingContext2D
 
implicit - Variable in class dk.brics.tajs.solver.CallGraph.ReverseEdge
 
implicitUserFunctionCall(ObjectLabel, FunctionCalls.CallInfo, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.UserFunctionCalls
Implicit call to a user function.
implicitUserFunctionReturn(Collection<Value>, boolean, BasicBlock, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.UserFunctionCalls
Extract return flow from implicit call to a user function.
in(Value, Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators
11.8.7 in
in(ParseTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(AmbientDeclarationTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ArrayLiteralExpressionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ArrayPatternTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ArrayTypeTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(AssignmentRestElementTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ProgramTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(AwaitExpressionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(BinaryOperatorTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(BlockTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(BreakStatementTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(CallSignatureTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(CatchTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ClassDeclarationTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(CommaExpressionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ComprehensionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ComprehensionForTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ComprehensionIfTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ComputedPropertyDefinitionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ComputedPropertyGetterTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ComputedPropertyMemberVariableTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ComputedPropertyMethodTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ComputedPropertySetterTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ConditionalExpressionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ContinueStatementTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(DebuggerStatementTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(DefaultParameterTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(DoWhileStatementTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(MemberLookupExpressionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(EmptyStatementTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(EnumDeclarationTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ExportDeclarationTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ExportSpecifierTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ExpressionStatementTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(FinallyTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ForInStatementTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ForStatementTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ForOfStatementTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(FormalParameterListTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(FunctionDeclarationTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(CallExpressionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(FunctionTypeTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(GenericTypeListTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(GetAccessorTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(IfStatementTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ImportDeclarationTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ImportSpecifierTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(IndexSignatureTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(InterfaceDeclarationTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(LabelledStatementTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(MemberVariableTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(MissingPrimaryExpressionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(IdentifierExpressionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(NamespaceDeclarationTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(NewExpressionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(NewTargetExpressionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(NullTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ObjectLiteralExpressionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ObjectPatternTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(OptionalParameterTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ParameterizedTypeTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ParenExpressionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(PostfixExpressionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(MemberExpressionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(PropertyNameAssignmentTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(RecordTypeTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(RestParameterTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ReturnStatementTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(SetAccessorTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(SpreadExpressionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(SuperExpressionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(CaseClauseTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(DefaultClauseTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(SwitchStatementTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(TemplateLiteralExpressionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(TemplateLiteralPortionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(LiteralExpressionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(TemplateSubstitutionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ThisExpressionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(ThrowStatementTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(TryStatementTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(TypeAliasTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(TypeNameTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(TypeQueryTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(TypedParameterTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(UnaryExpressionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(UnionTypeTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(VariableDeclarationTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(VariableDeclarationListTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(VariableStatementTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(WhileStatementTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(WithStatementTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
in(YieldExpressionTree) - Method in class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
incrementFunctionActivityLevel(BlockAndContext<ContextType>) - Method in class dk.brics.tajs.solver.CallDependencies
Increments the function activity level for the given function and context.
Indirector() - Constructor for class dk.brics.tajs.js2flowgraph.asttraversals.DispatchingParseTreeVisitor.Indirector
 
Info(OccurenceCountingMap<SourceLine>, Set<AbstractNode>, Set<AbstractNode>, OccurenceCountingMap<SourceLine>, OccurenceCountingMap<SourceLine>) - Constructor for class dk.brics.tajs.monitoring.inspector.datacollection.monitors.VisitationMonitoring.Info
 
init(String[], SolverSynchronizer) - Static method in class dk.brics.tajs.Main
Reads the input and prepares an analysis object, using the default monitoring and command-line arguments.
init(OptionValues, IAnalysisMonitoring, SolverSynchronizer) - Static method in class dk.brics.tajs.Main
Reads the input and prepares an analysis object.
init(E) - Method in class dk.brics.tajs.monitoring.inspector.util.OccurenceCountingMap
 
init() - Static method in class dk.brics.tajs.options.TAJSEnvironmentConfig
 
init(Properties) - Static method in class dk.brics.tajs.options.TAJSEnvironmentConfig
 
init(FlowGraph, Source) - Method in class dk.brics.tajs.solver.GenericSolver
Initializes the solver for the given flow graph and HTML document.
initContextSensitivity(FlowGraph) - Method in class dk.brics.tajs.analysis.Analysis
 
initContextSensitivity(FlowGraph) - Method in interface dk.brics.tajs.solver.IAnalysis
Initializes the context sensitivity heuristics.
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.
INodeTransfer<StateType extends IState<StateType,?,?>,ContextType extends IContext<?>> - Interface in dk.brics.tajs.solver
Interface for node transfer function classes.
InOrderVisitor - Class in dk.brics.tajs.js2flowgraph.asttraversals
 
InOrderVisitor() - Constructor for class dk.brics.tajs.js2flowgraph.asttraversals.InOrderVisitor
 
InspectorData - Class in dk.brics.tajs.monitoring.inspector.datacollection
Simple Java bean with lots of different data to be used by the TAJSInspectorAPI
InspectorData(Map<Pair<AbstractNode, Context>, Set<Value>>, PropagationMonitor.PropagationData, Map<BasicBlock, Set<Context>>, Map<AbstractNode, Set<ObjectLabel>>) - Constructor for class dk.brics.tajs.monitoring.inspector.datacollection.InspectorData
 
InspectorDataProvider - Class in dk.brics.tajs.monitoring.inspector.datacollection
Utility class for constructing InspectorData
InspectorDataProvider(EventHandlerRegistrationMonitor, PropagationMonitor, ContextRegistrationMonitor, ObjectCollectionMonitor) - Constructor for class dk.brics.tajs.monitoring.inspector.datacollection.InspectorDataProvider
 
InspectorFactory - Class in dk.brics.tajs.monitoring.inspector.datacollection
Utility class for instantiating InspectorMonitor properly.
InspectorFactory() - Constructor for class dk.brics.tajs.monitoring.inspector.datacollection.InspectorFactory
 
InspectorMonitor - Class in dk.brics.tajs.monitoring.inspector.datacollection.monitors
Main monitor of the inspector implementation: starts an InspectorServer at the end of the scan phase.
InspectorMonitor(TogglableMonitor.Toggler, InspectorDataProvider, Set<GutterProvider>) - Constructor for class dk.brics.tajs.monitoring.inspector.datacollection.monitors.InspectorMonitor
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.ajax.ActiveXObject
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.ajax.ReadystateEvent
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.ajax.XmlHttpRequest
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.core.DOMAttr
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.core.DOMCDataSection
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.core.DOMCharacterData
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.core.DOMComment
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.core.DOMConfiguration
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.core.DOMDocument
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.core.DOMDocumentFragment
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.core.DOMDocumentType
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.core.DOMElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.core.DOMEntity
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.core.DOMEntityReference
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.core.DOMImplementation
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.core.DOMNamedNodeMap
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.core.DOMNode
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.core.DOMNodeList
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.core.DOMNotation
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.core.DOMProcessingInstruction
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.core.DOMStringList
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.core.DOMStringMap
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.core.DOMText
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.core.DOMTouch
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.core.DOMTouchList
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.event.Event
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.event.EventException
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.event.EventListener
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.event.HashChangeEvent
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.event.KeyboardEvent
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.event.LoadEvent
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.event.MouseEvent
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.event.MutationEvent
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.event.TouchEvent
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.event.UIEvent
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.event.WheelEvent
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLAnchorElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLAppletElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLAreaElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLBaseElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLBaseFontElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLBodyElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLBRElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLButtonElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLCollection
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLDirectoryElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLDivElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLDListElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLDocument
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLFieldSetElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLFontElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLFormElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLFrameElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLFrameSetElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLHeadElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLHeadingElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLHRElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLHtmlElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLIFrameElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLImageElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLInputElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLIsIndexElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLLabelElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLLegendElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLLIElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLLinkElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLMapElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLMenuElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLMetaElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLModElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLObjectElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLOListElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLOptGroupElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLOptionElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLOptionsCollection
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLParagraphElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLParamElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLPreElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLQuoteElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLScriptElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLSelectElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLStyleElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLTableCaptionElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLTableCellElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLTableColElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLTableElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLTableRowElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLTableSectionElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLTextAreaElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLTitleElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLUListElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html.HTMLUnknownElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html5.AudioContext
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html5.AudioDestinationNode
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html5.AudioNode
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html5.AudioParam
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html5.HTMLAudioElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html5.HTMLCanvasElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html5.HTMLMediaElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html5.MediaQueryList
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html5.MutationObserver
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html5.OfflineResourceList
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html5.OscillatorNode
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html5.ScriptProcessorNode
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html5.StorageElement
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html5.TimeRanges
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.html5.WebGLRenderingContext
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.style.ClientBoundingRect
 
INSTANCES - Static variable in class dk.brics.tajs.analysis.dom.style.CSSStyleDeclaration
 
instantiateFunction(Function, ScopeChain, AbstractNode, State, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.UserFunctionCalls
Instantiates a function at the given node and state.
instantiateGlobalScopeFunction(Function, AbstractNode, State, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.UserFunctionCalls
Instantiates a function with the scope set to global.
instof(Value, Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.js.Operators
11.8.6 instanceof
Integer - Static variable in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureUtilities.MandatoryParameters
 
Integer - Static variable in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureUtilities.OptionalParameters
 
IntermediaryStateComputer - Class in dk.brics.tajs.monitoring.inspector.dataprocessing
Computes the intermediary state between nodes in a block.
IntermediaryStateComputer(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Constructor for class dk.brics.tajs.monitoring.inspector.dataprocessing.IntermediaryStateComputer
 
internalToString(ObjectLabel, ECMAScriptObjects, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.ECMAScriptFunctions
toString conversion for ECMAScript built-in objects.
internalValueOf(ObjectLabel, ECMAScriptObjects, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.ECMAScriptFunctions
valueOf conversion for ECMAScript built-in objects.
intersect(ExperimentalOptions) - Method in class dk.brics.tajs.options.ExperimentalOptions
Utility function: Intersects two sets of enabled options.
isAbstractValueSound(ValueDescription, Value) - Method in class dk.brics.tajs.monitoring.soundness.testing.AbstractConcreteValueComparator
 
isAbstractValueSound(ValueDescription, Value) - Method in class dk.brics.tajs.monitoring.soundness.testing.LogEntrySoundnessTester
 
isAllNone() - Method in class dk.brics.tajs.lattice.Obj
Checks whether all properties have the none value.
isAlwaysCanPut() - Method in class dk.brics.tajs.options.OptionValues
 
isArray() - Method in class dk.brics.tajs.lattice.State.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.
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.EndWithNode
 
isAssignment(BinaryOperatorTree) - Static method in class dk.brics.tajs.js2flowgraph.ClosureASTUtil
 
isAsyncEventsEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isBoolean - Static variable in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureUtilities.Requirements
 
isCallEdgeCharged(BasicBlock, ContextType, ContextType, BasicBlock, ContextType) - Method in class dk.brics.tajs.solver.CallDependencies
Checks whether the given edge is charged.
isCallEdgeCharged(BasicBlock, ContextType, ContextType, BlockAndContext<ContextType>) - Method in class dk.brics.tajs.solver.GenericSolver.SolverInterface
Checks whether the given edge is charged.
isCallGraphEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isChargedCallsDisabled() - Method in class dk.brics.tajs.options.OptionValues
 
isCommonAsyncPolyfillEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isConcreteNativeDisabled() - Method in class dk.brics.tajs.options.OptionValues
 
isConcreteNumber(Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.concrete.SingleGamma
 
isConcreteString(Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.concrete.SingleGamma
 
isConcreteValue(Value, GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface) - Static method in class dk.brics.tajs.analysis.nativeobjects.concrete.SingleGamma
 
isConcreteValues(GenericSolver<State, Context, CallEdge, IAnalysisMonitoring, Analysis>.SolverInterface, Value...) - Static method in class dk.brics.tajs.analysis.nativeobjects.concrete.SingleGamma
 
isConsoleModelEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isConstructorCall() - Method in interface dk.brics.tajs.analysis.FunctionCalls.CallInfo
Checks whether this is a constructor call or an ordinary call.
isConstructorCall() - Method in class dk.brics.tajs.analysis.FunctionCalls.DefaultImplicitCallInfo
 
isConstructorCall() - Method in class dk.brics.tajs.analysis.FunctionCalls.EventHandlerCall
 
isConstructorCall() - Method in class dk.brics.tajs.analysis.FunctionCalls.OrdinaryCallInfo
 
isConstructorCall() - Method in class dk.brics.tajs.flowgraph.jsnodes.CallNode
Checks whether this is a constructor call or an ordinary call.
isConsumable(URL) - Static method in class dk.brics.tajs.util.PathAndURLUtils
Checks if a URL points to something readable.
isContextSensitiveHeapEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isContextSpecializationEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isControlSensitivityDisabled() - Method in class dk.brics.tajs.options.OptionValues
 
isCopyOnWriteDisabled() - Method in class dk.brics.tajs.options.OptionValues
 
isCorrelatedAccessFunction(Function) - Method in interface dk.brics.tajs.flowgraph.syntaticinfo.SyntacticQueries
True iff the given function contains variables that are used as both property read and write names.
isDate - Static variable in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureUtilities.Requirements
 
isDebugEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isDebugOrTestEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isDecl() - Method in class dk.brics.tajs.flowgraph.jsnodes.WritePropertyNode
Returns true if this node comes from a property declaration in an object literal.
isDefinite() - Method in class dk.brics.tajs.lattice.State.Properties
Returns true if the exact set of property names is known and finite.
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.
isDesktopEnabled() - Method in class dk.brics.tajs.options.TAJSEnvironmentConfig
 
isDeterminacyEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isDeterministicCollectionsEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isDOMEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isDoNotExpectOrdinaryExitEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
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.
isEmpty() - Method in class dk.brics.tajs.flowgraph.BasicBlock
Returns true if there are no nodes in the basic 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.monitoring.inspector.util.OccurenceCountingMap
 
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
 
isEnabled() - Static method in class dk.brics.tajs.monitoring.soundness.postprocessing.SoundnessTesterStatistics.EasyPersistence
 
isEnabled() - Method in class dk.brics.tajs.monitoring.TogglableMonitor.Toggler
 
isEnabled(ExperimentalOptions.ExperimentalOption) - Method in class dk.brics.tajs.options.ExperimentalOptions
 
isEntry() - Method in class dk.brics.tajs.flowgraph.BasicBlock
Checks whether this is a function entry block.
isEvalStatistics() - Method in class dk.brics.tajs.options.OptionValues
 
isExceptionsDisabled() - Method in class dk.brics.tajs.options.OptionValues
 
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.
isFailure() - Method in class dk.brics.tajs.monitoring.soundness.testing.LogEntrySoundnessTester.ValueCheck
 
isFailure() - Method in interface dk.brics.tajs.monitoring.soundness.testing.SoundnessCheck
 
isFailure() - Method in class dk.brics.tajs.monitoring.soundness.testing.SoundnessCheckImpl
 
isFlowGraphEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isForceUpdateSha() - Method in class dk.brics.tajs.options.SoundnessTesterOptions
 
isForInSpecializationDisabled() - Method in class dk.brics.tajs.options.OptionValues
 
isFunction - Static variable in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureUtilities.Requirements
 
isFunction() - Method in class dk.brics.tajs.js2flowgraph.ASTInfo.FunctionOrLoopTree
 
isFunctionActive(BlockAndContext<ContextType>) - Method in class dk.brics.tajs.solver.CallDependencies
Checks whether the given function and context pair is active, i.e.
isFunctionWithThisReference(Function) - Method in interface dk.brics.tajs.flowgraph.syntaticinfo.SyntacticQueries
True iff the function has an occurence of 'this'.
isFuzzy() - Method in class dk.brics.tajs.lattice.Property
Checks whether the property refers to default-array/nonarray.
isGCDisabled() - Method in class dk.brics.tajs.options.OptionValues
 
isGenerate() - Method in class dk.brics.tajs.options.SoundnessTesterOptions
 
isHostEnvironmentSource(SourceLocation) - Method in class dk.brics.tajs.flowgraph.FlowGraph
Checks if the given location belongs to the host environment.
isHostObject() - Method in class dk.brics.tajs.lattice.ObjectLabel
Returns true if this object label represents a host object.
isHybridCollectionsDisabled() - Method in class dk.brics.tajs.options.OptionValues
 
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.
isIgnoreAsyncEvals() - Method in class dk.brics.tajs.options.UnsoundnessOptionValues
 
isIgnoreHTMLContent() - Method in class dk.brics.tajs.options.OptionValues
 
isIgnoreImpreciseEvals() - Method in class dk.brics.tajs.options.UnsoundnessOptionValues
 
isIgnoreImpreciseFunctionConstructor() - Method in class dk.brics.tajs.options.UnsoundnessOptionValues
 
isIgnoreLibrariesEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isIgnoreLocale() - Method in class dk.brics.tajs.options.UnsoundnessOptionValues
 
isIgnoreMissingNativeModels() - Method in class dk.brics.tajs.options.UnsoundnessOptionValues
 
isIgnoreShaDifference() - Method in class dk.brics.tajs.options.SoundnessTesterOptions
 
isIgnoreSomePrototypesDuringDynamicPropertyReads() - Method in class dk.brics.tajs.options.UnsoundnessOptionValues
 
isIgnoreUnlikelyPropertyReads() - Method in class dk.brics.tajs.options.UnsoundnessOptionValues
 
isIgnoreUnreachableEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isImplicit() - Method in class dk.brics.tajs.solver.CallGraph.ReverseEdge
 
isInf() - Method in interface dk.brics.tajs.lattice.Num
Returns true if this value is definitely infinite.
isInf() - Method in class dk.brics.tajs.lattice.Value
 
isInForIn(AbstractNode) - Method in interface dk.brics.tajs.flowgraph.syntaticinfo.SyntacticQueries
True iff the given node is inside a for-in loop.
isInspectorEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isIntermediateStatesEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isJalangiUnsoundLocation(SourceLocation) - Static method in class dk.brics.tajs.analysis.KnownUnsoundnesses
 
isLazyDisabled() - Method in class dk.brics.tajs.options.OptionValues
 
isLogCreationPossible() - Static method in class dk.brics.tajs.options.SoundnessTesterOptions
 
isLoopStatement(ParseTree) - Static method in class dk.brics.tajs.js2flowgraph.FunctionBuilderHelper
 
isLoopUnrollingEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isLoopVariable(Function, String) - Method in interface dk.brics.tajs.flowgraph.syntaticinfo.SyntacticQueries
True iff the given variable appears syntactically in the condition of a non-nested loop and in a dynamic property read operation in the given function.
isLowSeverityEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isMain() - Method in class dk.brics.tajs.flowgraph.Function
Returns true if this is the main function.
isMandatory() - Method in interface dk.brics.tajs.analysis.signatures.types.Parameter
 
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
 
isMaybeAnyNumNotNaNInf() - Method in interface dk.brics.tajs.lattice.Num
Returns true if this value is maybe any number but not NaN or infinite.
isMaybeAnyNumNotNaNInf() - 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 but not true.
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
 
isMaybeGetter() - Method in class dk.brics.tajs.lattice.Value
Returns true if this value maybe represents a getter.
isMaybeGetterOrSetter() - Method in class dk.brics.tajs.lattice.Value
Returns true if this value maybe represents a getter or setter.
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
 
isMaybeNonCallable(Value) - Static method in class dk.brics.tajs.analysis.Conversion
 
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
 
isMaybeNum(double) - Method in interface dk.brics.tajs.lattice.Num
Returns true if the given number is matched by this value.
isMaybeNum(double) - 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, and 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
 
isMaybeNumUIntPos() - Method in interface dk.brics.tajs.lattice.Num
Returns true is this value may be any positive UInt32.
isMaybeNumUIntPos() - 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 a non-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
 
isMaybePolymorphicPresent() - Method in class dk.brics.tajs.lattice.Value
Returns true if this value is maybe present in the polymorphic part.
isMaybePresent() - Method in class dk.brics.tajs.lattice.Value
Returns true if this value is maybe present.
isMaybePresentAccessor() - Method in class dk.brics.tajs.lattice.Value
Returns true if this value is maybe present as a getter/setter property.
isMaybePresentData() - Method in class dk.brics.tajs.lattice.Value
Returns true if this value is maybe present as a data property.
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.
isMaybeSameNumber(Value) - Method in interface dk.brics.tajs.lattice.Num
Returns true if this number value is maybe the same as the given one.
isMaybeSameNumber(Value) - Method in class dk.brics.tajs.lattice.Value
 
isMaybeSameNumberWhenNegated(Value) - Method in interface dk.brics.tajs.lattice.Num
Returns true if this number value is maybe the same as the given one when negated.
isMaybeSameNumberWhenNegated(Value) - Method in class dk.brics.tajs.lattice.Value
 
isMaybeSetter() - Method in class dk.brics.tajs.lattice.Value
Returns true if this value maybe represents a setter.
isMaybeSingleAllocationSite() - Method in class dk.brics.tajs.lattice.Value
Returns true is this value contains exactly one object source location.
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
 
isMaybeSingleObjectLabel() - Method in class dk.brics.tajs.lattice.Value
Returns true is this value contains exactly one object label.
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
 
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
 
isMaybeStrOtherIdentifierParts() - Method in interface dk.brics.tajs.lattice.Str
Returns true if this value is maybe any string consisting of identifier parts, ignoring identifier strings and UInt strings.
isMaybeStrOtherIdentifierParts() - 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
 
isMaybeStrPrefix() - Method in interface dk.brics.tajs.lattice.Str
Returns true if this value is maybe a fixed nonempty prefix string.
isMaybeStrPrefix() - 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 but not false.
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
 
isMaybeZero() - Method in interface dk.brics.tajs.lattice.Num
Returns true is this value may be the number 0.
isMaybeZero() - Method in class dk.brics.tajs.lattice.Value
 
isMemoryMeasurementEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isModifiedDisabled() - Method in class dk.brics.tajs.options.OptionValues
 
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
 
isNegated() - Method in class dk.brics.tajs.flowgraph.syntaticinfo.AbstractConditionPattern
 
isNested() - Method in class dk.brics.tajs.flowgraph.jsnodes.BeginLoopNode
Returns true iff the loop is nested inside another loop in the same function body.
isNewFlowEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isNoImplicitGlobalVarDeclarations() - Method in class dk.brics.tajs.options.UnsoundnessOptionValues
 
isNoMessages() - Method in class dk.brics.tajs.options.OptionValues
 
isNonArray() - Method in class dk.brics.tajs.lattice.State.Properties
Returns true if all non-array properties are maybe included.
isNone() - Method in class dk.brics.tajs.lattice.State
 
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 abstract value represents no concrete values.
isNone() - Method in interface dk.brics.tajs.solver.IState
Checks whether this abstract state represents the empty set of concrete states.
isNonInteractive() - Method in class dk.brics.tajs.options.SoundnessTesterOptions
 
isNoStrictEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isNotAbsent() - Method in class dk.brics.tajs.lattice.Value
Returns true if this value belongs to a definitely present property.
isNotASingletonObject() - Method in class dk.brics.tajs.lattice.Value
Returns true if this value does not contain a singleton object label.
isNotASummarizedObject() - Method in class dk.brics.tajs.lattice.Value
Returns true if this value does not contain a summarized object label.
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
 
isNotNullUndefined - Static variable in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureUtilities.Requirements
 
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.
isNotRegExp - Static variable in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureUtilities.Requirements
 
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 - Static variable in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureUtilities.Requirements
 
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.
isObject - Static variable in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureUtilities.Requirements
 
isObjectSensitivityDisabled() - Method in class dk.brics.tajs.options.OptionValues
 
ISolverMonitoring<StateType extends IState<StateType,ContextType,?>,ContextType extends IContext<ContextType>> - Interface in dk.brics.tajs.solver
Monitoring interface.
isParameterSensitivityEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isPolyfillES6CollectionsEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isPolyfillMDNEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isPolyfillTypedArraysEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isPolymorphic() - Method in class dk.brics.tajs.lattice.Value
Checks whether this value is polymorphic.
isPolymorphicDisabled() - Method in class dk.brics.tajs.options.OptionValues
 
isPolymorphicOrUnknown() - Method in class dk.brics.tajs.lattice.Value
Checks whether this value is polymorphic or 'unknown'.
isPrintErrorsWithoutThrowingException() - Method in class dk.brics.tajs.options.SoundnessTesterOptions
 
isPropagateDeadFlow() - Method in class dk.brics.tajs.options.OptionValues
 
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.CallNode
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 class dk.brics.tajs.flowgraph.jsnodes.ReadPropertyNode
Returns true if the property is a fixed string.
isPropertyFixed() - Method in class dk.brics.tajs.flowgraph.jsnodes.WritePropertyNode
Returns true if the property is a fixed string.
isQuietEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isReadOnly() - Method in class dk.brics.tajs.lattice.Value
Returns true is this value belongs to a property which definitely has ReadOnly set.
isRecencyDisabled() - Method in class dk.brics.tajs.options.OptionValues
 
isRegenerate() - Method in class dk.brics.tajs.options.SoundnessTesterOptions
 
isRegExp - Static variable in class dk.brics.tajs.analysis.signatures.NativeFunctionSignatureUtilities.Requirements
 
isRegisterDefined(int) - Method in class dk.brics.tajs.lattice.State
Returns true if the given register is defined.
isRegistersDone() - Method in class dk.brics.tajs.flowgraph.AbstractNode
Returns the registers done flag.
isReturnJSON() - Method in class dk.brics.tajs.options.OptionValues
 
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'.
isSeenOrdinaryExit() - Method in class dk.brics.tajs.monitoring.ProgramExitReachabilityChecker
 
isShowInternalMessagesEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isShowUnsoundnessUsage() - Method in class dk.brics.tajs.options.UnsoundnessOptionValues
 
isShowVariableInfoEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isSimpleRead(ParseTree) - Method in interface dk.brics.tajs.flowgraph.syntaticinfo.SyntacticQueries
True iff the parse tree is a simple read.
isSingleEventHandlerType() - Method in class dk.brics.tajs.options.OptionValues
 
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.
isSomeModified() - Method in class dk.brics.tajs.lattice.Obj
Checks whether some property is maybe modified.
isSomeNone() - Method in class dk.brics.tajs.lattice.Obj
Checks whether some property has the none value.
isSomePropertyRead() - Method in class dk.brics.tajs.monitoring.ObjReadsWrites
Checks whether some property is maybe read.
isSpecializeAllBoxedPrimitivesEnabled() - Method in class dk.brics.tajs.options.OptionValues
 
isStackVariable(Function, String) - Method in interface dk.brics.tajs.flowgraph.syntaticinfo.SyntacticQueries
True iff the variable could be allocated on the stack (i.e.
isStatementLevel() - Method in class dk.brics.tajs.js2flowgraph.AstEnv
Returns true if currently at statement level (not at a nested expression).
isStatisticsEnabled() - Method in class dk.brics.tajs.options.OptionValues