Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Loopfrog: A Static Analyzer for ANSI-C Programs

Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, and Christoph M. Wintersteiger

Details

Publication typeInproceedings
Published inProceedings of ASE 2009
Pages668–670
PublisherIEEE Press
> Publications > Loopfrog: A Static Analyzer for ANSI-C Programs