WALA icon indicating copy to clipboard operation
WALA copied to clipboard

Slicing using JavaSourceAnalysisScope.SOURCE

Open dareenkf opened this issue 2 years ago • 1 comments

I know that WALA's slicer can't include constant values in the slice as WALA's IR is in SSA form and copy propagation is formed during SSA construction. Hence, the writing of constants to locals is not preserved in the IR.  How about when we use source code analysis? Can I use source analysis ( JavaSourceAnalysisScope.SOURCE ) to build program slices? If so, can I get constant values in the slice in this case since we use the source code?

dareenkf avatar Mar 27 '23 20:03 dareenkf

Sorry for the slow response. You can slice source code using AstJavaSlicer. I am not personally sure if it will preserve constants. If you try it and could report back here, that would be helpful and we could document it. Thanks!

msridhar avatar May 18 '23 15:05 msridhar