sjeng with O2 optimization can not pass instrument

DependableSystemsLab / LLFI

LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injected into specific program points, and the effect can be easily tracked back to the source code. Please refer to the paper below. NOTE: If you publish a paper using LLFI, please add it to PaperLLFI.bib

http://blogs.ubc.ca/karthik/2014/02/23/quantifying-the-accuracy-of-high-level-fault-injection-techniques/

Other

68 stars 35 forks source link

sjeng with O2 optimization can not pass instrument #63

Open cclinus opened 9 years ago

cclinus commented 9 years ago

458.sjeng is from spec suite. LLFI works with O0 opt, but not O2 opt.

Contact me for sjeng.ll if you can not compile it from spec.

nankmr2012 commented 8 years ago

@cclinus Hi Justin, can you please elaborate this issue with more clarity? Thanks Nanda Kumar

cclinus commented 8 years ago

To reproduce:

Take sjeng benchmark from spec06 and compile sjeng to a single LLVM IR file with -O2 flag.
Run LLFI.

You will see LLFI stops at first instrumentation pass.