Check if source code/binary is prone to fault injection and patch source code/binary with countermeasures

Idea

• Can we check with a static analyzer if a source code or a binary is prone to fault injection (e.g. voltage FI)?
• Can we patch the source code / binary (https://research.nccgroup.com/2021/07/08/software-based-fault-injection-countermeasures-part-2-3/)?
• Can we build a plugin for Ghidra or IDA Pro?

Task

Needs to be discussed