[−][src]Module gf::ai

🟢 Abstract interpretation.

Modules

concolic	🟢 Concolic interpretation.
concrete	🟢 Concrete interpretation.
executor	🟢 Executors for abstract interpretations.
ipa	🟢 Interprocedural analysis.
opt	🟢 Abstract interpretations for code optimization.
state	🟢 Common abstract state definitions.
symbolic	🟢 Symbolic interpretation.

Backward	🟢 Backward `Direction`.
Forward	🟢 Forward `Direction`.

Direction	🟢 An analysis direction: `Forward` or `Backward`.
Interp	🟢 An abstract interpretation.