Infinite Recursion (IR)

Description:

IR detects if an infinite recursion has occured during the programs execution.

Example:

   class A {
       void f() {
           g();
       }
       void g() {
           f();
       }
   }