コード例 #1
0
ファイル: commands.py プロジェクト: waitingcheung/jalangi
def testrr_helper (filee, jalangi, norm_fn, record_fn, instrument_fn=instrument):
    try:
        shutil.rmtree("jalangi_tmp")
    except: pass
    os.mkdir("jalangi_tmp")
    os.mkdir("jalangi_tmp/out")
    os.putenv("JALANGI_HOME", jalangi.get_home())
    os.chdir("jalangi_tmp")
    (instrumented_f, out) = instrument_fn(os.path.join(os.pardir,filee), jalangi=jalangi)
    try:                    # Ignore failures on first iteration
        os.remove("inputs.js")
        shutil.copy("jalangi_inputs{}.js".format(i), "inputs.js")
    except:
        pass
    if not os.path.isfile("inputs.js"):
        util.mkempty("inputs.js")
    print "---- Running without instrumentation ----"
    try:
        os.remove("jalangi_trace")
    except:
        pass
    norm = norm_fn(os.path.join(os.pardir,filee + ".js"), jalangi=jalangi)
    with open("jalangi_normal", "w") as normfile:
        normfile.write(norm)
    print norm
    print "---- Recording execution of {} ----".format(filee)
    rec = record_fn(os.path.join(os.pardir,filee), instrumented_f)
    with open("jalangi_record", "w") as recfile:
        recfile.write(rec)
    print rec
    print "---- Replaying {} ----".format(filee)
    os.putenv("JALANGI_MODE", "replay")
    os.putenv("JALANGI_ANALYSIS", "none")
    rep = replay()
    with open("jalangi_replay", "w") as repfile:
        repfile.write(rep)
    print rep
    try:
	    wcl = util.count_lines("jalangi_trace")
	
	    with open("../jalangi_test_results", 'a') as f:
		f.write("# of lines in jalangi_trace for {}: {}".format(filee,str(wcl)))
		f.write("\n")
    except: pass	
    if norm != rep: #TODO: Factor out this.
        print "{}.js failed".format(filee)
        import difflib
        with open("../jalangi_test_results", 'a') as f:
            f.write("\n")
            for line in difflib.unified_diff(norm.splitlines(1), rec.splitlines(1), fromfile='normal.{}'.format(filee), tofile='replay.{}'.format(filee)):
                f.write(line)
    if rec != rep:
        print "{}.js failed".format(filee)
        import difflib
        with open("../jalangi_test_results", 'a') as f:
            f.write("\n")
            for line in difflib.unified_diff(rec.splitlines(1), rep.splitlines(1), fromfile='record.{}'.format(filee), tofile='replay.{}'.format(filee)):
                f.write(line)
        
    util.move_coverage(jalangi)
コード例 #2
0
ファイル: commands.py プロジェクト: waitingcheung/jalangi
def direct_analysis(analysis, filee, jalangi=util.DEFAULT_INSTALL):
    try:
        shutil.rmtree("jalangi_tmp")
    except: pass
    os.mkdir("jalangi_tmp")
    os.chdir("jalangi_tmp")
    #Instrument file first
    (instrumented_f,out) = instrument(filee, jalangi=jalangi)
    print "---- Analyzing {} directly ----".format(filee)
    print direct(filee, instrumented_f, jalangi, analysis=analysis)
    util.move_coverage(jalangi)
コード例 #3
0
ファイル: commands.py プロジェクト: xmorgan/jalangi
def direct_analysis(analysis, filee, jalangi=util.DEFAULT_INSTALL):
    try:
        shutil.rmtree("jalangi_tmp")
    except:
        pass
    os.mkdir("jalangi_tmp")
    os.chdir("jalangi_tmp")
    #Instrument file first
    (instrumented_f, out) = instrument(filee, jalangi=jalangi)
    print "---- Analyzing {} directly ----".format(filee)
    print direct(filee, instrumented_f, jalangi, analysis=analysis)
    util.move_coverage(jalangi)
