Loopfrog: A Static Analyzer for ANSI-C Programs | IEEE Conference Publication | IEEE Xplore