Manu Sridharan

Sorry the docs are bad here. The `SourceDirCallGraph` is a example driver showing how to use the Java source front end: https://github.com/wala/WALA/blob/master/com.ibm.wala.cast.java.ecj/src/main/java/com/ibm/wala/cast/java/ecj/util/SourceDirCallGraph.java I'll leave this issue open to improve the...

@Chaoshuai-Li thanks for the question. You're right that there is a difference in the IRs. WALA's IR is in SSA form and copy propagation is formed during SSA construction. So,...

@Chaoshuai-Li if you describe more what facts you are trying to compute about local variables, possibly I can help in figuring out if you can do what you need with...

@Chaoshuai-Li if you only need to do intra-procedural dataflow analysis, I suggest taking a look at the Checker Dataflow library: https://checkerframework.org/manual/checker-framework-dataflow-manual.pdf It works on the ASTs computed by javac itself....

I think this is due to trickiness with slicing based on results of invocations. You want to set your slice seed to be a `NormalReturnCaller` statement. See [this thread](https://groups.google.com/g/wala-sourceforge-net/c/0QGLkaOoUFA?pli=1). Does...

@malionet-sarka see the test I added in #803. With a `NormalReturnCaller` statement things are working there. So you can check and see where your code differs. Let us know.

Correction: I switched #803 to use 0-1-container CFA builder. I still get the `add` calls in the slice, but for some reason it is now missing the calls to `Integer.valueOf()`...

No problem! I'll leave this issue open until documentation is fixed.

@liblit any other stuff you recall that needs to be done here? or is it already documented on your previous massive Gradle PR?

This is a good start! Couple things. This is the relevant `pom.xml` config for copying those jars: https://github.com/wala/WALA/blob/a9157d8cce595798baffef04ae62e27a9e96c909/com.ibm.wala.ide/pom.xml#L24-L57 I think this could all be deleted if we get things working...