- Disallow unmodified loop conditions
This rule finds references which are inside of loop conditions, then checks the variables of those references are modified in the loop.
You can check them out here.