# Monday, 29 July 2002
« No Title | Main | No Title »
No Title

I found an interesting paper on jsr/ret verification. It contains the following example of valid Java code that is not verifiable with the verification algorithm described in the JVM spec:

static int m(boolean x) {
  int y;
  try {
    if(x) return 1;
    y = 2;
  } finally {
    if(x) y = 3;
  }
  return y;
}
Monday, 29 July 2002 18:12:48 (W. Europe Daylight Time, UTC+02:00)  #    Comments [0]