コード例 #4
0
ファイル: commands.py プロジェクト: esbena/jalangi
def analysis(analysis, filee, jalangi=util.DEFAULT_INSTALL):
    temp_dir = mkdtemp()
    os.chdir(temp_dir)
    #Instrument file first
    (instrumented_f,out) = instrument(filee, jalangi=jalangi)
    util.mkempty("inputs.js")
    print "--- Recording execution of {} ----".format(filee)    
    print record(filee,instrumented_f)
    print "---- Replaying {} with {}----".format(filee,analysis)
    os.putenv("JALANGI_MODE", "replay")
    os.putenv("JALANGI_ANALYSIS", analysis)
    print replay(jalangi)
    util.move_coverage(jalangi)
コード例 #5
0
ファイル: commands.py プロジェクト: waitingcheung/jalangi
def concolic (filee, inputs, instrumented, line_range, jalangi=util.DEFAULT_INSTALL):
    try:
        shutil.rmtree("jalangi_tmp")
    except: pass
    os.mkdir("jalangi_tmp")
    os.mkdir("jalangi_tmp/out")
    os.putenv("JALANGI_HOME", jalangi.get_home())
    os.chdir("jalangi_tmp")
    (instrumented_f, out) = instrument(os.path.join(os.pardir,filee), jalangi=jalangi) if (instrumented == "") else (instrumented, "")
    i = 0
    iters = 0
    while i <= iters and i <= inputs:
        try: # Ignore failures on first iteration
            os.remove("inputs.js")
            shutil.copy("jalangi_inputs{}.js".format(i), "inputs.js")
        except:
            pass
        if not os.path.isfile("inputs.js"):
            util.mkempty("inputs.js")
        print "==== Input {} ====".format(i)
        print "---- Recording execution of {} ----".format(filee)
        print record(os.path.join(os.pardir,filee),instrumented_f,jalangi=jalangi)
        print "---- Replaying {} ----".format(filee)
        print replay(jalangi=jalangi,analysis=[jalangi.concolic_analysis()])
        
        print parse_stacktrace(str(iters),instrumented_f,line_range,jalangi=jalangi)
        with open(os.path.abspath(os.pardir) + '/jalangi_tmp/jalangi_stop', 'r') as myfile:
    		data=myfile.read().replace('\n', '')
    	if data == "true":
    		break

        try:
            iters = int(util.head("jalangi_tail",1)[0])
        except: pass
        i = i + 1
        
    for i in glob.glob("jalangi_inputs*"):
        print "*** Generated (jalangi_tmp/{}:1:1) for ({}.js:1:1)".format(i,filee)
    iters = iters + 1
    if iters == inputs:
        print "{}.js passed".format(filee)
        with open("../jalangi_sym_test_results", 'a') as f:
         f.write("{}.js passed\n".format(filee))
    else:
        print "{}.js failed".format(filee)
        with open("../jalangi_sym_test_results", 'a') as f:
         f.write("{}.js failed\n".format(filee))
    util.move_coverage(jalangi)
コード例 #6
0
ファイル: commands.py プロジェクト: xmorgan/jalangi
def concolic(filee, inputs, jalangi=util.DEFAULT_INSTALL):
    try:
        shutil.rmtree("jalangi_tmp")
    except:
        pass
    os.mkdir("jalangi_tmp")
    os.mkdir("jalangi_tmp/out")
    os.putenv("JALANGI_HOME", jalangi.get_home())
    os.chdir("jalangi_tmp")
    (instrumented_f, out) = instrument(os.path.join(os.pardir, filee),
                                       jalangi=jalangi)
    i = 0
    iters = 0
    while i <= iters and i <= inputs:
        try:  # Ignore failures on first iteration
            os.remove("inputs.js")
            shutil.copy("jalangi_inputs{}.js".format(i), "inputs.js")
        except:
            pass
        if not os.path.isfile("inputs.js"):
            util.mkempty("inputs.js")
        print "==== Input {} ====".format(i)
        print "---- Recording execution of {} ----".format(filee)
        print record(os.path.join(os.pardir, filee),
                     instrumented_f,
                     jalangi=jalangi)
        print "---- Replaying {} ----".format(filee)
        print replay(jalangi=jalangi, analysis=[jalangi.concolic_analysis()])

        try:
            iters = int(util.head("jalangi_tail", 1)[0])
        except:
            pass
        i = i + 1

    for i in glob.glob("jalangi_inputs*"):
        print "*** Generated (jalangi_tmp/{}:1:1) for ({}.js:1:1)".format(
            i, filee)
    iters = iters + 1
    if iters == inputs:
        print "{}.js passed".format(filee)
        with open("../jalangi_sym_test_results", 'a') as f:
            f.write("{}.js passed\n".format(filee))
    else:
        print "{}.js failed".format(filee)
        with open("../jalangi_sym_test_results", 'a') as f:
            f.write("{}.js failed\n".format(filee))
    util.move_coverage(jalangi)
