[TG-1931] Resolve calls to java.lang.Object functions to more specific ones#1731

Merged

mgudemann merged 5 commits intodevelopfrom

bugfix/all_resolved_calls

Feb 7, 2018

Commits on Feb 5, 2018

Re-Resolve function calls if only java.lang.Object was found.
Matthias Güdemann
committed
Adapt regression tests for virtual functions.
Matthias Güdemann
committed
Add regression test
Matthias Güdemann
committed
Add unit test
Matthias Güdemann
committed
Adapt failing unit test for value set analysis
Matthias Güdemann
committed