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