BaITA is a reliability analyzer for x86 instruction set based Software.
LIFILL is a full featured fault injector based on LLVM.
LICFI is full fault injector for any C-language developed program.
ALIVE evaluates the effect of faults on a software by means of variable lifetime and output analysis.