A двоичный рекомпилятор - это компилятор, который принимает исполняемые двоичные файлы в качестве входных данных, анализирует их структуру, применяет преобразования и оптимизации и выводит новые оптимизированные исполняемые двоичные файлы.
Основа концепций двоичная перекомпиляция была разработана Гэри Килдаллом с разработкой оптимизирующего транслятора ассемблерного кода XLT86 в 1981 году.