|Author||Programming Research Laboratory (ROPAS), Seoul National University|
|Maintainer||Programming Research Laboratory (ROPAS), Seoul National University|
|Available||ocaml-version >= "4.03.0" & ocaml-version < "4.04.0"|
|Published||Apr 7, 2017|
|Statistics||Installed 3times in last month.|
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.
|No package is dependent|