angr_platforms/bf/lift_bf.py
def compute_result(self, *args):
        """
        '.': Get the current value pointed at by the ptr register and print it to stdout
        As above, we use a Syscall / simprocedure to do this
        """
        # Putting a 1 in "inout", executes simos_bf.ReadValueAtPtr()
        self.put(self.constant(1, PTR_TYPE), INOUT_REG)
        # Go to the next instruction after, but set the Syscall jumpkind
        dst = self.constant(self.addr + 1, PTR_TYPE)
        self.jump(None, dst, jumpkind=JumpKind.Syscall)

        '.': Get the current value pointed at by the ptr register and print it to stdout
        As above, we use a Syscall / simprocedure to do this
        
'.': Get the current value pointed at by the ptr register and print it to stdout
As above, we use a Syscall / simprocedure to do this
' . ' : Get the current value pointed at by the ptr register and print it to stdout As above we use a Syscall / simprocedure to do this
def compute_result(self, *args):
        self.put(self.constant(1, PTR_TYPE), INOUT_REG)
        dst = self.constant(self.addr + 1, PTR_TYPE)
        self.jump(None, dst, jumpkind=JumpKind.Syscall)
def compute_result ( self , * args ) : self . put ( self . constant ( 1 , PTR_TYPE ) , INOUT_REG ) dst = self . constant ( self . addr + 1 , PTR_TYPE ) self . jump ( None , dst , jumpkind = JumpKind . Syscall )
'.
' .
"""
        '.': Get the current value pointed at by the ptr register and print it to stdout
        As above, we use a Syscall / simprocedure to do this
        """ # Putting a 1 in "inout", executes simos_bf.ReadValueAtPtr() # Go to the next instruction after, but set the Syscall jumpkind
self