even if all of the bugs with NaCl itself were found and fixedan impossible task
A bit too categorically pessimistic, IMO. What if a formal proof was written that all programs which pass the validator are safe, and the formal proof itself was run through a proof validator?
That is not science fiction. Computer scientists are working on similar projects right now :). See for example http://www.springerlink.com/content/fw2u6488576w68j4/
Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds