A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev. - View it on GitHub