Loopfrog: A Static Analyzer for ANSI-C Programs