[][src]Module gf::code::dfa

Abstract interpretation and data flow analysis.

Modules

concrete

Concrete interpretation.

Structs

ConcreteExecutor

Executor that follows a concrete execution.

Enums

Backward

Backward InterpDirection.

Forward

Forward InterpDirection.

Traits

Interp

An abstract interpretation.

InterpDirection

An abstract interpretation direction: forward or backward.

MonotonicInterp

A monotonic abstract interpretation.