| 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.dom.xpath |
|
| 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.blendedanalysis |
|
| dk.brics.tajs.blendedanalysis.dynamic |
|
| dk.brics.tajs.blendedanalysis.solver |
|
| 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.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 |
|
| 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.postprocessing |
|
| 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.
|