def testDlint(file): sj.create_and_cd_jalangi_tmp() sj.execute_np(sj.INSTRUMENTATION_SCRIPT + ' --inlineIID --inlineSource ../' + file + '.js') out = sj.execute(sj.ANALYSIS_SCRIPT + analysesStr + ' ../' + file + '_jalangi_.js') sj.cd_parent()
def testDlint (file, output): sj.create_and_cd_jalangi_tmp() sj.execute_np(sj.INSTRUMENTATION_SCRIPT+' --initIID ../tests/dsjs/'+file+'.js') out = sj.execute_return_np(sj.ANALYSIS2_SCRIPT+ analysesStr+' ../tests/dsjs/'+file+'_jalangi_.js') if output != out: print "{} failed".format(file) print out print output else: print "{} passed".format(file) sj.cd_parent()
def testDlint(file, output): sj.create_and_cd_jalangi_tmp() sj.execute_np(sj.INSTRUMENTATION_SCRIPT + ' ../tests/dlint/' + file + '.js') out = sj.execute_return_np(sj.ANALYSIS2_SCRIPT + analysesStr + ' ../tests/dlint/' + file + '_jalangi_.js') if output != out: print "{} failed".format(file) print out print output else: print "{} passed".format(file) sj.cd_parent()
def testDlint (file, output): sj.create_and_cd_jalangi_tmp() sj.execute_np(sj.INSTRUMENTATION_SCRIPT+' --inlineIID --inlineSource ../tests/dlint/'+file+'.js') out = sj.execute_return_np(sj.ANALYSIS_SCRIPT+ analysesStr+' ../tests/dlint/'+file+'_jalangi_.js') if output != out: print "{} failed".format(file) print "********** Actual **********" print out print "********** Expected **********" print output status = 1 else: print "{} passed".format(file) sj.cd_parent()
def test(prefix, file, rest): sj.create_and_cd_jalangi_tmp() sj.execute_np(sj.INSTRUMENTATION_SCRIPT+' --inlineIID --inlineSource '+prefix+file+'.js') normal = sj.execute_return_np(prefix+file+'.js '+rest, savestderr=True) ana = sj.execute_return_np(sj.ANALYSIS_SCRIPT+' --analysis ../src/js/sample_analyses/ChainedAnalyses.js --analysis ../src/js/runtime/analysisCallbackTemplate.js '+prefix+file+'_jalangi_.js '+rest, savestderr=True) if normal != ana: print "{} failed".format(file) print normal print ana status = 1 else: print "{} passed".format(file) sj.cd_parent()
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()
def testDlint (file, output): global status sj.create_and_cd_jalangi_tmp() sj.execute_np(sj.INSTRUMENTATION_SCRIPT+' --inlineIID --inlineSource ../tests/dlint/'+file+'.js') out = sj.execute_return_np(sj.ANALYSIS_SCRIPT+ analysesStr+' ../tests/dlint/'+file+'_jalangi_.js') if output != out.decode(): print("{} failed".format(file)) print("********** Actual **********") print(out) print("********** Expected **********") print(output) status = 1 else: print("{} passed".format(file)) sj.cd_parent()
import sj import sys result = sj.execute_np( "src/js/commands/instrument.js --inlineIID --inlineSource -i --analysis src/js/sample_analyses/ChainedAnalyses.js --analysis src/js/sample_analyses/dlint/Utils.js --analysis src/js/sample_analyses/dlint/CheckNaN.js --analysis src/js/sample_analyses/dlint/FunCalledWithMoreArguments.js --analysis src/js/sample_analyses/dlint/CompareFunctionWithPrimitives.js --analysis src/js/sample_analyses/dlint/ShadowProtoProperty.js --analysis src/js/sample_analyses/dlint/ConcatUndefinedToString.js --analysis src/js/sample_analyses/dlint/UndefinedOffset.js --outputDir /tmp tests/tizen/annex" ) exit(result)
import sj import sys result = sj.execute_np("src/js/commands/instrument.js --inlineIID --inlineSource -i --analysis src/js/sample_analyses/ChainedAnalyses.js --analysis src/js/sample_analyses/dlint/Utils.js --analysis src/js/sample_analyses/dlint/CheckNaN.js --analysis src/js/sample_analyses/dlint/FunCalledWithMoreArguments.js --analysis src/js/sample_analyses/dlint/CompareFunctionWithPrimitives.js --analysis src/js/sample_analyses/dlint/ShadowProtoProperty.js --analysis src/js/sample_analyses/dlint/ConcatUndefinedToString.js --analysis src/js/sample_analyses/dlint/UndefinedOffset.js --outputDir /tmp tests/tizen/annex") exit(result)
def testDlint (file): sj.create_and_cd_jalangi_tmp() sj.execute_np(sj.INSTRUMENTATION_SCRIPT+' --initIID ../'+file+'.js') out = sj.execute(sj.ANALYSIS2_SCRIPT+ analysesStr+' ../'+file+'_jalangi_.js') sj.cd_parent()