seahorn / crabLinks

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

Alternatives and similar repositories for crab

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

Sorting: