Bitcoin developers do use valgrind. I don't know about B2X, but the Bitcoin Core guys do.