def test(prefix, file, rest): sj.create_and_cd_jalangi_tmp() sj.mkempty("inputs.js") sj.execute_np(sj.INSTRUMENTATION_SCRIPT+' '+prefix+file+'.js') normal = sj.execute_return_np(prefix+file+'.js '+rest, savestderr=True) ana = sj.execute_return_np(sj.ANALYSIS2_SCRIPT+' --analysis ../src/js/analyses2/ChainedAnalyses2.js --analysis ../src/js/analysis2CallbackTemplate.js '+prefix+file+'_jalangi_.js '+rest, savestderr=True) if normal != ana: print "{} failed".format(file) print normal print ana else: print "{} passed".format(file) sj.cd_parent()
import sj # scripting jalangi sample 1 sj.execute(sj.INSTRUMENTATION_SCRIPT+' tests/octane/deltablue.js') sj.execute(sj.DIRECT_SCRIPT+' --smemory --analysis src/js/analyses/objectalloc/ObjectAllocationTrackerEngineIB.js tests/octane/deltablue_jalangi_.js') # scripting jalangi sample 2 sj.create_and_cd_jalangi_tmp() sj.execute(sj.INSTRUMENTATION_SCRIPT+' ../tests/unit/instrument-test.js') normal = sj.execute_return('../tests/unit/instrument-test.js', savestderr=True) sj.mkempty("inputs.js") rec = sj.execute_return(sj.RECORD_SCRIPT+' ../tests/unit/instrument-test_jalangi_.js', savestderr=True) rep = sj.execute_return(sj.REPLAY_SCRIPT, savestderr=True) if normal != rec: print "{} failed".format('tests/unit/instrument-test.js') print normal print rec print rep elif rec != rep: print "{} failed".format('tests/unit/instrument-test.js') print normal print rec print rep else: print "{} passed".format('tests/unit/instrument-test.js') sj.cd_parent()
import sj # scripting jalangi sample 1 sj.execute(sj.INSTRUMENTATION_SCRIPT + ' tests/octane/deltablue.js') sj.execute( sj.DIRECT_SCRIPT + ' --smemory --analysis src/js/analyses/objectalloc/ObjectAllocationTrackerEngineIB.js tests/octane/deltablue_jalangi_.js' ) # scripting jalangi sample 2 sj.create_and_cd_jalangi_tmp() sj.execute(sj.INSTRUMENTATION_SCRIPT + ' ../tests/unit/instrument-test.js') normal = sj.execute_return('../tests/unit/instrument-test.js', savestderr=True) sj.mkempty("inputs.js") rec = sj.execute_return(sj.RECORD_SCRIPT + ' ../tests/unit/instrument-test_jalangi_.js', savestderr=True) rep = sj.execute_return(sj.REPLAY_SCRIPT, savestderr=True) if normal != rec: print "{} failed".format('tests/unit/instrument-test.js') print normal print rec print rep elif rec != rep: print "{} failed".format('tests/unit/instrument-test.js') print normal print rec print rep else: print "{} passed".format('tests/unit/instrument-test.js')