uroboros-diversification/src/analysis/disassemble_validator.py
def invalid_transfer(self, instr):
        """
        Check if instruction is a branch and its target is valid
        :param instr: instruction tuple
        :return: True if invalid
        """
        is_outside = lambda d: all(map(lambda e: d < e[0] or d >= e[0] + e[1], self.text_secs))
        if isinstance(instr, Types.DoubleInstr) and Opcode_utils.is_cp(instr[0]):
            res = is_des(instr[1])
            return False if res is None else is_outside(res)
        return False

        Check if instruction is a branch and its target is valid
        :param instr: instruction tuple
        :return: True if invalid
        
Check if instruction is a branch and its target is valid
Check if instruction is a branch and its target is valid
def invalid_transfer(self, instr):
        is_outside = lambda d: all(map(lambda e: d < e[0] or d >= e[0] + e[1], self.text_secs))
        if isinstance(instr, Types.DoubleInstr) and Opcode_utils.is_cp(instr[0]):
            res = is_des(instr[1])
            return False if res is None else is_outside(res)
        return False
def invalid_transfer ( self , instr ) : is_outside = lambda d : all ( map ( lambda e : d < e [ 0 ] or d >= e [ 0 ] + e [ 1 ] , self . text_secs ) ) if isinstance ( instr , Types . DoubleInstr ) and Opcode_utils . is_cp ( instr [ 0 ] ) : res = is_des ( instr [ 1 ] ) return False if res is None else is_outside ( res ) return False
Check if instruction is a branch and its target is valid
Check if instruction is a branch and its target is valid
"""
        Check if instruction is a branch and its target is valid
        :param instr: instruction tuple
        :return: True if invalid
        """
True if invalid
True if invalid
self
instr
None