3 ms·

https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-faq.html https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri... sounds promising.

• deepnotderp 9y ago
  Unfortunately, given the industry reliance upon standard C, I doubt capability machines will ever catch on.
  • nickpsecurity 9y ago
    CHERI a capability machine designed for C programs that runs FreeBSD.
    • deepnotderp 9y ago
      My point is more that it requires modifications to existing C code to use the full capabilities (no pun intended) of a capability machine.
      • fao_ 9y ago
        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.