Loopfrog: A Static Analyzer for ANSI-C Programs
Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, and Christoph M. Wintersteiger
2009
In Proceedings of ASE 2009
Publisher IEEE Press
Details
| Type | Inproceedings |
| Pages | 668–670 |
Related People
Share
