(self, exit_code)
Add an exit representing terminating the program.
Add an exit representing terminating the program.
Add an exit representing terminating the program .
def exit(self, exit_code):
        """
        Add an exit representing terminating the program.
        """
        self.inhibit_autoret = True
        self.state.options.discard(o.AST_DEPS)
        self.state.options.discard(o.AUTO_REFS)

        if isinstance(exit_code, int):
            exit_code = self.state.solver.BVV(exit_code, self.state.arch.bits)
        self.state.history.add_event('terminate', exit_code=exit_code)
        self.successors.add_successor(self.state, self.state.regs.ip, self.state.solver.true, 'Ijk_Exit')
def exit ( self , exit_code ) : self . inhibit_autoret = True self . state . options . discard ( o . AST_DEPS ) self . state . options . discard ( o . AUTO_REFS ) if isinstance ( exit_code , int ) : exit_code = self . state . solver . BVV ( exit_code , self . state . arch . bits ) self . state . history . add_event ( 'terminate' , exit_code = exit_code ) self . successors . add_successor ( self . state , self . state . regs . ip , self . state . solver . true , 'Ijk_Exit' )