C with valgrind and other analysis tools (clang scan-build/cppcheck etc) make for a powerful combination. There should be a dinky acronym. But, never gonna happen in my workplace.