D
Статические анализаторы ищут чепуху смотря на код, а динамические ищут во время работы программы
Статические это как варнинги в компиляторах, только могут быть подробнее, но из-за этого могут быть ложные срабатывания. Примеры: Clang Static Analyzer, Clang-Tidy, PVS Studio
Примеры динамических: Valgrind, AddressSanitizer, вроде есть ещё UBsan какой-то