I smell unoxidized metal! I love rust, use it almost exclusively. And ferrocene just certified it for industrial and automotive. And it doesn't sound to me li

I smell unoxidized metal! I love rust, use it almost exclusively. And ferrocene just certified it for industrial and automotive. And it doesn't sound to me like using rust or ada would have prevented this. It sounds like the android ui, which almost certainly is not in any certified toolchain, had a string handling error. The ui for a safety critical device is safety critical code, it sounds like that isn't how the rules actually work though, or you wouldn't be running it on a phone.