Analysis tool to assess (HW/SW) system security against fault-injection attacks - View it on GitHub