Loops are an important part of any programming language. Hence loop analysis is very important for different software engineering tasks, such as bug detection, test case generation, and program optimization. 