See: Description
| Interface | Description |
|---|---|
| FlowScope |
A symbol table for inferring types during data flow analysis.
|
| ReverseAbstractInterpreter |
This interface defines what reversed abstract interpreters provide.
|
| Class | Description |
|---|---|
| ChainableReverseAbstractInterpreter |
Chainable reverse abstract interpreter providing basic functionality.
|
| ClosureReverseAbstractInterpreter |
A reverse abstract interpreter (RAI) for specific closure patterns such as
goog.isDef. |
| SemanticReverseAbstractInterpreter |
A reverse abstract interpreter using the semantics of the JavaScript
language as a means to reverse interpret computations.
|