On Tue, 2005-11-08 at 19:09 +0100, Mark Wielaard wrote: > Yes, nice catch. Now that I have seen this I am surprised we don't have > more bugs like this one. it is easy to miss. Cool to know you have a > code analyzer for this. Please let us know when the paper is published.
We currently have only analyzed the gtk-peer code, since our tool still has some minor bugs. But today we should be able to analyze the whole GNU classpath jni code. We'll see how many bugs we find :-) The paper should be finished tomorrow. TWISTI _______________________________________________ Classpath mailing list Classpath@gnu.org http://lists.gnu.org/mailman/listinfo/classpath