(self, addr: claripy.ast.Bits, condition=None)
return desc
Translate an address into a series of internal representation of addresses that can be used to address in
        individual regions.

        :param addr:
        :param is_write:
        :param convert_to_valueset:
        :param target_region:
        :return:
Translate an address into a series of internal representation of addresses that can be used to address in
        individual regions.
Translate an address into a series of internal representation of addresses that can be used to address in individual regions .
def _normalize_address(self, addr: claripy.ast.Bits, condition=None) -> AbstractAddressDescriptor:
        """
        Translate an address into a series of internal representation of addresses that can be used to address in
        individual regions.

        :param addr:
        :param is_write:
        :param convert_to_valueset:
        :param target_region:
        :return:
        """

        if type(addr) is not int:
            for constraint in self.state.solver.constraints:
                if getattr(addr, 'variables', set()) & constraint.variables:
                    addr = self._apply_condition_to_symbolic_addr(addr, constraint)

        # Apply the condition if necessary
        if condition is not None:
            addr = self._apply_condition_to_symbolic_addr(addr, condition)

        addr_with_regions = self._normalize_address_type(addr, self.state.arch.bits)

        desc = AbstractAddressDescriptor()
        for region, addr_si in addr_with_regions:
            desc.add_regioned_address(region, addr_si)
        return desc
def _normalize_address ( self , addr : claripy . ast . Bits , condition = None ) -> AbstractAddressDescriptor : if type ( addr ) is not int : for constraint in self . state . solver . constraints : if getattr ( addr , 'variables' , set ( ) ) & constraint . variables : addr = self . _apply_condition_to_symbolic_addr ( addr , constraint ) # Apply the condition if necessary if condition is not None : addr = self . _apply_condition_to_symbolic_addr ( addr , condition ) addr_with_regions = self . _normalize_address_type ( addr , self . state . arch . bits ) desc = AbstractAddressDescriptor ( ) for region , addr_si in addr_with_regions : desc . add_regioned_address ( region , addr_si ) return desc