A library for building abstract interpretation-based analyses. - View it on GitHub