This is part of Baidu X-Lab's efforts to make MesaLock Linux (https://github.com/mesalock-linux https://github.com/mesalock-linux). They are creating memory saf

This is part of Baidu X-Lab's efforts to make MesaLock Linux (https://github.com/mesalock-linux https://github.com/mesalock-linux). They are creating memory safe versions of tools for their distribution. Baidu has even made a memory safe version of TPM (https://medium.com/baiduxlab/mesatee-security-formal-verification-in-action-bc179c0a9141 https://medium.com/baiduxlab/mesatee-security-formal-verific...).