Infinite loop checker

[kjlubick]

This doesn't have to handle the general case (halting problem), but for something like the above, where there exist some branches that don't allow the local variable to get updated would be a good start. Also, things like

while(var < 7);  

which is problematic.

Image source: mebigfatguy@c581a7f