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

This course teaches learners how to use logic programming to recover C++ classes and methods from compiled executables. The learning outcomes include understanding the innovative design of the system OOAnalyzer, statically recovering detailed C++ abstractions, and evaluating the results. The course covers topics such as existing research, the unique aspects of objdhikr, the design of the analyzer, the fact exporter, two types of reasoning, method classification, and addressing the semantic gap. The teaching method involves a paper presentation format. This course is intended for individuals interested in logic programming, reverse engineering, and C++ software analysis.