OPAL - Abstract Interpretation Framework

ZeroDomain