Lazart 4.0 Documentation

Lazart is an LLVM level robustness evaluation tools against multiple faults injection relying on Dynamic Symbolic Execution (DSE) through the tool KLEE.