1import angr 2 3###################################### 4# close 5###################################### 6 7class close(angr.SimProcedure): 8 def run(self, fd): # pylint:disable=arguments-differ 9 if self.state.posix.close(fd): 10 return 0 11 else: 12 return -1 13