Fast, Fine-Grained Equivalence Checking for Neural Decompilers

Luke Dramko, Claire Le Goues, Edward J. Schwartz

Neural decompilers are machine learning models that reconstruct the source code from an executable program. Critical to the lifecycle of any machine learning model is an evaluation…