General statistics
List of Youtube channels
Youtube commenter search
Distinguished comments
About
Mikko Rantalainen
Low Level
comments
Comments by "Mikko Rantalainen" (@MikkoRantalainen) on "how NASA writes space-proof code" video.
I'm using gcc so I use flags -pedantic-errors -Wall -Wextra -Werror -fsanitize=undefined
1
10. Avoid off-by-one errors.
1
@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
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