Scalable Validator for Binary Lifters - View it on GitHub