Problem Reporting

We have thoroughly tested our analysis tool. However, in order to trace all possible modifications, our tool also needs to instrument the Java Libraries, which is a tough task. For some API-classes, instrumentation fails and the program crashes with an error message like this:

Exception in thread "Thread-17" java.lang.VerifyError: (class: com/sun/crypto/provider/SunJCE_al, 
method: <init> signature: (Lcom/sun/crypto/provider/SunJCE;)V) Expecting to find object/array on stack
   at com.sun.crypto.provider.SunJCE.<init>(DashoA12275)
   at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
   at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:39)
   at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:27)
... 

If you get a similar error message for your run, then don't panick. Mail the stack trace you got to dallmeier@st.cs.uni-sb.de.