GF is a practical abstract interpretation framework focused on, but not limited to, binary code analysis.
🟢 Abstract interpretation.
🟢 Pivot, the intermediate representation.
🟢 SMT expressions, formulas, and satisfiability checking.
Specialized collections and other supporting definitions.