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
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.2.tar.gz
md5=2915fe59837b9dcf63d07c4116ccbb07
StatisticsNot installed in the last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/sparrow/sparrow.0.2/opam
No package is dependent