angr 9.2.116__py3-none-manylinux2014_x86_64.whl → 9.2.118__py3-none-manylinux2014_x86_64.whl

angr/analyses/decompiler/decompilation_cache.py

@@ -1,3 +1,4 @@
+from __future__ import annotations
 from typing import Any, TYPE_CHECKING
 
 from .clinic import Clinic
@@ -31,7 +32,7 @@ class DecompilationCache:
         self.codegen: BaseStructuredCodeGenerator | None = None
         self.clinic: Clinic | None = None
         self.ite_exprs: set[tuple[int, Any]] | None = None
-        self.binop_operators: dict["OpDescriptor", str] | None = None
+        self.binop_operators: dict[OpDescriptor, str] | None = None
 
     @property
     def local_types(self):

angr/analyses/decompiler/decompilation_options.py

@@ -1,4 +1,5 @@
 # decompilation options
+from __future__ import annotations
 from collections.abc import Callable
 from collections import defaultdict
 

angr/analyses/decompiler/decompiler.py

@@ -1,4 +1,5 @@
 # pylint:disable=unused-import
+from __future__ import annotations
 import logging
 from collections import defaultdict
 from typing import Optional, Union, Any, TYPE_CHECKING
@@ -24,11 +25,11 @@ from .decompilation_options import DecompilationOption
 from .decompilation_cache import DecompilationCache
 from .utils import remove_labels
 from .sequence_walker import SequenceWalker
+from .structuring.structurer_nodes import SequenceNode
 
 if TYPE_CHECKING:
     from angr.knowledge_plugins.cfg.cfg_model import CFGModel
     from .peephole_optimizations import PeepholeOptimizationExprBase, PeepholeOptimizationStmtBase
-    from .structuring.structurer_nodes import SequenceNode
     from .structured_codegen.c import CStructuredCodeGenerator
 
 l = logging.getLogger(name=__name__)
@@ -49,7 +50,7 @@ class Decompiler(Analysis):
     def __init__(
         self,
         func: Function | str | int,
-        cfg: Union["CFGFast", "CFGModel"] | None = None,
+        cfg: CFGFast | CFGModel | None = None,
         options=None,
         optimization_passes=None,
         sp_tracker_track_memory=True,
@@ -92,16 +93,18 @@ class Decompiler(Analysis):
         self._inline_functions = inline_functions
 
         self.clinic = None  # mostly for debugging purposes
-        self.codegen: Optional["CStructuredCodeGenerator"] = None
+        self.codegen: CStructuredCodeGenerator | None = None
         self.cache: DecompilationCache | None = None
         self.options_by_class = None
-        self.seq_node: Optional["SequenceNode"] = None
+        self.seq_node: SequenceNode | None = None
         self.unoptimized_ail_graph: networkx.DiGraph | None = None
         self.ail_graph: networkx.DiGraph | None = None
+        self.vvar_id_start = None
 
         if decompile:
             self._decompile()
 
+    @timethis
     def _decompile(self):
         if self.func.is_simprocedure:
             return
@@ -130,10 +133,9 @@ class Decompiler(Analysis):
         self._update_progress(5.0, text="Converting to AIL")
 
         variable_kb = self._variable_kb
-        if variable_kb is None:
-            # fall back to old codegen
-            if old_codegen is not None:
-                variable_kb = old_codegen._variable_kb
+        # fall back to old codegen
+        if variable_kb is None and old_codegen is not None:
+            variable_kb = old_codegen._variable_kb
 
         if variable_kb is None:
             reset_variable_names = True
@@ -188,6 +190,7 @@ class Decompiler(Analysis):
         self.cache = cache
         self._variable_kb = clinic.variable_kb
         self._update_progress(70.0, text="Identifying regions")
+        self.vvar_id_start = clinic.vvar_id_start
 
         if clinic.graph is None:
             # the function is empty
@@ -220,6 +223,10 @@ class Decompiler(Analysis):
             ite_exprs=ite_exprs,
         )
 
+        # Rewrite the graph to remove phi expressions
+        # this is probably optional if we do not pretty-print clinic.graph
+        clinic.graph = self._transform_graph_from_ssa(clinic.graph)
+
         # save the graph before structuring happens (for AIL view)
         clinic.cc_graph = remove_labels(clinic.copy_graph())
 
@@ -251,6 +258,10 @@ class Decompiler(Analysis):
             seq_node = self._run_post_structuring_simplification_passes(
                 seq_node, binop_operators=cache.binop_operators, goto_manager=s.goto_manager, graph=clinic.graph
             )
+
+            # rewrite the sequence node to remove phi expressions
+            seq_node = self._transform_seqnode_from_ssa(seq_node)
+
             # update memory data
             if self._cfg is not None and self._update_memory_data:
                 self.find_data_references_and_update_memory_data(seq_node)
