Testing Intermediate Representations for Binary Analysis (ASE '17) - View it on GitHub