|Informative Information for the Uninformed|
A lot of research has been done on the subject of loop detection. The research, however, was not done for the purpose of finding and exploiting vulnerabilities that exist inside of loops. Most research has been done with an interest in recognizing and optimizing loops3.1.
Research on the optimization of loops has led scientists to classify
various types of loops. There are two distinct categories to which
any loop will belong. Either the loop will be an irreducible
loop3.2 or a
reducible loop3.3. Given
that there are two different distinct categories, it stands to
reason that the two types of loops are detected in different
fashions. Two popular papers on loop detection are Interval
Finding Algorithm and Identifying Loops
Using DJ Graphs. This document will cover
the most widely accepted theory on loop detection.