seahorn / crab

A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
238Updated 4 months ago

Alternatives and similar repositories for crab:

Users that are interested in crab are comparing it to the libraries listed below