Google's Native Client
Posted Jun 4, 2009 7:52 UTC (Thu) by Thue
Parent article: Google's Native Client
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/
to post comments)