These people have done this work (and it's great!), and in their self-selected benchmarks programs they claim about 16% overhead: https://www.cis.upenn.edu/acg/

These people have done this work (and it's great!), and in their self-selected benchmarks programs they claim about 16% overhead: https://www.cis.upenn.edu/acg/softbound/ https://www.cis.upenn.edu/acg/softbound/ This is only memory safety, not using other optimizations related to undefined behavior will add a bunch more overhead.