[Checkers] Question about the flow algorithm

Mahmood Ali mahmood at MIT.EDU
Tue Mar 24 14:17:37 EDT 2009

Greetings Adam,

Thank you again for your proposal.

Unfortunately, I haven't analyzed the proposal very throughly yet, and  
maybe illustrating with an example would help.

For example, let's consider the following simple example:

   String s = null;
   try {
     s = "m";  // assignment never happens
   } finally {
     // what's the type of 's' here?
     s.toString(); // throw NullPointerException;

So the current Flow implementation misses the nullpointer exception  
here.  How does the flow framework handle this situation?

We are considering a full rewrite to the Flow framework.  I am leaning  
towards fixing these class of problems later.


More information about the checkers mailing list