| Title: | Loopfrog: A Static Analyzer for ANSI-C Programs |
|---|---|
| Links: | Homepage |
| Authors: | Daniel Kroening EMail |
| Natasha Sharygina | |
| Stefano Tonetta | |
| Aliaksei Tsitovich | |
| Christoph Wintersteiger | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{ksttw2009,
AUTHOR = { Kroening, Daniel
and Sharygina, Natasha
and Tonetta, Stefano
and Tsitovich, Aliaksei
and Wintersteiger, Christoph },
TITLE = { Loopfrog: A Static Analyzer for {ANSI-C} Programs },
BOOKTITLE = { Proceedings of ASE 2009 },
YEAR = { 2009 },
PUBLISHER = { IEEE },
PAGES = { 668--670 },
ISBN = { 978-0-7695-3891-4 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.