I stumbled on the idea of Program Synthesis when I was looking to solve VMProtect's Mixed-Boolean-Arithmetic (MBA) expressions in my own VMP Decompiler. I tried

I stumbled on the idea of Program Synthesis when I was looking to solve VMProtect's Mixed-Boolean-Arithmetic (MBA) expressions in my own VMP Decompiler. I tried experimenting with this project but had limited success: https://github.com/quarkslab/qsynthesis https://github.com/quarkslab/qsynthesis I have yet to try the project from Denuvo but it looks promising: https://github.com/DenuvoSoftwareSolutions/SiMBA https://github.com/DenuvoSoftwareSolutions/SiMBA If any commenter has other suggestions, would love to hear them!