Package dk.brics.tajs.analysis

Ties together the various parts of the analysis.

See: Description

Interface Summary

Interface	Description
FunctionCalls.CallInfo	Information about a function call.

Class Summary

Class	Description
Analysis	Encapsulation of the analysis using State, CallContext, Monitoring, Solver, InitialStateBuilder, Transfer, WorkListStrategy, Monitoring, and NativeFunctions.
CallContext	Call context for context sensitive analysis.
Conversion	Type conversions for abstract values (Chapter 9).
EvalCache	Cache for the unevalizer.
Exceptions	Models exceptions.
FunctionCalls	Models function calls.
FunctionCalls.EventHandlerCall	Information for an event handler call.
InitialStateBuilder	Sets up the initial state (Chapter 15).
NativeFunctions	Dispatch evaluation of native functions and common functionality used by the native functions.
Solver	Fixpoint solver.
SpecialArgs	Function arguments relevant for context sensitivity.
State	Abstract state.
Transfer	Transfer for flow graph nodes and edges.
WorkListStrategy	Work list strategy.

Enum Summary

Enum	Description
Conversion.Hint	Preferred type for conversion.
HostAPIs	Descriptors and dispatching for the supported host APIs.

Package dk.brics.tajs.analysis Description

Ties together the various parts of the analysis. Also models type conversions, exceptions, function calls and controls the context sensitivity and worklist ordering.

Chapters and sections refer to the ECMAScript Language Specification, ECMA-262 3rd Edition.

Author:

Anders Møller <amoeller@cs.au.dk>, Peter Thiemann <thiemann@informatik.uni-freiburg.de>, Simon Holm Jensen <simonhj@cs.au.dk>