Create dfg from x86 binary

[sdasgup3]

• Build the pldi19-equivalence-checker
• Write the reaching definition analysis

[sdasgup3]

Options

1. Creating a parser for the binary code (using IDA) + decode the instruction (using mcsema's port of XED).
   This will not work for binaries parsed and decoded with other tools like different disassembler than IDA and decoder.

2. Parse the binary using K semantics and build the dfg on top of KAST.
   Pros: We can have both the dfgs for llvm and x86 build on top of KAST.
   Cons: Working on KAST might not be easy.

3. Write a K module which parses the assembly code and writes rules to create a dfg. At the end dump the dfg in some structured format.