sparrowversion

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.

AuthorProgramming Research Laboratory (ROPAS), Seoul National University
LicenseBSD-3-Clause
Published
Homepagehttps://github.com/ropas/sparrow
Issue Trackerhttps://github.com/ropas/sparrow/issues
MaintainerProgramming Research Laboratory (ROPAS), Seoul National University
Dependencies
Source [http] https://github.com/ropas/sparrow/archive/v0.1.tar.gz
sha256=7f229a592f327b97f273391fa55b3c500cb96f968191892dc1d78b47ca5a054e
md5=b1462af15ada21efa5fbf46430167083
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/sparrow/sparrow.0.1/opam
No package is dependent