@@ -297,7 +308,7 @@ class Decompiler(Analysis):
         Runs optimizations that should be executed before region identification.
 
         :param ail_graph:   DiGraph with AIL Statements
-        :param reaching_defenitions: ReachingDefenitionAnalysis
+        :param reaching_definitions: ReachingDefinitionAnalysis
         :return:            The possibly new AIL DiGraph and RegionIdentifier
         """
         addr_and_idx_to_blocks: dict[tuple[int, int | None], ailment.Block] = {}
@@ -315,14 +326,13 @@ class Decompiler(Analysis):
             # only for post region id opts
             if pass_.STAGE != OptimizationPassStage.BEFORE_REGION_IDENTIFICATION:
                 continue
-            if pass_.STRUCTURING:
-                if self._recursive_structurer_params["structurer_cls"].NAME not in pass_.STRUCTURING:
-                    l.warning(
-                        "Skipping %s because it does not support structuring algorithm: %s",
-                        pass_,
-                        self._recursive_structurer_params["structurer_cls"].NAME,
-                    )
-                    continue
+            if pass_.STRUCTURING and self._recursive_structurer_params["structurer_cls"].NAME not in pass_.STRUCTURING:
+                l.warning(
+                    "Skipping %s because it does not support structuring algorithm: %s",
+                    pass_,
+                    self._recursive_structurer_params["structurer_cls"].NAME,
+                )
+                continue
 
             a = pass_(
                 self.func,
@@ -353,7 +363,7 @@ class Decompiler(Analysis):
 
         :param ail_graph:   DiGraph with AIL Statements
         :param ri:          RegionIdentifier
-        :param reaching_defenitions: ReachingDefenitionAnalysis
+        :param reaching_definitions: ReachingDefinitionAnalysis
         :return:            The possibly new AIL DiGraph and RegionIdentifier
         """
         addr_and_idx_to_blocks: dict[tuple[int, int | None], ailment.Block] = {}
@@ -371,14 +381,13 @@ class Decompiler(Analysis):
             # only for post region id opts
             if pass_.STAGE != OptimizationPassStage.DURING_REGION_IDENTIFICATION:
                 continue
-            if pass_.STRUCTURING:
-                if self._recursive_structurer_params["structurer_cls"].NAME not in pass_.STRUCTURING:
-                    l.warning(
-                        "Skipping %s because it does not support structuring algorithm: %s",
-                        pass_,
-                        self._recursive_structurer_params["structurer_cls"].NAME,
-                    )
-                    continue
+            if pass_.STRUCTURING and self._recursive_structurer_params["structurer_cls"].NAME not in pass_.STRUCTURING:
+                l.warning(
+                    "Skipping %s because it does not support structuring algorithm: %s",
+                    pass_,
+                    self._recursive_structurer_params["structurer_cls"].NAME,
+                )
+                continue
 
             a = pass_(
                 self.func,
@@ -388,6 +397,7 @@ class Decompiler(Analysis):
                 variable_kb=self._variable_kb,
                 region_identifier=ri,
                 reaching_definitions=reaching_definitions,
+                vvar_id_start=self.vvar_id_start,
                 **kwargs,
             )
 
@@ -405,6 +415,8 @@ class Decompiler(Analysis):
                 # always update RI on graph change
                 ri = self._recover_regions(ail_graph, cond_proc, update_graph=False)
 
+                self.vvar_id_start = a.vvar_id_start
+
         return ail_graph, self._recover_regions(ail_graph, ConditionProcessor(self.project.arch), update_graph=True)
 
     @timethis
@@ -499,7 +511,7 @@ class Decompiler(Analysis):
 
         return codegen
 
-    def find_data_references_and_update_memory_data(self, seq_node: "SequenceNode"):
+    def find_data_references_and_update_memory_data(self, seq_node: SequenceNode):
         const_values: set[int] = set()
 
         def _handle_Const(expr_idx: int, expr: ailment.Expr.Const, *args, **kwargs):  # pylint:disable=unused-argument
@@ -534,6 +546,14 @@ class Decompiler(Analysis):
             memory_data_addrs=added_memory_data_addrs,
         )
 
