(self, *jobs)
return new_job
:param iterable jobs:
        :return:
def _widen_jobs(self, *jobs):
        """

        :param iterable jobs:
        :return:
        """

        job_0, job_1 = jobs[-2:]  # type: VFGJob

        # update jobs
        for job in jobs:
            if job in self._top_function_analysis_task.jobs:
                self._top_function_analysis_task.jobs.remove(job)

        l.debug("Widening %s", job_1)

        new_state, _ = self._widen_states(job_0.state, job_1.state)
        # print "job_0.state.eax =", job_0.state.regs.eax._model_vsa, "job_1.state.eax =", job_1.state.regs.eax._model_vsa
        # print "new_job.state.eax =", new_state.regs.eax._model_vsa

        new_job = VFGJob(jobs[0].addr, new_state, self._context_sensitivity_level, jumpkind=jobs[0].jumpkind,
                         block_id=jobs[0].block_id, call_stack=jobs[0].call_stack, src_block_id=jobs[0].src_block_id,
                         src_exit_stmt_idx=jobs[0].src_exit_stmt_idx, src_ins_addr=jobs[0].src_ins_addr,
                         )
        self._top_function_analysis_task.jobs.append(new_job)

        return new_job
def _widen_jobs ( self , * jobs ) : job_0 , job_1 = jobs [ - 2 : ] # type: VFGJob # update jobs for job in jobs : if job in self . _top_function_analysis_task . jobs : self . _top_function_analysis_task . jobs . remove ( job ) l . debug ( "Widening %s" , job_1 ) new_state , _ = self . _widen_states ( job_0 . state , job_1 . state ) # print "job_0.state.eax =", job_0.state.regs.eax._model_vsa, "job_1.state.eax =", job_1.state.regs.eax._model_vsa # print "new_job.state.eax =", new_state.regs.eax._model_vsa new_job = VFGJob ( jobs [ 0 ] . addr , new_state , self . _context_sensitivity_level , jumpkind = jobs [ 0 ] . jumpkind , block_id = jobs [ 0 ] . block_id , call_stack = jobs [ 0 ] . call_stack , src_block_id = jobs [ 0 ] . src_block_id , src_exit_stmt_idx = jobs [ 0 ] . src_exit_stmt_idx , src_ins_addr = jobs [ 0 ] . src_ins_addr , ) self . _top_function_analysis_task . jobs . append ( new_job ) return new_job