| Interface | Description |
|---|---|
| Bool |
'Boolean' facet for abstract values.
|
| HostAPI |
Host API.
|
| HostObject |
Descriptor for object implemented directly in the analyzer.
|
| ILatticeMonitoring |
Monitoring interface.
|
| LocalContext.Qualifier |
Qualifier for local contexts.
|
| Null |
'Null' facet for abstract values.
|
| Num |
'Number' facet for abstract values.
|
| PKeys |
'String or symbol' facet for abstract values.
|
| Str |
'String' facet for abstract values.
|
| Undef |
'Undefined' facet for abstract values.
|
| Class | Description |
|---|---|
| AnalysisLatticeElement |
Global analysis lattice element.
|
| CallEdge |
Information stored at an edge in a call graph.
|
| Context |
Context for context sensitive analysis.
|
| ContextArguments |
Representation of arguments to a function.
|
| ExecutionContext |
Abstract execution context.
|
| HeapContext |
Heap context for context sensitive analysis.
|
| LocalContext |
Local context.
|
| LocalContext.LoopUnrollingQualifier |
Qualifier for loop unrolling.
|
| MustEquals |
Local must-equals information.
|
| MustReachingDefs |
Local must-reaching definitions.
|
| Obj |
Abstract object.
|
| ObjectLabel |
Label of abstract object.
|
| ObjectLabel.Comparator | |
| ObjectProperty |
Pair of an
ObjectLabel and a Property. |
| ObjProperties |
The properties of an object given a query, with their value.
|
| ObjProperties.PropertyQuery | |
| PKey |
A fixed property key.
|
| PKey.Comparator | |
| PKey.StringPKey |
Property key for fixed string.
|
| PKey.SymbolPKey |
Property key for Symbol.
|
| Property |
An object property.
|
| Renaming |
Functionality for renaming object labels.
|
| Restriction |
Represention of a value restriction.
|
| ScopeChain |
Abstract scope chain.
|
| State |
Abstract state for block entries.
|
| StateExtras |
Extra components for abstract states.
|
| Summarized |
Maybe/definitely summarized object label sets.
|
| UnknownValueResolver |
Resolves 'unknown' and polymorphic properties.
|
| Value |
Abstract value.
|
| Enum | Description |
|---|---|
| ObjectLabel.Kind |
Object kinds.
|
| Property.Kind |
Kind of property.
|
| Restriction.Kind |
Copyright © 2009-2019 Aarhus University