Finding Buffer Overflow Inducing Loops in Binary Executables
Alias analysis of executable code