Пример #1
0
 def generate_jobs(self):
     for id in self.indexes:
         print id,self.l[id]
     base=self.count_fix_params()
     offset=self.count_va_arg_order_num()
     call_info_index=self.indexes[0]-1
     arg_pos=base+offset-1
     print arg_pos
     print self.i
     print self.l[self.i]
     self.TG.linkInnerEdges(self.i,call_info_index,self.argptr_name+"["+str(offset-1)+"]")
     taintvar=TaintVar(self.argptr_name+"["+str(offset-1)+"]",[]) #this may cause it have access pattern:'*'
     taintvar.p=[]#remove it ('*')
     return [TaintJob(call_info_index,taintvar,arg_pos)]