コード例 #7
0
ファイル: commands.py プロジェクト: waitingcheung/jalangi
def analysis(analysis, browser_rec, filee, jalangi=util.DEFAULT_INSTALL):
    try:
        shutil.rmtree("jalangi_tmp")
    except: pass
    os.mkdir("jalangi_tmp")
    os.chdir("jalangi_tmp")
    #Instrument file first
    (instrumented_f,out) = instrument(filee, jalangi=jalangi)
    print "---- Recording execution of {} ----".format(filee)
    if browser_rec:
        selenium_browser_record(filee, instrumented_f,jalangi)
    else:
        print record(filee, instrumented_f, jalangi)
    print "---- Replaying {} ----".format(filee)
    print replay(analysis=analysis)
    util.move_coverage(jalangi)
コード例 #8
0
ファイル: commands.py プロジェクト: xmorgan/jalangi
def analysis(analysis, browser_rec, filee, jalangi=util.DEFAULT_INSTALL):
    try:
        shutil.rmtree("jalangi_tmp")
    except:
        pass
    os.mkdir("jalangi_tmp")
    os.chdir("jalangi_tmp")
    #Instrument file first
    (instrumented_f, out) = instrument(filee, jalangi=jalangi)
    print "---- Recording execution of {} ----".format(filee)
    if browser_rec:
        selenium_browser_record(filee, instrumented_f, jalangi)
    else:
        print record(filee, instrumented_f, jalangi)
    print "---- Replaying {} ----".format(filee)
    print replay(analysis=analysis)
    util.move_coverage(jalangi)
コード例 #9
0
def concolic (filee, inputs, jalangi=util.DEFAULT_INSTALL):
    try:
        shutil.rmtree("jalangi_tmp")
    except: pass
    os.mkdir("jalangi_tmp")
    os.mkdir("jalangi_tmp/out")
    os.putenv("JALANGI_HOME", jalangi.get_home())
    os.chdir("jalangi_tmp")
    (instrumented_f, out) = instrument(os.path.join(os.pardir,filee), jalangi=jalangi)
    i = 0
    iters = 0
    while i <= iters and i <= inputs:
        try: # Ignore failures on first iteration
            os.remove("inputs.js")
            shutil.copy("jalangi_inputs{}.js".format(i), "inputs.js")
        except:
            pass
        if not os.path.isfile("inputs.js"):
            util.mkempty("inputs.js")
        print "==== Input {} ====".format(i)
        print "---- Recording execution of {} ----".format(filee)
        os.putenv("JALANGI_MODE", "record")
        os.putenv("JALANGI_ANALYSIS", "none")
        util.run_node_script_std(os.path.join(os.path.dirname(os.path.join(os.pardir,filee) + ".js"),instrumented_f), jalangi=jalangi)
        print "---- Replaying {} ----".format(filee)
        os.putenv("JALANGI_MODE", "replay")
        os.putenv("JALANGI_ANALYSIS", "analyses/concolic/SymbolicEngine")
        util.run_node_script_std(jalangi.replay_script(), jalangi=jalangi)
        
        try:
            iters = int(util.head("jalangi_tail",1)[0])
        except: pass
        i = i + 1
        
    for i in glob.glob("jalangi_inputs*"):
        print "*** Generated (jalangi_tmp/{}:1:1) for ({}.js:1:1)".format(i,filee)
    iters = iters + 1
    if iters == inputs:
        print "{}.js passed".format(filee)
        with open("../jalangi_sym_test_results", 'a') as f:
         f.write("{}.js passed\n".format(filee))
    else:
        print "{}.js failed".format(filee)
        with open("../jalangi_sym_test_results", 'a') as f:
         f.write("{}.js failed\n".format(filee))
    util.move_coverage(jalangi)
