Avoid removal of virtual method calls from call graph when applying method overrides - #84

Avoid removal of virtual method calls from call graph when applying method overrides#84

linuswagner wants to merge 1 commit into

mainusethesource/clair:mainfrom

83-underapproximation-in-closeoverriddenvirtualcallsusethesource/clair:83-underapproximation-in-closeoverriddenvirtualcallsCopy head branch name to clipboard