Faultless: A Program Equivalence Technique for Validating and Evaluating Neural Decompilers

Luke Dramko, Claire Le Goues, Edward Schwartz

Neural decompilers are machine learning models which perform the process of decompilation, lifting code from a lower-level language to a higher one. Neural decompilers offer substa…