This is a workable approach. One implementation I know of is CCured: https://people.eecs.berkeley.edu/~necula/Papers/ccured_popl02.pdf https://people.eecs.berke

This is a workable approach. One implementation I know of is CCured: https://people.eecs.berkeley.edu/~necula/Papers/ccured_popl02.pdf https://people.eecs.berkeley.edu/~necula/Papers/ccured_popl0... They claim 0-150% runtime overhead. It depends a lot on concrete characteristics of the program. For a debugging tool that's certainly acceptable.