コード例 #10
0
def analysis(analysis, filee, jalangi=util.DEFAULT_INSTALL):
    try:
        shutil.rmtree("jalangi_tmp")
    except: pass
    os.mkdir("jalangi_tmp")
    os.chdir("jalangi_tmp")
    #Instrument file first
    (instrumented_f,out) = instrument(filee, jalangi=jalangi)
    util.mkempty("inputs.js")
    print "---- Recording execution of {} ----".format(filee)
    os.putenv("JALANGI_MODE", "record")
    os.putenv("JALANGI_ANALYSIS", "none")
    util.run_node_script_std(os.path.join(os.path.dirname(filee + ".js"),instrumented_f), jalangi=jalangi)
    print "---- Replaying {} ----".format(filee)
    os.putenv("JALANGI_MODE", "replay")
    os.putenv("JALANGI_ANALYSIS", analysis)
    util.run_node_script_std(jalangi.replay_script(), jalangi=jalangi)
    util.move_coverage(jalangi)
コード例 #11
0
ファイル: commands.py プロジェクト: mariopeixoto/react-tgn
def concolic_tgn (filee, inputs, jalangi=util.DEFAULT_INSTALL):
    print inputs
    try:
        shutil.rmtree("jalangi_tmp")
    except: pass
    os.mkdir("jalangi_tmp")
    os.mkdir("jalangi_tmp/out")
    os.putenv("JALANGI_HOME", jalangi.get_home())
    os.chdir("jalangi_tmp")
    (instrumented_f, out) = instrument(os.path.join(os.pardir,filee), jalangi=jalangi)
    i = 0
    iters = 0
    while i <= iters and i <= inputs:
        try: # Ignore failures on first iteration
            os.remove("inputs.js")
            shutil.copy("jalangi_inputs{}.js".format(i), "inputs.js")
        except:
            pass
        if not os.path.isfile("inputs.js"):
            util.mkempty("inputs.js")
        print "==== Input {} ====".format(i)
        print "---- Recording execution of {} ----".format(filee)
        output = record(os.path.join(os.pardir,filee),instrumented_f,jalangi=jalangi)

        with open("jalangi_outputs{}.js".format(i), 'w') as output_f:
            output_f.write(output);

        print output
        print "---- Replaying {} ----".format(filee)
        print replay(jalangi=jalangi,analysis=[jalangi.concolic_analysis()])

        try:
            iters = int(util.head("jalangi_tail",1)[0])
        except: pass
        i = i + 1

    for i in glob.glob("jalangi_inputs*"):
        print "*** Generated (jalangi_tmp/{}:1:1) for ({}.js:1:1)".format(i,filee)
    iters = iters + 1
    util.move_coverage(jalangi)
コード例 #12
0
ファイル: commands.py プロジェクト: imclab/jalangi
def concolic (filee, inputs, jalangi=util.DEFAULT_INSTALL):
    try:
        shutil.rmtree("jalangi_tmp")
    except: pass
    os.mkdir("jalangi_tmp")
    os.mkdir("jalangi_tmp/out")
    os.putenv("JALANGI_HOME", jalangi.get_home())
    os.chdir("jalangi_tmp")
    (instrumented_f, out) = instrument(os.path.join(os.pardir,filee), jalangi=jalangi)
    i = 0
    iters = 0
    mismatch = False
    while i <= iters and i <= inputs:
        try:                    # Ignore failures on first iteration
            os.remove("inputs.js")
            shutil.copy("jalangi_inputs{}.js".format(i), "inputs.js")
        except:
            pass
        if not os.path.isfile("inputs.js"):
            util.mkempty("inputs.js")
        print "==== Input {} ====".format(i)
        print "---- Runing without instrumentation ----"
        try:
            os.remove("jalangi_trace")
        except:
            pass
        norm = util.run_node_script(os.path.join(os.pardir,filee + ".js"), jalangi=jalangi, savestderr=True)
        #(open("jalangi_normal", "w")).write(norm)
        print "---- Recording execution of {} ----".format(filee)
        rec = record(os.path.join(os.pardir,filee), instrumented_f)
        print "---- Replaying {} ----".format(filee)
        os.putenv("JALANGI_MODE", "replay")
        os.putenv("JALANGI_ANALYSIS", "analyses/concolic/SymbolicEngine")
        rep = replay()
        (open("jalangi_replay", "w")).write(rep)
        print rep
	try:
		wcl = util.count_lines("jalangi_trace")
	
		with open("../jalangi_test_results", 'a') as f:
		    f.write("# of lines in jalangi_trace for {}: {}".format(filee,str(wcl)))
		    f.write("\n")
	except: pass	
        if norm != rep: #TODO: Factor out this.
            import difflib
            with open("../jalangi_test_results", 'a') as f:
                f.write("\n")
                for line in difflib.unified_diff(norm.splitlines(1), rec.splitlines(1), fromfile='normal.{}'.format(filee), tofile='replay.{}'.format(filee)):
                    f.write(line)
        if rec != rep:
            import difflib
            with open("../jalangi_test_results", 'a') as f:
                f.write("\n")
                for line in difflib.unified_diff(rec.splitlines(1), rep.splitlines(1), fromfile='replay.{}'.format(filee), tofile='record.{}'.format(filee)):
                    f.write(line)
	
        try:
            iters = int(util.head("jalangi_tail",1)[0])
        except: pass
        i = i + 1
        
    for i in glob.glob("jalangi_inputs*"):
        print "*** Generated ({}:1:1) for ({}.js:1:1)".format(os.path.abspath(i),filee)
    iters = iters + 1
    if iters == inputs:
        print "{}.js passed".format(filee)
    else:
        print "{}.js failed".format(filee)
    util.move_coverage(jalangi)
