[Checkers] Question about the flow algorithm

[Mahmood Ali]

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 {
     methodThrowingAnException();
     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.

Regards,
Mahmood