Open karlls12321 opened 6 months ago
Hi, thanks for the report. I haven't dug in deeply here, but I suspect the issue might be in how the synthetic IR that invokes the entrypoint method gets generated. In particular, I suspect that IR has instructions to construct a new Test
object to pass as the receiver argument to the foo()
entrypoint. Could you print the IR for the "fake root method" to see if this is the case?
Hi, I used CHA, RTA, and context insensitive analysis to generate call graphs on the same input program, but wala provided incorrect results. See the minimized code example below:
I set the method Test.foo as the entry method. Considering a call graph edge from
Test.<init>
toTest.foo
, CHA cannot report this, but RTA and CI report it. There is inconsistent behaviour here.For me, RTA should not build the edge because of no method as default .
new
expressions here. For CHA and context insensitive, they should have consistent behaviour (but actually not) as the key factor to affect their results is whether we should set theWala Setup
Version: Wala 1.6.2