1. A method comprising: generating a high level intermediate representation of a binary, wherein the binary comprises machine executable code; building circuit nodes based on the high level intermediate representation, wherein a circuit node represents at least one operation represented by the high level intermediate representation; connecting the circuit nodes based on a flow analysis of the binary resulting in a circuit comprising the connected circuit nodes that represents the binary, wherein at least one of the circuit nodes includes a predicate input that is configured to enable and disable the at least one of the circuit nodes based on a conditional instruction of the binary; displaying the connected circuit nodes as a circuit representing the binary, wherein each circuit node is displayed as a gate, using a gate symbol, with one or more inputs and one or more outputs; and wherein the method is performed by a computer.