Seconding `rr` as suggested by @tux3, it's great for debugging. Also, the sanitizers for GCC and Clang (https://github.com/google/sanitizers https://github.com

Seconding `rr` as suggested by @tux3, it's great for debugging. Also, the sanitizers for GCC and Clang (https://github.com/google/sanitizers https://github.com/google/sanitizers), and the Clang static analyzer (and tidy too) through CodeChecker (https://codechecker.readthedocs.io/ https://codechecker.readthedocs.io/). For the Clang static analyzer, make sure your LLVM toolchain has the Z3 support enabled (OK in Debian stable for example), and enable cross translation units (CTU) analysis too for better results.