Мы используем тест Parasoft C ++ для статического анализа нашего кода. У него проблемы с кодом вроде следующего: void foo (int * x) {try {bar (); } catch (...) {удалить x; ...