Open karlls12321 opened 3 months ago
It is really weird that RTA has an edge and CHA does not have an edge, since RTA works like CHA but filters the results, so everything RTA finds should be in CHA. I will investigate why there is no edge in CHA
added bugfix in PR #936 Could not be reproduced or is already fixed
I used SootUp to construct call graphs for my project, and found a bug in CHA algorithms.
A.java
B.java
In the above code examples, RTA call graph includes an edge from
B.main
toA.close
that is reasonable, but CHA does not have. I think CHA should provide a more sound analysis results.This edge seems related to callback process of SootUp as no type hierarchy and new expressions here to guide the above two algorithms.
SootUp version: 1.1.2
Configuration