Python execute_np 예제들

예제 #1

파일: dsjs.py 프로젝트: Shahrukh-Badar/ProgramTestingAnalysis

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()

예제 #2

파일: test.dsjs.py 프로젝트: SRA-SiliconValley/jalangi

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()

예제 #3

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()

예제 #4

파일: test.dlint.py 프로젝트: Samsung/jalangi2

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()

예제 #5

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()

예제 #6

파일: test.analysis2.py 프로젝트: xmorgan/jalangi

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()

예제 #7

파일: test.dlint.py 프로젝트: msridhar/jalangi2

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()

예제 #8

파일: test.inst.py 프로젝트: Shahrukh-Badar/ProgramTestingAnalysis

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)

예제 #9

파일: test.inst.py 프로젝트: Samsung/jalangi2

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)

예제 #10

파일: dsjs.py 프로젝트: SRA-SiliconValley/jalangi

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()