search

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
66 stars 36 forks source link

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

Closed zuiaiziai closed 5 years ago

zuiaiziai commented 5 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:

runOption:

karthikp-ubc commented 5 years ago

This seems like something wrong with your setup. What platform and OS are you using ? Thanks,

zuiaiziai commented 5 years ago

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!