コード例 #13
0
ファイル: commands.py プロジェクト: xmorgan/jalangi
def testrr_helper(filee,
                  jalangi,
                  norm_fn,
                  record_fn,
                  instrument_fn=instrument):
    try:
        shutil.rmtree("jalangi_tmp")
    except:
        pass
    os.mkdir("jalangi_tmp")
    os.mkdir("jalangi_tmp/out")
    os.putenv("JALANGI_HOME", jalangi.get_home())
    os.chdir("jalangi_tmp")
    (instrumented_f, out) = instrument_fn(os.path.join(os.pardir, filee),
                                          jalangi=jalangi)
    try:  # Ignore failures on first iteration
        os.remove("inputs.js")
        shutil.copy("jalangi_inputs{}.js".format(i), "inputs.js")
    except:
        pass
    if not os.path.isfile("inputs.js"):
        util.mkempty("inputs.js")
    print "---- Running without instrumentation ----"
    try:
        os.remove("jalangi_trace")
    except:
        pass
    norm = norm_fn(os.path.join(os.pardir, filee + ".js"), jalangi=jalangi)
    with open("jalangi_normal", "w") as normfile:
        normfile.write(norm)
    print norm
    print "---- Recording execution of {} ----".format(filee)
    rec = record_fn(os.path.join(os.pardir, filee), instrumented_f)
    with open("jalangi_record", "w") as recfile:
        recfile.write(rec)
    print rec
    print "---- Replaying {} ----".format(filee)
    os.putenv("JALANGI_MODE", "replay")
    os.putenv("JALANGI_ANALYSIS", "none")
    rep = replay()
    with open("jalangi_replay", "w") as repfile:
        repfile.write(rep)
    print rep
    try:
        wcl = util.count_lines("jalangi_trace")

        with open("../jalangi_test_results", 'a') as f:
            f.write("# of lines in jalangi_trace for {}: {}".format(
                filee, str(wcl)))
            f.write("\n")
    except:
        pass
    if norm != rep:  #TODO: Factor out this.
        print "{}.js failed".format(filee)
        import difflib
        with open("../jalangi_test_results", 'a') as f:
            f.write("\n")
            for line in difflib.unified_diff(
                    norm.splitlines(1),
                    rec.splitlines(1),
                    fromfile='normal.{}'.format(filee),
                    tofile='replay.{}'.format(filee)):
                f.write(line)
    if rec != rep:
        print "{}.js failed".format(filee)
        import difflib
        with open("../jalangi_test_results", 'a') as f:
            f.write("\n")
            for line in difflib.unified_diff(
                    rec.splitlines(1),
                    rep.splitlines(1),
                    fromfile='record.{}'.format(filee),
                    tofile='replay.{}'.format(filee)):
                f.write(line)

    util.move_coverage(jalangi)