def from_digraph(self, digraph):

        for n1, n2 in digraph.edges():
            addr1, stmt_idx1 = n1
            addr2, stmt_idx2 = n2

            if addr1 != addr2:
                # There is a control flow transition from SimRun `addr1` to SimRun `addr2`
                self.add_exit_to_whitelist(addr1, addr2)

            self.add_statements_to_whitelist(addr1, (stmt_idx1,))
            self.add_statements_to_whitelist(addr2, (stmt_idx2,))
Initialize this AnnotatedCFG object with a networkx.DiGraph consisting of the following
dataset/ETHPy150Open angr/angr/angr/annocfg.py/AnnotatedCFG.from_digraph