Skip navigation links

Type Analyzer for JavaScript (TAJS) API Specification

This document is the API specification for Type Analyzer for JavaScript (TAJS).

See: Description

Packages 
Package Description
dk.brics.tajs
Main entry of the program analysis.
dk.brics.tajs.analysis
Ties together the various parts of the analysis.
dk.brics.tajs.analysis.dom
Model of Mozilla host objects.
dk.brics.tajs.analysis.dom.ajax  
dk.brics.tajs.analysis.dom.core  
dk.brics.tajs.analysis.dom.event  
dk.brics.tajs.analysis.dom.html  
dk.brics.tajs.analysis.dom.html5  
dk.brics.tajs.analysis.dom.style  
dk.brics.tajs.analysis.dom.view  
dk.brics.tajs.analysis.js
Transfer functions for JavaScript-specific primitive instructions and operators.
dk.brics.tajs.analysis.nativeobjects
Transfer functions for native function objects.
dk.brics.tajs.analysis.nativeobjects.concrete
Concrete interpretation using javax.script.ScriptEngine.
dk.brics.tajs.analysis.signatures
Signatures for native functions.
dk.brics.tajs.analysis.signatures.types  
dk.brics.tajs.analysis.uneval
Interface between TAJS and the Unevalizer.
dk.brics.tajs.flowgraph
Representation of flow graphs.
dk.brics.tajs.flowgraph.jsnodes
Flow graph nodes for modeling JavaScript source code.
dk.brics.tajs.flowgraph.syntaticinfo
Information that relates flowgraph elements to the syntactic structures of the backing source code program.
dk.brics.tajs.htmlparser
HTML parser.
dk.brics.tajs.js2flowgraph
Construction of flow graphs from JavaScript code.
dk.brics.tajs.js2flowgraph.asttraversals  
dk.brics.tajs.lattice
Representation of the analysis lattice.
dk.brics.tajs.monitoring
Information collected during and after the analysis fixpoint computation.
dk.brics.tajs.monitoring.inspector
TAJS Inspector.
dk.brics.tajs.monitoring.inspector.api
Implementations of the InspectorAPI.
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
Misc.
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
Implementations of Gutters for the InspectorAPI
dk.brics.tajs.monitoring.inspector.util
Misc.
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
Utilities for accessing soundness testing log files.
dk.brics.tajs.monitoring.soundness.postprocessing
Post-processing of the output from dk.brics.tajs.monitoring.soundness.testing.
dk.brics.tajs.monitoring.soundness.testing
The soundness testing implementation: compares abstract and concrete states.
dk.brics.tajs.options
Global analysis options.
dk.brics.tajs.solver
Generic fixpoint solver for flow graphs.
dk.brics.tajs.unevalizer
The Unevalizer.
dk.brics.tajs.util
Collection classes and other utilities.

This document is the API specification for Type Analyzer for JavaScript (TAJS).

For more information about TAJS, see the project home page: http://www.brics.dk/TAJS/

Skip navigation links

Copyright © 2009-2017 Aarhus University