The Pharos Framework: Binary Static Analysis of Object-Oriented Codeinsights.sei.cmu.edu4 pointsheidibrayer11 years ago