Wykrywanie martwego kodu w legacy C / C++ project [zamknięty]

Skompiluj go pod gcc za pomocą -wunreachable-code.

Myślę, że im nowsza wersja, tym lepsze wyniki uzyskasz, ale mogę się mylić w moim odczuciu, że jest to coś, nad czym aktywnie pracowali. Zauważ, że to robi analizę przepływu, ale nie wierzę, że mówi o "kodzie", który jest już martwy, zanim opuści preprocesor, ponieważ nigdy nie jest parsowany przez kompilator. Nie wykryje też np. wyeksportowanych funkcji, które nigdy nie są wywoływane, czy specjalnych kod obsługi przypadków, który tak się składa, że jest niemożliwy, ponieważ nic nigdy nie wywołuje funkcji z tym parametrem - potrzebujesz do tego pokrycia kodu (i uruchom testy funkcjonalne, Nie testy jednostkowe. Testy jednostkowe to przypuszcza się, że mają 100% pokrycie kodu, a więc wykonują ścieżki kodu, które są "martwe"w przypadku aplikacji). Mimo to, mając na uwadze te ograniczenia, jest to łatwy sposób na rozpoczęcie znajdowania najbardziej kompletnych procedur w kodzie baza.

Ten poradnik CERT zawiera listę innych narzędzi do wykrywania martwego kodu statycznego

Twoje podejście zależy od dostępności (zautomatyzowanych) testów. Jeśli masz zestaw testów, który, jak ufasz, pokryje wystarczającą ilość funkcji, możesz użyć analizy pokrycia, zgodnie z wcześniejszymi odpowiedziami.

Jeśli nie masz tyle szczęścia, warto zajrzeć do narzędzi do analizy kodu źródłowego, takich jak SciTools ' zrozum, że mogą Ci pomóc w analizie kodu za pomocą wielu wbudowanych raportów analitycznych. Moje doświadczenie z tym narzędziem pochodzi z 2 lat temu, więc ja nie mogę podać wiele szczegółów, ale pamiętam, że mieli imponujące wsparcie z bardzo szybkim czasem realizacji poprawek błędów i odpowiedzi na pytania.

Znalazłem stronę statyczna analiza kodu źródłowego , która zawiera również wiele innych narzędzi.

Jeśli to nie pomoże ci wystarczająco, a jesteś szczególnie zainteresowany znalezieniem martwego kodu związanego z preprocesorem, polecam zamieścić więcej szczegółów na temat kodu. Na przykład, jeśli jest to głównie związane z różnymi kombinacjami ustawień # ifdef można pisać skrypty, aby określić (kombinacje) ustawień i dowiedzieć się, które kombinacje nigdy nie są rzeczywiście zbudowane, itp.

G++ 4.01-wunreachable-code ostrzega o kodzie, który jest nieosiągalny w funkcji, ale nie ostrzega o nieużywanych funkcjach.

int foo() { 
    return 21; // point a
}

int bar() {
  int a = 7;
  return a;
  a += 9;  // point b
  return a;
}

int main(int, char **) {
    return bar();
}

G++ 4.01 wyświetli ostrzeżenie o punkcie b, ale nie mów nic o Foo () (punkt a), nawet jeśli jest nieosiągalny w tym pliku. To zachowanie jest poprawne, chociaż rozczarowujące, ponieważ kompilator nie może wiedzieć, że funkcja foo () nie jest zadeklarowana extern w innej jednostce kompilacji i wywoływana stamtąd; tylko linker może być pewien.

Tylko dla kodu C i zakładając, że kod źródłowy całego projektu jest dostępny, Uruchom analizę za pomocą narzędzia Open Source Frama-C . Każda instrukcja programu, która wyświetla na Czerwono w GUI jest martwy kod.

Jeśli masz problemy z "martwym kodem", możesz być również zainteresowany usunięcie "kodu zapasowego", kodu, który jest wykonywany, ale nie przyczynić się do efektu końcowego. Wymaga to podania dokładne modelowanie funkcji We/Wy (nie chciałbyś aby usunąć obliczenia, które wydają się być" zapasowe", ale to jest używane jako argument printf). Frama-C posiada opcję Wskazywania kodu zapasowego.

Zarówno Mozilla jak i Open Office mają domowe rozwiązania.

Taka analiza Martwego kodu wymaga globalnej analizy całego projektu. Nie można uzyskać tych informacji, analizując jednostki tłumaczeniowe indywidualnie (cóż, można wykryć martwe jednostki, jeśli są one całkowicie w obrębie jednej jednostki tłumaczeniowej, ale nie sądzę, że to jest to, czego naprawdę szukasz).

Użyliśmy naszego DMS Software Reengineering Toolkit, aby zaimplementować dokładnie to dla kodu Java, analizując wszystkie jednostki kompilacji zaangażowane na raz, tworząc tabele symboli dla wszystko i szukanie wszystkich referencji. Definicja najwyższego poziomu bez odniesień i bez twierdzenia, że jest zewnętrznym elementem API jest martwa. To narzędzie automatycznie usuwa martwy kod, a na końcu możesz wybrać, co chcesz: raport martwych podmiotów lub kod pozbawiony tych podmiotów.

DMS również parsuje C++ w różnych dialektach (edycja Luty 2014: w tym wersje MS i GCC C++14 [edycja Listopad 2017: Teraz C++17]) i buduje wszystkie niezbędne symbole stoły. Od tego momentu znalezienie martwych odniesień byłoby proste. DMS może być również używany do ich rozebrania. Zobacz http://www.semanticdesigns.com/Products/DMS/DMSToolkit.html

Byk Narzędzie pokrycia pomogłoby. Nie jest to jednak bezpłatne.