You are talking about security through correctness, which is indeed not achievable. However it's not the only approach to security [0]. Security by isolation re

You are talking about security through correctness, which is indeed not achievable. However it's not the only approach to security [0]. Security by isolation really works according to the statistics [1]. [0] https://blog.invisiblethings.org/2008/09/02/three-approaches-to-computer-security.html https://blog.invisiblethings.org/2008/09/02/three-approaches... [1] https://www.qubes-os.org/security/xsa/ https://www.qubes-os.org/security/xsa/