sparrow

A Static Analyzer for C
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.

Install
Published
10 Apr 2017
Authors
Maintainers
Sources
v0.1.tar.gz
md5=b1462af15ada21efa5fbf46430167083
Dependencies
ppx_compare >= "113.33.00+4.03" & < "113.34.00+4.03"
lymp >= "0.1.3"
yojson >= "1.2.3"
apron >= "0.9.10"
ocamlgraph >= "1.8.7"
cil >= "1.7.3"
batteries >= "2.3.1"
ocaml >= "4.03.0" & < "4.04.0"
Reverse Dependencies