package sparrow
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A Static Analyzer for C
Install
Dune Dependency
Authors
Maintainers
Sources
v0.1.tar.gz
sha256=7f229a592f327b97f273391fa55b3c500cb96f968191892dc1d78b47ca5a054e
md5=b1462af15ada21efa5fbf46430167083
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: 10 Apr 2017
Dependencies (10)
- ppx_deriving
-
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" -
ocamlfind
build -
ocaml
>= "4.03.0" & < "4.04.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page