Creating an Interprocedural Analyst-Oriented Data Flow Representation for Binary Analysts (CIAO) | AMiner