[Checkers] Interned checker throws ClassCastException

Mahmood Ali mahmood at MIT.EDU
Sat Mar 1 02:40:06 EST 2008

Hi guys,

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  
not now).

- Mahmood

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
> Pastry
> - 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"
>> didn't
>> get me a stack trace, but let me know if you need more details.)
>>                    Thanks,
>>                   -Mike
> _______________________________________________
> checkers mailing list
> checkers at lists.csail.mit.edu
> https://lists.csail.mit.edu/mailman/listinfo/checkers

More information about the checkers mailing list