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
68 stars 35 forks source link

How I can generate a single .ll file out of c sources and header files? #74

Closed andrestoga closed 8 years ago

andrestoga commented 8 years ago

Hi,

I used the LLFI GUI tool to generate a trace graph but the problem is that when I load the files of my project it generates a makefile to create multiples .ll files instead of a single one.

Do I have to use the command line tool "GenerateMakefile" to create a make file for a single .ll file? and if so, how I can do that?

Best,

karthikp-ubc commented 8 years ago

Sorry for the late response. Please post this to the LLFI development group so other can answer (you can find the address on the home page). Thanks,