package sparrow

  1. Overview
  2. No Docs
A Static Analyzer for C

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

  1. P
    Programming Research Laboratory (ROPAS), Seoul National University

Maintainers

  1. P
    Programming Research Laboratory (ROPAS), Seoul National University

Sources

v0.2.tar.gz
md5=2915fe59837b9dcf63d07c4116ccbb07

Description

Sparrow is a state-of-the-art static analyzer that aims to verify the absence of fatal bugs in C source. Sparrow is designed by Abstract Interpretation and the analysis is sound in design. Sparrow adopts a number of well-founded static analysis techniques for scalability, precision, and user convenience.

Published: 22 May 2017

Dependencies (10)

  1. ppx_deriving >= "4.1"
  2. ppx_compare < "v0.9"
  3. lymp >= "0.1.3"
  4. yojson >= "1.2.3"
  5. apron >= "0.9.10"
  6. ocamlgraph >= "1.8.7"
  7. cil >= "1.7.3"
  8. batteries >= "2.3.1"
  9. ocamlfind build
  10. ocaml = "4.04.0"

Dev Dependencies

None

Used by

None

Conflicts

None