[Checkers] Interned checker throws ClassCastException
mahmood at MIT.EDU
Sat Mar 1 02:40:06 EST 2008
I was just able to compile free pastry and daikon using the Interned
and IGJ framework.
I am afraid that it took a long time to compile though. It took about
13 minutes to compile Daikon and 3 minutes to compile pastry with
Interned. IGJ takes much longer.
I write another email tomorrow morning on the status and the issues I
have found and tried to resolve.
In the future, I will try to make any check-in to the SVN atomic
without it breaking tests (IGJ tests were failing most of today, but
On Mar 1, 2008, at 12:46 AM, Mahmood Ali wrote:
> Hi Mike,
> I am sorry for not replying to your earlier emails. I am planning to
> do that soon. Today, we made a lot of changes in the framework some of
> which broke some assumptions (not fully specified) made by the
> checkers. We were able to successfully run the Interned checker
> against Daikon and Pastry twice. I am currently working on it.
> I am investigating several crashing bugs in the framework now. I am
> not quite sure which one you are encountering, but I have uncovered
> the following problems:
> 1. Checks done with an implicit constructor for anonymous classes,
> lead to NullPointerException
> 2. getAnnotatedType of a member select of tree of a canonical class
> name ('checkers.basetype.BaseTypeVisitor') lead to infinite loops in
> - Mahmood
> P.S. I should take responsibility of this errors.
> On Mar 1, 2008, at 12:29 AM, Michael Ernst wrote:
>>> we have fixed this (as of r1824). It was due to some of the
>>> changes we'd made since this morning.
>> Thanks, I don't get this error any more.
>> (I do still have the infinite loop problem, as of r1826. "kill -3"
>> get me a stack trace, but let me know if you need more details.)
> checkers mailing list
> checkers at lists.csail.mit.edu
More information about the checkers