Case studies

CheriBSD: established software at operating-system scale

Protection of large existing software stacks

CheriBSD demonstrates how a large existing operating system (FreeBSD, from the FreeBSD foundation) can be adapted to take advantage of CHERI protection.

This work also showed how to perform a software migration, porting a large C codebase incrementally. The operating-system environment also provides a base for running and studying substantial applications.

This makes CheriBSD relevant to products that depend on mature native software and need evidence about the cost and effect of protecting it.

Related content