Comment by anonymousDan

For C++ GenMC is probably the state of the art for this: https://plv.mpi-sws.org/genmc/

There's also RustMC for Rust.