reasoner/abstract/abstract_interpreter library

Classes

AbstractInterpreter<D extends AbstractDomain<D>>

Abstract interpreter using worklist algorithm with widening.

AnalysisResult<D extends AbstractDomain<D>>

Result of abstract interpretation analysis.

IntervalAnalyzer

Specialized interval analysis interpreter.