←back to thread

The C++ standard for the F-35 Fighter Jet [video]

(www.youtube.com)
327 points AareyBaba | 1 comments | 07 Dec 25 18:07 UTC | HN request time: 0.193s | source
Show context
mainecoder ◴[08 Dec 25 15:10 UTC] No.46193095[source]▶
Did they really have to tell their programmers this ? (see Page 52) AV Rule 174 (MISRA Rule 107) The null pointer shall not be de-referenced.
replies(3): >>46195261 #>>46196414 #>>46200255 #
1. accelbred ◴[09 Dec 25 01:31 UTC] No.46200255[source]▶
The rule isnt there to say "don't do this". It's there to say "you must prove that this holds true, in any circumstance".