GitHub repository: seahorn/crab
Primary language: C++
Created: 2015-09-02T19:16:15Z
Description: A library for building abstract interpretation-based analyses