Loopfrog Publications Loopfrog: A Static Analyzer for ANSI-C Programs Loop Summarization using Abstract Transformers