BoundsChecker class
Array bounds checker using interval analysis.
Analyzes CFG to find array accesses and verifies that indices are within valid bounds using interval domain abstract interpretation.
Constructors
Properties
- hashCode → int
-
The hash code for this object.
no setterinherited
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
checkCfg(
ControlFlowGraph cfg) → List< BoundsCheckResult> - Checks all array accesses in a CFG.
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
registerArrayLength(
String variable, int length) → void - Registers the length of an array variable.
-
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited