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
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 22 May 2017
- Authors
- Maintainers
Sources
Dependencies
ppx_deriving
>= "4.1"
ppx_compare
< "v0.9"
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.04.0"
Reverse Dependencies