AbstractInterpreter<D extends AbstractDomain<D>> class

Abstract interpreter using worklist algorithm with widening.

Performs forward dataflow analysis on CFG using abstract domains. Supports interval analysis for integer variables and can be extended for other domains.

Implementers

• IntervalAnalyzer

Constructors

AbstractInterpreter(D _defaultValue, {int wideningThreshold = 3, int maxIterations = 1000})

Properties

hashCode → int

The hash code for this object.

no setter, inherited

maxIterations → int

Maximum total iterations before giving up.

final

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

wideningThreshold → int

Maximum iterations before forcing widening.

final

Methods

analyze(ControlFlowGraph cfg) → AnalysisResult<D>

Analyzes a CFG and returns the abstract state at each program point.

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

toString() → String

A string representation of this object.

inherited

Operators

operator ==(Object other) → bool

The equality operator.

inherited