At the risk of just talking to myself, I'll note that a google scholar search on the [1] above led me to this phd [2] which in turn led me to two newer tools, V

At the risk of just talking to myself, I'll note that a google scholar search on the [1] above led me to this phd [2] which in turn led me to two newer tools, Verrou [3] and Verificarlo [4] which involve Valgrind and Docker, respectively, though I'd have to understand what exactly is being contained by Docker for Verrou. But it makes me appreciate more the minimalist approach of Knizia et al. in [1], which does involve recompilation of modified assembly, but that's something I'm doing multiple times with student code already. [2] https://tel.archives-ouvertes.fr/tel-03110553/document https://tel.archives-ouvertes.fr/tel-03110553/document [3] https://github.com/edf-hpc/verrou https://github.com/edf-hpc/verrou [4] https://github.com/verificarlo/verificarlo https://github.com/verificarlo/verificarlo