Every time someone claims they've written a "bulletproof" app, I roll my eyes so hard I can practically see my brain. History's not on their side, and in this endless cat-and-mouse game between developers and hackers, it never will be. 😜
This is for you, my friend. I know you follow me here, so consider this a friendly reminder from, well, nobody. 😉
@nixCraft Not really. seL4 is an L4-based microkernel with mathematical proof it exactly meets its specification, with no missing behaviors and no undefined behaviors. For any reasonable definition of “bug”, this is proof the software is bug-free. The specification can still have issues, but those aren’t bugs in the software.
It takes a *lot* of discipline to write code to this level of assurance, but it *is* possible.
nixCraft 🐧
Zimmie