IntervalAnalyzer class

Specialized interval analysis interpreter.

Inheritance

Constructors

IntervalAnalyzer({int wideningThreshold = 3, int maxIterations = 1000})

Properties

hashCode → int
The hash code for this object.
no setterinherited
maxIterations → int
Maximum total iterations before giving up.
finalinherited
runtimeType → Type
A representation of the runtime type of the object.
no setterinherited
wideningThreshold → int
Maximum iterations before forcing widening.
finalinherited

Methods

analyze(ControlFlowGraph cfg) → AnalysisResult<IntervalDomain>
Analyzes a CFG and returns the abstract state at each program point.
inherited
getIntervalAtBlockEntry(AnalysisResult<IntervalDomain> result, int blockId, String variable) → IntervalDomain?
Convenience method to get interval at a specific program point.
isArrayAccessSafe(AnalysisResult<IntervalDomain> result, int blockId, String indexVariable, int arrayLength) → bool
Checks if an array access is safe at a given 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