Ecosyste.ms: Docker
An open API service providing dependency metadata for docker images.
seahorn/crab_elina
Crab is an Abstract Interpretation library. This build includes Elina library
Latest release: about 1 year ago - 1,694 downloads - 550 dependencies
More details on packages.ecosyste.ms - JSON