Loopfrog: A Static Analyzer for ANSI-C Programs

In  Proceedings of ASE 2009

Publisher  IEEE Press

Details

TypeInproceedings
Pages668–670
> Publications > Loopfrog: A Static Analyzer for ANSI-C Programs