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