Python execute_return Beispiele

Beispiel #1

Datei: analysis.py Projekt: Samsung/jalangi2

import sj
import sys

# scripting jalangi sample 2
sj.create_and_cd_jalangi_tmp()
sj.execute(sj.INSTRUMENTATION_SCRIPT+' --inlineIID --inlineSource ../'+sys.argv[1]+'.js')
normal = sj.execute_return('../'+sys.argv[1]+'.js', savestderr=True)
ana = sj.execute_return(sj.ANALYSIS_SCRIPT+' --analysis ../src/js/sample_analyses/ChainedAnalyses.js --analysis ../src/js/runtime/analysisCallbackTemplate.js ../'+sys.argv[1]+'_jalangi_.js', savestderr=True)

if normal != ana:
    print "{} failed".format(sys.argv[1])
    print normal
    print ana
else:
    print "{} passed".format(sys.argv[1])
    print normal
    print ana
sj.cd_parent()

Beispiel #2

Datei: analysis2.py Projekt: SRA-SiliconValley/jalangi

import sj
import sys

# scripting jalangi sample 2
sj.create_and_cd_jalangi_tmp()
sj.execute(sj.INSTRUMENTATION_SCRIPT+' ../'+sys.argv[1]+'.js')
normal = sj.execute_return('../'+sys.argv[1]+'.js', savestderr=True)
ana = sj.execute_return(sj.ANALYSIS2_SCRIPT+' --analysis ../src/js/analyses2/ChainedAnalyses2.js --analysis ../src/js/analysis2CallbackTemplate.js ../'+sys.argv[1]+'_jalangi_.js', savestderr=True)

if normal != ana:
    print "{} failed".format(sys.argv[1])
    print normal
    print ana
else:
    print "{} passed".format('tests/unit/instrument-test.js')
    print normal
    print ana
sj.cd_parent()

Beispiel #3

Datei: testsj.py Projekt: SRA-SiliconValley/jalangi

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

Beispiel #4

import sj
import sys

# scripting jalangi sample 2
sj.create_and_cd_jalangi_tmp()
sj.execute(sj.INSTRUMENTATION_SCRIPT + ' --inlineIID --inlineSource ../' +
           sys.argv[1] + '.js')
normal = sj.execute_return('../' + sys.argv[1] + '.js', savestderr=True)
ana = sj.execute_return(
    sj.ANALYSIS_SCRIPT +
    ' --analysis ../src/js/sample_analyses/ChainedAnalyses.js --analysis ../src/js/runtime/analysisCallbackTemplate.js ../'
    + sys.argv[1] + '_jalangi_.js',
    savestderr=True)

if normal != ana:
    print "{} failed".format(sys.argv[1])
    print normal
    print ana
else:
    print "{} passed".format(sys.argv[1])
    print normal
    print ana
sj.cd_parent()

Beispiel #5

Datei: testsj.py Projekt: xmorgan/jalangi

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

Beispiel #6

Datei: analysis2.py Projekt: xmorgan/jalangi

import sj
import sys

# scripting jalangi sample 2
sj.create_and_cd_jalangi_tmp()
sj.execute(sj.INSTRUMENTATION_SCRIPT + ' ../' + sys.argv[1] + '.js')
normal = sj.execute_return('../' + sys.argv[1] + '.js', savestderr=True)
ana = sj.execute_return(
    sj.ANALYSIS2_SCRIPT +
    ' --analysis ../src/js/analyses2/ChainedAnalyses2.js --analysis ../src/js/analysis2CallbackTemplate.js ../'
    + sys.argv[1] + '_jalangi_.js',
    savestderr=True)

if normal != ana:
    print "{} failed".format(sys.argv[1])
    print normal
    print ana
else:
    print "{} passed".format('tests/unit/instrument-test.js')
    print normal
    print ana
sj.cd_parent()