Crate gf

GF is a practical abstract interpretation framework focused on, but not limited to, binary code analysis.

Modules

ai	🟢 Abstract interpretation.
kb	Knowledge bases.
mc	Machine code.
pivot	🟢 Pivot, the intermediate representation.
smt	🟢 SMT expressions, formulas, and satisfiability checking.
support	Specialized collections and other supporting definitions.