-
Notifications
You must be signed in to change notification settings - Fork 220
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Unexpected results in call graph constuction #1386
Comments
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 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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
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 the method as default.Wala Setup
Version: Wala 1.6.2
The text was updated successfully, but these errors were encountered: