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.2.tar.gz sha256=ba69cd8772999b43245f8ad089a65ae06c978ed290635b1a0f5b064899280558 md5=2915fe59837b9dcf63d07c4116ccbb07 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/sparrow/sparrow.0.2/opam |
No package is dependent
