Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties
chubbymaggie / explorer Goto Github PK
View Code? Open in Web Editor NEWThis project forked from fredfeng/explorer
Resolving virtual calls in a scalable and precise way
License: GNU General Public License v2.0