search

mr-ma / composition-framework

1 stars 3 forks source link

Segmentation fault #30

Closed mr-ma closed 5 years ago

mr-ma commented 5 years ago

Use qsort_large and set filter file to:

compare
opt-7 /home/sip/eval/coverage/qsort_large.x.bc -o /home/sip/eval/binaries-acsac-manifest/qsort_large.x.bc/10/13/0/out.bc -load /usr/local/lib/libInputDependency.so -load /usr/local/lib/libLLVMdg.so -load /usr/local/lib/libUtils.so -load /usr/local/lib/libCompositionFramework.so -load /usr/local/lib/libSCPass.so -load /home/sip/sip-oblivious-hashing/build/liboblivious-hashing.so -strip-debug -unreachableblockelim -globaldce -use-cache -goto-unsafe -block-freq -pgo-instr-use -pgo-test-profile-file=/home/sip/eval/blockfrequency/qsort_large.x.bc/qsort_large.x.bc.prof -profile-sample-accurate -debug-pass=Structure -use-other-functions -extracted-only -connectivity=1 -dump-checkers-network=/home/sip/eval/binaries-acsac-manifest/qsort_large.x.bc/10/13/0/network_file -dump-sc-stat=/home/sip/eval/binaries-acsac-manifest/qsort_large.x.bc/10/13/0/sc.stats -filter-file=/home/sip/eval/combination/qsort_large.x.bc/10/13 -protect-data-dep-loops -num-hash 1 -dump-oh-stat=/home/sip/eval/binaries-acsac-manifest/qsort_large.x.bc/10/13/0/oh.stats -exclude-main-unreachables -main-reach-cached -cf-strategy=ilp -cf-dump-graphs -cf-stats=/home/sip/eval/binaries-acsac-manifest/qsort_large.x.bc/10/13/0/composition.stats -cf-ilp-prob=/home/sip/eval/binaries-acsac-manifest/qsort_large.x.bc/10/13/0/problem.txt -cf-ilp-sol=/home/sip/eval/binaries-acsac-manifest/qsort_large.x.bc/10/13/0/solution.txt -cf-ilp-sol-readable=/home/sip/eval/binaries-acsac-manifest/qsort_large.x.bc/10/13/0/solution_readable.txt -cf-patchinfo=/home/sip/eval/binaries-acsac-manifest/qsort_large.x.bc/10/13/0/cf-patchinfo.json -cf-ilp-obj=manifest -sc -oh-insert -short-range-oh -composition-framework -time-passes 
1.  Running pass 'Composition Framework Pass' on module '/home/sip/eval/coverage/qsort_large.x.bc'.
/usr/lib/llvm-7/bin/../lib/libLLVM-7.so.1(_ZN4llvm3sys15PrintStackTraceERNS_11raw_ostreamE+0x2a)[0x7f257e29e23a]
/usr/lib/llvm-7/bin/../lib/libLLVM-7.so.1(_ZN4llvm3sys17RunSignalHandlersEv+0x34)[0x7f257e29c7f4]
/usr/lib/llvm-7/bin/../lib/libLLVM-7.so.1(+0x8f5975)[0x7f257e29c975]
/lib/x86_64-linux-gnu/libpthread.so.0(+0x12dd0)[0x7f2581858dd0]
/usr/local/lib/libCompositionFramework.so(_ZN11composition5graph9ILPSolver3runEv+0x340)[0x7f257c305e80]
/usr/local/lib/libCompositionFramework.so(_ZN11composition5graph15ProtectionGraph19ilpConflictHandlingERN4llvm6ModuleERKSt13unordered_mapIPNS2_10BasicBlockEmSt4hashIS7_ESt8equal_toIS7_ESaISt4pairIKS7_mEEEm+0xdb3)[0x7f257c2aae4b]
/usr/local/lib/libCompositionFramework.so(_ZN11composition24CompositionFrameworkPass9graphPassERN4llvm6ModuleE+0x550)[0x7f257c398966]
/usr/local/lib/libCompositionFramework.so(_ZN11composition24CompositionFrameworkPass11runOnModuleERN4llvm6ModuleE+0x36)[0x7f257c397fca]
/usr/lib/llvm-7/bin/../lib/libLLVM-7.so.1(_ZN4llvm6legacy15PassManagerImpl3runERNS_6ModuleE+0x1b0)[0x7f257e389870]
opt-7(main+0x1de9)[0x55c0c52c5c19]
/lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xeb)[0x7f257d4af09b]
opt-7(_start+0x2a)[0x55c0c52d429a]
generator-ilp-acsac.sh: line 101: 77444 Segmentation fault      ${cmd} 2>&1
     77445 Done                    | tee "${output_dir}/transform.console"