+    def _transform_graph_from_ssa(self, ail_graph: networkx.DiGraph) -> networkx.DiGraph:
+        dephication = self.project.analyses.GraphDephication(self.func, ail_graph, rewrite=True)
+        return dephication.output
+
+    def _transform_seqnode_from_ssa(self, seq_node: SequenceNode) -> SequenceNode:
+        dephication = self.project.analyses.SeqNodeDephication(self.func, seq_node, rewrite=True)
+        return dephication.output
+
     @staticmethod
     def options_to_params(options: list[tuple[DecompilationOption, Any]]) -> dict[str, Any]:
         """

angr/analyses/decompiler/dephication/__init__.py

@@ -0,0 +1,6 @@
+from __future__ import annotations
+from .graph_vvar_mapping import GraphDephicationVVarMapping
+from .graph_dephication import GraphDephication
+from .seqnode_dephication import SeqNodeDephication
+
+__all__ = ["GraphDephicationVVarMapping", "GraphDephication", "SeqNodeDephication"]

angr/analyses/decompiler/dephication/dephication_base.py

@@ -0,0 +1,87 @@
+from __future__ import annotations
+from typing import Any
+import logging
+from collections import defaultdict
+
+from angr.analyses import Analysis
+
+l = logging.getLogger(name=__name__)
+
+
+class DephicationBase(Analysis):
+    """
+    This is the base class for analyses that removes phi expressions from AIL graphs, SequenceNodes, and other types of
+    AIL statement containers.
+    """
+
+    def __init__(self, func, vvar_to_vvar_mapping: dict[int, int] | None = None, rewrite: bool = False):
+        if isinstance(func, str):
+            self._function = self.kb.functions[func]
+        else:
+            self._function = func
+
+        self.vvar_to_vvar_mapping = vvar_to_vvar_mapping if vvar_to_vvar_mapping is not None else None
+        self.rewrite = rewrite
+        self.output = None
+
+    def _analyze(self):
+        if self.vvar_to_vvar_mapping is None:
+            self.vvar_to_vvar_mapping = self._collect_and_remap()
+
+        if self.rewrite:
+            self.output = self._rewrite_container()
+
+    def _collect_and_remap(self) -> dict[int, int]:
+        # collect phi assignments
+        phi_to_srcvarid = self._collect_phi_assignments()
+
+        vvar_to_vvar = {}  # a mapping between vvar IDs to phi vvar IDs when applicable
+        vvar_to_phivarids = defaultdict(set)
+        for phi_varid, varids in phi_to_srcvarid.items():
+            for varid in varids:
+                vvar_to_phivarids[varid].add(phi_varid)
+
+        # iterate until fixed point
+        while True:
+            changed = False
+            for varid in list(vvar_to_phivarids):
+                phivarids = vvar_to_phivarids[varid]
+                new = phivarids.copy()
+                for vv in phivarids:
+                    if vv in vvar_to_phivarids:
+                        new |= vvar_to_phivarids[vv]
+                if new != phivarids:
+                    changed = True
+                    vvar_to_phivarids[varid] = new
+
+            if not changed:
+                break
+
+        # unify those that are mapped to multiple phi variables
+        phivarid_to_phivarid = {}
+        for phivarids in vvar_to_phivarids.values():
+            if len(phivarids) > 1:
+                min_phivarid = min(phivarids)
+                # remap the existing ones first
+                for phivarid, mapped_to in list(phivarid_to_phivarid.items()):
+                    if phivarid in phivarids:
+                        continue
+                    if mapped_to in phivarids:
+                        phivarid_to_phivarid[phivarid] = min_phivarid
+                # map the new ones
+                for phivarid in phivarids:
+                    phivarid_to_phivarid[phivarid] = min_phivarid
+
+        # fill in vvar_to_vvar mapping
+        for phi_varid, varids in phi_to_srcvarid.items():
+            mapped_phivarid = phivarid_to_phivarid.get(phi_varid, phi_varid)
+            for varid in varids:
+                vvar_to_vvar[varid] = mapped_phivarid
+
+        return vvar_to_vvar
+
+    def _collect_phi_assignments(self) -> dict[int, set[int]]:
+        raise NotImplementedError
+
+    def _rewrite_container(self) -> Any:
+        raise NotImplementedError

angr/analyses/decompiler/dephication/graph_dephication.py

@@ -0,0 +1,63 @@
+from __future__ import annotations
+import logging
+from collections import defaultdict
+
+import networkx
+
+from ailment.expression import Phi, VirtualVariable
+from ailment.statement import Assignment
+
+from angr.knowledge_plugins.functions import Function
+from angr.analyses import register_analysis
+from .graph_rewriting import GraphRewritingAnalysis
+from .dephication_base import DephicationBase
+
+l = logging.getLogger(name=__name__)
+
+
+class GraphDephication(DephicationBase):  # pylint:disable=abstract-method
+    """
+    GraphDephication removes phi expressions from an AIL graph, essentially transforms a partial-SSA form of AIL graph
+    to a normal AIL graph.
+    """
+
+    def __init__(
+        self,
+        func: Function | str,
+        ail_graph,
+        vvar_to_vvar_mapping: dict[int, int] | None = None,
+        rewrite: bool = False,
+    ):
+        """
+        :param func:                            The subject of the analysis: a function, or a single basic block
+        :param ail_graph:                       The AIL graph to transform.
+        """
+
+        self._graph = ail_graph
+
+        super().__init__(func, vvar_to_vvar_mapping=vvar_to_vvar_mapping, rewrite=rewrite)
+
+        self._analyze()
+
+    def _collect_phi_assignments(self) -> dict[int, set[int]]:
+        g = self._graph
+        phi_to_src = defaultdict(set)
+
+        for block in g:
+            for stmt in block.statements:
+                if isinstance(stmt, Assignment) and isinstance(stmt.dst, VirtualVariable) and isinstance(stmt.src, Phi):
+                    for _, vvar in stmt.src.src_and_vvars:
+                        if vvar is None:
+                            l.debug("Invalid vvar None found in %r.src.src_and_vvars.", stmt)
+                        else:
+                            phi_to_src[stmt.dst.varid].add(vvar.varid)
+
+        return phi_to_src
+
+    def _rewrite_container(self) -> networkx.DiGraph:
+        # replace all vvars with phi variables in the graph
+        rewriter = GraphRewritingAnalysis(self.project, self._function, self._graph, self.vvar_to_vvar_mapping)
+        return rewriter.out_graph
+
+
+register_analysis(GraphDephication, "GraphDephication")

angr/analyses/decompiler/dephication/graph_rewriting.py

@@ -0,0 +1,116 @@
+from __future__ import annotations
+from typing import Any
+import logging
+
+import networkx
+
+import ailment
+
+from angr.utils.ail import is_phi_assignment
+from angr.analyses import ForwardAnalysis
+from angr.analyses.forward_analysis.visitors.graph import NodeType
+from angr.analyses.forward_analysis import FunctionGraphVisitor
+from .rewriting_engine import SimEngineDephiRewriting
+
+
+l = logging.getLogger(__name__)
+
+
+class GraphRewritingAnalysis(ForwardAnalysis[None, NodeType, object, object]):
+    """
+    This analysis traverses the AIL graph and rewrites virtual variables accordingly.
+    """
+
+    def __init__(
+        self,
+        project,
+        func,
+        ail_graph,
+        vvar_to_vvar: dict[int, int],
+    ):
+        self.project = project
+        self._function = func
+        self._graph_visitor = FunctionGraphVisitor(self._function, ail_graph)
+
+        ForwardAnalysis.__init__(
+            self, order_jobs=False, allow_merging=False, allow_widening=False, graph_visitor=self._graph_visitor
+        )
+        self._graph = ail_graph
+        self._vvar_to_vvar = vvar_to_vvar
+        self._engine_ail = SimEngineDephiRewriting(self.project.arch, self._vvar_to_vvar)
+
+        self._visited_blocks: set[Any] = set()
+        self.out_blocks = {}
+
+        self._analyze()
+
+        # remove phi statements
+        # modifying blocks inline should be fine here - no one has ever used these blocks
+        for block in self.out_blocks.values():
+            block.statements = [stmt for stmt in block.statements if not is_phi_assignment(stmt)]
+
+        self.out_graph = self._make_new_graph(ail_graph)
+
+    def _make_new_graph(self, old_graph: networkx.DiGraph) -> networkx.DiGraph:
+        new_graph = networkx.DiGraph()
+        for node in old_graph:
+            new_graph.add_node(self.out_blocks.get((node.addr, node.idx), node))
+
+        for src, dst in old_graph.edges:
+            new_graph.add_edge(
+                self.out_blocks.get((src.addr, src.idx), src), self.out_blocks.get((dst.addr, dst.idx), dst)
+            )
+
+        return new_graph
+
+    #
+    # Main analysis routines
+    #
+
+    def _pre_analysis(self):
+        pass
+
+    def _initial_abstract_state(self, node) -> None:
+        return None
+
+    def _run_on_node(self, node, state: None):
+        """
+
+        :param node:    The current node.
+        :param state:   The analysis state.
+        :return:        A tuple: (any changes occur, successor state)
+        """
+
+        if isinstance(node, ailment.Block):
+            block = node
+            block_key = (node.addr, node.idx)
+            engine = self._engine_ail
+        else:
+            l.warning("Unsupported node type %s.", node.__class__)
+            return False, None
+
+        if block_key in self._visited_blocks:
+            return False, None
+
+        engine: SimEngineDephiRewriting
+        engine.out_block = None
+        engine.process(None, block=block)
+
+        self._visited_blocks.add(block_key)
+
+        if engine.out_block is not None:
+            assert engine.out_block.addr == block.addr
+
+            if self.out_blocks.get(block_key, None) == engine.out_block:
+                return True, None
+            self.out_blocks[block_key] = engine.out_block
+            engine.out_block = None
+            return True, None
+
+        return True, None
+
+    def _intra_analysis(self):
+        pass
+
+    def _post_analysis(self):
+        pass