Details
-
Bug
-
Status: Resolved
-
Major
-
Resolution: Fixed
-
5.1
-
None
Description
The following code will not pass that JustIce verifier. Code was compiled with Sun's standard
compiler (v 1.4.1).
SOURCE CODE:
public class Test55 {
public void foo(int arg0, int arg1) {
try {
try
finally
{ arg0 = arg0; }} finally
{ arg1 = arg1; } }
}
OUTPUT:
Verifying: Test55
Verification Errors:
#0:
Constraint violated in method 'public void foo(int arg1, int arg2)':
Subroutine instruction ' 16: astore[58](2) 4' is protected by an exception handler,
'CodeExceptionGen( 0: iload_1[27](1), 22: jsr[168](3) -> astore 6, 28: astore[58](2) 5)'. This is
forbidden by the JustIce verifier due to its clear definition of subroutines.
Verification failed