http://benji3up2kxewkqfcq7buxk2xd6zwy3zggnurkrm3l4cvwy2iipvyyad.onion/mirrors/gmpdoc/Debugging.html
The GMP C++ features cannot be used, since
current versions of checker (0.9.9.1) don’t yet support the standard C++
library. Valgrind ¶ Valgrind ( http://valgrind.org/ ) is a memory checker for x86, ARM, MIPS,
PowerPC, and S/390. It translates and emulates machine instructions to do
strong checks for uninitialized data (at the level of individual bits), memory
accesses through bad pointers, and memory leaks.