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

input.yaml:ERROR:Unknown Instruction selection method in input.yaml #118

Closed zuiaiziai closed 5 years ago

zuiaiziai commented 6 years ago

hello, When I use factorial file in the test_programs directory to test LLFI with the command '/bin/instrument --readable factorial.ll', I get an error: Unknown Instruction selection method in input.yaml. I try many times,but I can't resolve this problem. The contents below is the input.yaml file in factorial file: compileOption: instSelMethod:

regSelMethod: regloc regloc: dstreg

runOption:

I use Ubuntu 14.04 LTS and test LLFI based on LLVM-2.9. What do you mean about 'something wrong with your setup'? Would you have any idea about the problem I encountered? Thank you very much!

Could you help me to find the problem? Thank you very much! Please answer here or email me at 1090366769@qq.com.