Abstract Interpretation Framework

Absint is Infer's abstract interpretation framework, the recommended way to write analyses in Infer.

Important modules: