|
Loopfrog |
|
About ― Download ― Experiments ― Documentation
About Loopfrog
|
Loopfrog is
an Abstract Interpretation based static analyzer for C
programs. It works on binary model files generated
by goto-cc.
Loopfrog is a joint project between the Formal Verification Group at ETH Zürich and the Formal Verification and Security Group at the University of Lugano. For questions about Loopfrog contact Christoph M. Wintersteiger.You should also read the license. |
|
| 10-17-2009: | Version 0.7 released; this release features support for the goto-cc 2.6 binary format. |
| 06-16-2009: | Version 0.6 released. |
| 02-17-2008: | Version 0.5 released. |
| 11-21-2007: | Version 0.4 released. |
Support
This research is currently supported by an award from IBM research
and a grant from the Swiss
National Science Foundation.