News for hackers. Stuff that matters.

A comment on DARPA's “Unhackable” Computer. Parent comment

Re:DARPA's “Unhackable” Computer by deepnotderp on Tuesday December 26, 2017 @04:56PM (#16011295)
Unfortunately, given the industry reliance upon standard C, I doubt capability machines will ever catch on.
[ Parent | on HN ]
Re:DARPA's “Unhackable” Computer by nickpsecurity on Tuesday December 26, 2017 @05:18PM (#16011409)
CHERI a capability machine designed for C programs that runs FreeBSD.
[ Parent | on HN ]
Re:DARPA's “Unhackable” Computer by deepnotderp on Tuesday December 26, 2017 @06:12PM (#16011653)
My point is more that it requires modifications to existing C code to use the full capabilities (no pun intended) of a capability machine.
[ Parent | on HN ]
Re:DARPA's “Unhackable” Computer by fao_ on Tuesday December 26, 2017 @09:00PM (#16012314)
I wonder if this could be done with an alternate stdlib. Editing the usual e.g. heap management functions et al. so it does stuff behind the scenes.
[ Parent | on HN ]