angr_platforms/bf/lift_bf.py
def compute_result(self, *args):
        """
        '[': Skip to the matching ], IF the value pointed at by the ptr register is zero.
        The matching ] is defined by pairs of matched braces, not necessarily the next ].

        """
        ptr = self.get(PTR_REG, PTR_TYPE)
        val = self.load(ptr, CELL_TYPE)
        # NOTE: VEX doesn't support non-constant values for conditional exits.
        # What we do to avoid this is to make the default exit of this block the conditional one,
        # and make the other take us to the next instruction.  Therefore, we invert the comparison.
        # Go to the next instruction if *ptr != 0
        next_instr = self.constant(self.addr + 1, PTR_TYPE)
        self.jump(val == 0, next_instr)
        # And go to the next ] if *ptr == 0
        self.jump(None, self.jump_addr)

        '[': Skip to the matching ], IF the value pointed at by the ptr register is zero.
        The matching ] is defined by pairs of matched braces, not necessarily the next ].

        
'[': Skip to the matching ], IF the value pointed at by the ptr register is zero.
The matching ] is defined by pairs of matched braces, not necessarily the next ].
' [ ' : Skip to the matching ] IF the value pointed at by the ptr register is zero . The matching ] is defined by pairs of matched braces not necessarily the next ] .
def compute_result(self, *args):
        ptr = self.get(PTR_REG, PTR_TYPE)
        val = self.load(ptr, CELL_TYPE)
        next_instr = self.constant(self.addr + 1, PTR_TYPE)
        self.jump(val == 0, next_instr)
        self.jump(None, self.jump_addr)
def compute_result ( self , * args ) : ptr = self . get ( PTR_REG , PTR_TYPE ) val = self . load ( ptr , CELL_TYPE ) next_instr = self . constant ( self . addr + 1 , PTR_TYPE ) self . jump ( val == 0 , next_instr ) self . jump ( None , self . jump_addr )
'[': Skip to the matching ], IF the value pointed at by the ptr register is zero.
' [ ' : Skip to the matching ] IF the value pointed at by the ptr register is zero .
"""
        '[': Skip to the matching ], IF the value pointed at by the ptr register is zero.
        The matching ] is defined by pairs of matched braces, not necessarily the next ].

        """ # NOTE: VEX doesn't support non-constant values for conditional exits. # What we do to avoid this is to make the default exit of this block the conditional one, # and make the other take us to the next instruction.  Therefore, we invert the comparison. # Go to the next instruction if *ptr != 0 # And go to the next ] if *ptr == 0
self