GUI generated llfi.stat.totalindex.txt is one off

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

GUI generated llfi.stat.totalindex.txt is one off #59

Closed karfair closed 9 years ago

karfair commented 9 years ago

for example, using the GUI & the factorial.c file

The "No.of.Index" (from llfi.stat.totalindex.txt) and the last index from factorial-llfi_displayIndex.ll differs by 1. I am not sure which script is responsible for generating these two files and I am not sure what the correct behavior should be.

karfair commented 9 years ago

The GUI assumes that the !llfi_index !<a number> was the index for that instruction, but instead, the !<a number> actually links to the metadata at the bottom of the file. This is now fixed.