Using Logic Programming to Recover C++ Classes and Methods from Compiled Executables

Explore an innovative system called OOAnalyzer that statically recovers detailed C++ abstractions from compiled executables in a scalable manner. This 27-minute conference talk, presented at the Association for Computing Machinery (ACM), delves into the unique design and functionality of OOAnalyzer. Learn about existing research in the field, the system's distinctive features, and its two-pronged approach to reasoning. Examine the evaluation process, results, and method classification. Discuss the semantic gap in reverse engineering and participate in a Q&A session to deepen your understanding of this cutting-edge tool for recovering C++ classes and methods from executables.

Introduction
Existing research
What makesobjdhikr unique
The design of analyzer
The fact exporter
Two types of reasoning
Evaluation
Results
Method Classification
Conclusion
Semantic Gap
QA