[][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.

Enums

Backward

🟢 Backward Direction.

Forward

🟢 Forward Direction.

Traits

Direction

🟢 An analysis direction: Forward or Backward.

Interp

🟢 An abstract interpretation.