For that there is some interesting work being done with Cheri and specifically CheriBSD which is built in top of FreeBSD https://www.cl.cam.ac.uk/research/secu

For that there is some interesting work being done with Cheri and specifically CheriBSD which is built in top of FreeBSD https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheribsd.html https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri...