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.
| Author | Programming Research Laboratory (ROPAS), Seoul National University |
|---|---|
| License | BSD-3-Clause |
| Published | |
| Homepage | https://github.com/ropas/sparrow |
| Issue Tracker | https://github.com/ropas/sparrow/issues |
| Maintainer | Programming Research Laboratory (ROPAS), Seoul National University |
| Dependencies |
|
| Source [http] | https://github.com/ropas/sparrow/archive/v0.1.tar.gz md5=b1462af15ada21efa5fbf46430167083 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/sparrow/sparrow.0.1/opam |
No package is dependent
