alt Hacker NewsOk, but their engine controller was found to have 12,000 global variables and no one could ever say conclusively that the pedal issue was real or not.
The issue was not that no one found the flaw, it’s that no one could prove it wasn’t there.
Replies
Gibbon1 • last Monday at 9:51 AM
I'm suspicious that a lot of those 12,000 are constants. Just based on how I think those guys operate.
You and I would change a constant and recompile. They will just splat location 0x239A
McGlockenshire • last Monday at 3:45 AM
> no one could ever say conclusively that the pedal issue was real or not
You should ask a mechanic's opinion.
cwmoore • last Monday at 3:33 AM
[flagged]
>The issue was not that no one found the flaw, it’s that no one could prove it wasn’t there.
Are cars since then required to have formally verified codebases, or is "no one could prove [there are no bugs]" still true?
---
Trying to evaluate what happened based on observation of events alone and stats, in absence of a formal proof of issue or non-issue... the cars didn't just disappear overnight so if there was such an issue... where did it go?