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_comparev0.9
ppx_deriving>= 4.1
yojson>= 1.2.3
Availableocaml-version = "4.04.0"
PublishedApr 13, 2017
Source [http] https://github.com/ropas/sparrow/archive/v0.2.tar.gz
2915fe59837b9dcf63d07c4116ccbb07
StatisticsInstalled 4 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/sparrow/sparrow.0.2/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