sparrow

AuthorProgramming Research Laboratory (ROPAS), Seoul National University
LicenseBSD
Homepagehttps://github.com/ropas/sparrow
Issue Trackerhttps://github.com/ropas/sparrow/issues
MaintainerProgramming Research Laboratory (ROPAS), Seoul National University
Dependencies
&apron>= 0.9.10
batteries>= 2.3.1
cil>= 1.7.3
lymp>= 0.1.3
ocamlfind
ocamlgraph>= 1.8.7
ppx_compare>= 113.33.00+4.03&113.34.00+4.03
ppx_deriving
yojson>= 1.2.3
Availableocaml-version >= "4.03.0" & ocaml-version < "4.04.0"
PublishedApr 7, 2017
Source [http] https://github.com/ropas/sparrow/archive/v0.1.tar.gz
b1462af15ada21efa5fbf46430167083
StatisticsNot installed in the last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/sparrow/sparrow.0.1/opam

A Static Analyzer for C

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.

No package is dependent