CFG analysis puzzlers

Interesting codes for AutoRefactor to ``fix'' or analyze correctly

• Try-finally clauses defined and demonstrated

• Spartan programming - SendAnEmail case study

• The Unpuzzling Kotlin: Bringing Clarity to Your Code by Svetlana Isakova and Aleksei Sedunov

• Java puzzlers, Traps, Pitfalls, and Corner Cases by Joshua Bloch and Neal Gafter

• Code That Made Me Cry - Java ternary operator and numbers

• += operator and automatic casting

Code samples

Infinite loop 1

while  (true) {
    try {
        break;
    } finally {
        continue;
    }
}

Only one iteration

while  (true) {
    try {
        System.exit(0);
    } finally {
        continue;
    }
}

Infinite loop 2

for (byte b = Byte.MIN_VALUE; b <= MAX_VALUE; b++) {
    // infinite loop
}