malloc-check Memory-checking using malloc. See http://btorpey.github.io/blog/2019/07/14/memory-checking/ for more.