Python compute_dominance_frontier Exemples

Exemple #1

    def generate_slithir_ssa(self, all_ssa_state_variables_instances):
        from slither.slithir.utils.ssa import add_ssa_ir, transform_slithir_vars_to_ssa
        from slither.core.dominators.utils import (
            compute_dominance_frontier,
            compute_dominators,
        )

        compute_dominators(self.nodes)
        compute_dominance_frontier(self.nodes)
        transform_slithir_vars_to_ssa(self)
        if not self.contract.is_incorrectly_constructed:
            add_ssa_ir(self, all_ssa_state_variables_instances)

Exemple #2

    def generate_slithir_ssa(self, all_ssa_state_variables_instances):
        # pylint: disable=import-outside-toplevel
        from slither.slithir.utils.ssa import add_ssa_ir, transform_slithir_vars_to_ssa
        from slither.core.dominators.utils import (
            compute_dominance_frontier,
            compute_dominators,
        )

        compute_dominators(self.nodes)
        compute_dominance_frontier(self.nodes)
        transform_slithir_vars_to_ssa(self)

        add_ssa_ir(self, all_ssa_state_variables_instances)

Exemple #3

 def generate_slithir_ssa(self, all_ssa_state_variables_instances):
     compute_dominators(self.nodes)
     compute_dominance_frontier(self.nodes)
     transform_slithir_vars_to_ssa(self)
     add_ssa_ir(self, all_ssa_state_variables_instances)