See: Description
| 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.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.uneval |
Transformation of
eval calls. |
| dk.brics.tajs.flowgraph |
Representation of flow graphs.
|
| dk.brics.tajs.flowgraph.jsnodes |
Flow graph nodes for modeling JavaScript source code.
|
| dk.brics.tajs.htmlparser |
HTML parser.
|
| dk.brics.tajs.js2flowgraph |
Construction of flow graphs from JavaScript code.
|
| 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.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.
|
Copyright © 2012 Aarhus University