In any case, you should read:
- https://www.auto.tuwien.ac.at/~blieb/AE2017/presentations/ae...
- https://www.auto.tuwien.ac.at/~blieb/AE2017/presentations/Ha...
- https://dwheeler.com/secure-programs/Secure-Programs-HOWTO/p...
- https://dwheeler.com/lovelace/s17s5.htm