-
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
False positive of RTA points-to analysis #1393
Comments
HI @tisble I think there may be some confusion here. The RTA algorithm does not track data flow of objects. It assumes that if it sees a |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Hi, I found a case that can help improving Wala. Please see the minimized code example below:
In this example, the concrete type of the first parameter in
foo
should only beOne
as it is only initlialized bynew One()
, but Wala providesOne
andTwo
. The second parameter has similar issue.Wala version: 1.6.4
Code
The text was updated successfully, but these errors were encountered: