Reducing trust base in the normalizer
sdasgup3 opened this issue · comments
It seems like an orthogonal problem to prove the correctness of the compiler passes and we do not want to spend time on it right away.
sdasgup3 / validating-binary-decompilation
Scalable Validator for Binary Lifters