red75prime
Статические анализаторы ограничены теоремой Райса и не могут не быть эвристическими. Процент ложно-положительных и ложно-отрицательных срабатываний может быть небольшим. Но это не так греет, чем когда знаешь, что это точно не этот код память порушил или ещё что.
есть же смартпоинтеры... Ну, и clang пытается ввести лайфтаймы, я хз, как там по успехам