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.
Lazart Wiki and Guides
Wolverine and C++ API Documentation
Instrumentation API
Python API Documentation