A PHP Valgrind tool