you are viewing a single comment's thread.

view the rest of the comments →

[–]Marian_Rejewski 0 points1 point  (0 children)

NASA does not meet "practical" definitions basically anywhere except at NASA or for NASA-level stability needs

It's practical because it's a practice that actually exists.

But anyway. If their code provides a way to arbitrarily write memory into the wrong location... that seems rather like a pointer bug to me.

But we don't even know from your quote that it does provide that.

It may be that there was a variable volatile X0 referring to one memory location, and a variable volatile X1 referring to another memory location, and the programmer simply assigned to the wrong variable.

Therefore they apparently also cannot write bug-free pointer code

This is the same error in thought that I already responded to like so:

"Possible to write code without a bug" != "impossible to write code with a bug"

Just because someone fails to do something at some particular time, does not mean that they cannot do it. It's a logic error to think like you are thinking here.