Package dk.brics.tajs.analysis.js

Transfer functions for JavaScript-specific primitive instructions and operators.

See: Description

Class Summary

Class	Description
EdgeTransfer	Transfer for flow graph edges.
Filtering	Filters dataflow using control sensitivity assumptions.
NodeTransfer	Transfer for flow graph nodes.
Operators	Evaluation of operators on abstract values (Chapter 11).
UserFunctionCalls	Models calls to user-defined (non-host) functions.

Package dk.brics.tajs.analysis.js Description

Transfer functions for JavaScript-specific primitive instructions and operators. 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>