| Interface | Description |
|---|---|
| FunctionCalls.CallInfo |
Information about a function call.
|
| IContextSensitivityStrategy |
Strategy-pattern interface for context sensitivity strategies.
|
| ParallelTransfer.Transfer |
State transfer function.
|
| Unsoundness.MessageCollector |
| Class | Description |
|---|---|
| Analysis |
Encapsulation of the analysis using
State, Context,
Solver, InitialStateBuilder, Transfer,
IContextSensitivityStrategy, and IAnalysisMonitoring. |
| AsyncEvents |
Processing of asynchronous events (that do not involve HTML DOM).
|
| BasicContextSensitivityStrategy |
Basic call and heap context sensitivities.
|
| Conversion |
Type conversions for abstract values (Chapter 9).
|
| CustomContextSensitivityStrategy |
Context sensitivity strategy determined by TAJS_makeContextSensitive instructions in the analyzed program.
|
| EvalCache |
Cache for the unevalizer.
|
| Exceptions |
Models exceptions.
|
| FunctionCalls |
Models function calls.
|
| FunctionCalls.DefaultImplicitCallInfo |
Convenience class for creating the CallInfo for an implicit call.
|
| FunctionCalls.EventHandlerCall |
Information for an event handler call.
|
| FunctionCalls.OrdinaryCallInfo |
Call information for an ordinary call/construct.
|
| InitialStateBuilder |
Sets up the initial state (Chapter 15).
|
| KnownUnsoundnesses |
Files and locations in files with where TAJS compute a result that is unsound with respect to a value log.
|
| NativeObjectToString |
Implementation of Object.prototype.toString, which depends on the host environment.
|
| ParallelTransfer |
Parallel transfer functions.
|
| PartialHostModels |
Partially modeled host APIs.
|
| PropVarOperations |
Operations for accessing object properties and variables in abstract states.
|
| Solver |
Fixpoint solver.
|
| StaticDeterminacyContextSensitivityStrategy |
Implementation of the heuristics for call- and heap-contexts according to "Determinacy in Static Analysis of jQuery", OOPSLA 2014.
|
| Transfer |
Transfer for flow graph nodes and edges.
|
| Unsoundness |
Controls intentional unsoundness choices.
|
| Enum | Description |
|---|---|
| Conversion.Hint |
Preferred type for conversion.
|
| HostAPIs |
Descriptors and dispatching for the supported host APIs.
|
Copyright © 2009-2019 Aarhus University