Tool: symbol-based program equivalence checker - Githubissues

em-eight / ppc2cpp

A PowerPC 32-bit reverse engineering tool

MIT License

12 stars 3 forks source link

Tool: symbol-based program equivalence checker #15

Closed em-eight closed 1 year ago

em-eight commented 1 year ago

Functionality

A tool for matching decompilation project that compares two programs using ProgramComparator::comparePrograms

Decomp project workflow

Initially, a new ppc2cpp project is created from the original binaries (e.g. like in here)
Optionally adjust/reconstruct symbols and relocations from external analysis (e.g. ppcdis)
After each build, create another ppc2cpp project using the freshly compiled ELF binaries and compare it with the original program using ProgramComparator::comparePrograms

TODO:

[x] #13 So that original binary loading and analysis don't need to be repeated every time
[x] #14
[x] Interfaces for steps 1, 2 and 3 that are easy to use for downstream decomp projects. Currently considering statically/dynamically linked CLIs in C++ or python bindings