Comments by "Mikko Rantalainen" (@MikkoRantalainen) on "how NASA writes space-proof code" video.

  1. I'm using gcc so I use flags -pedantic-errors -Wall -Wextra -Werror -fsanitize=undefined
    1
  2. 10. Avoid off-by-one errors.
    1
  3.  @sousahenrique  I use assert()s to enforce the documented interface. Similar to Eiffel design by contract stuff. I don't like the Eiffel language but the design by contract idea should be embraced in any language.
    1
  4. The rules seemed very reasonable. I'm basically following the same rules even for my hobby C projects so most definitely NASA should be doing this kind of stuff at minimum.
    1