A binary recompiler is a computer program that takes executable binary files as input, analyzes their structure, applies transformations and optimizations, and outputs new optimized executable binaries. Binary recompilation was introduced by Gary Kildall in the 1980s.
References
Binary recompiler Wikipedia(Text) CC BY-SA