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

when I try to inject data corruption fault,there is a error #95

Closed lidanfeng closed 8 years ago

lidanfeng commented 8 years ago

1 ,we compile a number of .c file to .bc separately 2 We link all the .bc files to a big .bc file . 3 We execute the instrument script to inject fault ,but there is no compile parameter to include head file. When we use gcc, we must use compile parameter to include head file. gcc main.c -lm -I ./Test/include -L ./Test/lib -lmyfac -o a.out

I notice that this error happens when I try to inject data corruption fault. While I manage to inject “NoOutput(API)” fault, no error observed. I guess the tested program use some variable type not supported by LLFI yet.

karthikp-ubc commented 8 years ago

Again, we need a reproducible test case to debug this issue. With the above description, we cannot debug it. Thanks,