Austin Mordahl

Hi Steven, While I would be happy to fix the first issue (i.e., unsound short circuiting), I am unaware of where or how methodSinks is intended to be initialized so...

Hi Manu, I think this explains most of the behavior. I still don't understand the second example. Here, we do have a constant string, so I'm assuming WALA's context interpreter...

@msridhar I have another question on the explanation you gave. Consider the following program: ``` import targets.HasHelloWorld; import java.io.BufferedReader; import java.io.FileReader; import java.io.IOException; import java.lang.reflect.InvocationTargetException; public class Application { public...

> This is a strange one, I agree. Can you come up with a reduced test case for this one? Ideally a self-contained program that does not involve hsqldb? That...

Sure. It's kind of a long file since we made our driver try to support all of WALA's configurability: ``` class Application { //private static final Logger logger = LoggerFactory.getLogger(Application.class);...

Yes, we used ZERO_CFA for these.

Hey Manu, Thanks for the reply. The test case you added passed for me, too. I noticed you put your classes in packages, and, turns out, I can only recreate...

> does the above make sense and is it consistent with your examples? That makes a lot of sense! Thanks for the explanation. I think this answers the issue in...

> Let's look at this case next. Do we have a reduced input to for reproducing it? Have you tried reproducing the bug in the reduced hsqldb.jar I provided? We've...

I used the synthetic entrypoint obtained from `com.ibm.wala.ipa.callgraph.impl.Util.makeMainEntrypoints(scope, cha);`