miasm
Reverse engineering framework
miasm.analysis.data_flow.DiGraphLivenessIRA Class Reference
Inheritance diagram for miasm.analysis.data_flow.DiGraphLivenessIRA:
Collaboration diagram for miasm.analysis.data_flow.DiGraphLivenessIRA:

Public Member Functions

def init_var_info (self, ir_arch_a)
 
- Public Member Functions inherited from miasm.analysis.data_flow.DiGraphLiveness
def __init__ (self, ircfg)
 
def blocks (self)
 
def init_var_info (self)
 
def node2lines (self, node)
 
def back_propagate_compute (self, block)
 
def back_propagate_to_parent (self, todo, node, parent)
 
def compute_liveness (self)
 
- Public Member Functions inherited from miasm.core.graph.DiGraph
def __init__ (self)
 
def __repr__ (self)
 
def nodes (self)
 
def edges (self)
 
def merge (self, graph)
 
def __add__ (self, graph)
 
def copy (self)
 
def __eq__ (self, graph)
 
def __ne__ (self, other)
 
def add_node (self, node)
 
def del_node (self, node)
 
def add_edge (self, src, dst)
 
def add_uniq_edge (self, src, dst)
 
def del_edge (self, src, dst)
 
def discard_edge (self, src, dst)
 
def predecessors_iter (self, node)
 
def predecessors (self, node)
 
def successors_iter (self, node)
 
def successors (self, node)
 
def leaves_iter (self)
 
def leaves (self)
 
def heads_iter (self)
 
def heads (self)
 
def find_path (self, src, dst, cycles_count=0, done=None)
 
def find_path_from_src (self, src, dst, cycles_count=0, done=None)
 
def nodeid (self, node)
 
def node_attr (self, node)
 
def edge_attr (self, src, dst)
 
def dot (self)
 
def predecessors_stop_node_iter (self, node, head)
 
def reachable_sons (self, head)
 
def reachable_parents (self, leaf)
 
def reachable_parents_stop_node (self, leaf, head)
 
def compute_dominators (self, head)
 
def compute_postdominators (self, leaf)
 
def compute_dominator_tree (self, head)
 
def walk_dominators (self, node, dominators)
 
def walk_postdominators (self, node, postdominators)
 
def compute_immediate_dominators (self, head)
 
def compute_immediate_postdominators (self, tail)
 
def compute_dominance_frontier (self, head)
 
def walk_breadth_first_forward (self, head)
 
def walk_depth_first_forward (self, head)
 
def walk_breadth_first_backward (self, head)
 
def walk_depth_first_backward (self, head)
 
def has_loop (self)
 
def compute_natural_loops (self, head)
 
def compute_back_edges (self, head)
 
def compute_strongly_connected_components (self)
 
def compute_weakly_connected_components (self)
 
def replace_node (self, node, new_node)
 

Additional Inherited Members

- Public Attributes inherited from miasm.analysis.data_flow.DiGraphLiveness
 ircfg
 
 loc_db
 
- Static Public Attributes inherited from miasm.core.graph.DiGraph
 DotCellDescription
 

Detailed Description

DiGraph representing variable liveness for IRA

Member Function Documentation

◆ init_var_info()

def miasm.analysis.data_flow.DiGraphLivenessIRA.init_var_info (   self,
  ir_arch_a 
)
Add ircfg out regs
Here is the call graph for this function:

The documentation for this class was generated from the following file: