Dead code identification (C++)

Question

Ich habe ein großes veraltetes C++ Projekt, das unter Visual Studio 2008 kompiliert wurde. Ich weiß, dass es ziemlich viel 'toten' Code gibt, auf den nicht zugegriffen wird - Methoden, die nicht aufgerufen werden werden nicht benutzt.

Ich bin auf der Suche nach einem Tool, das dies durch statische Analyse identifizieren wird.

Diese Frage: Dead code detection in legacy C/C++ project schlägt vor, Code Coverage Tools zu verwenden. Dies ist keine Option, da die Testabdeckung gerade nicht hoch genug ist.

Es erwähnt auch einen -Wunreachable-Code. Option zu gcc. Ich möchte etwas ähnliches für Visual Studio. Wir verwenden bereits die Option/OPT: REF des Linkers, um redundanten Code zu entfernen, aber dies meldet den toten Code nicht auf einer nützlichen Ebene (bei Verwendung mit/VERBOSE gibt es mehr als 100.000 Zeilen, einschließlich einer Menge aus Bibliotheken).

Gibt es bessere Optionen, die gut mit einem Visual Studio-Projekt funktionieren?

Answer 1

Sie wollen etwas in Richtung QA-C++ (http://www.programmingresearch.com/QACPP_MAIN.html), siehe auch http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis für ähnliche Produkte.

Sie suchen nach einem statischen Codeanalyse-Tool, das nicht erreichbaren Code erkennt; Viele Kodierungsrichtlinien (wie MISRA-C++, wenn ich mich nicht irre) erfordern, dass kein unerreichbarer Code existiert. Ein Analysetool, das speziell auf die Durchsetzung einer solchen Richtlinie ausgerichtet ist, wäre die beste Wahl.

Und Sie werden auch in der Lage sein, andere Verwendungen für das Werkzeug zu finden.

Answer 2

Ich kenne Visual C nicht, und hatte auch die -Wunreachable-Code spezifische Coverage-Tools empfohlen. Als Lösung für Ihre Situation versuchen würde ich folgendes:

1. mit ctags Stellen (oder ein ähnliches Programm), um eine Liste aller Symbole in Ihrer Quelle
2. in Ihrem Compiler Aktivieren Sie die Beseitigung von totem Code (ich würde es annehmen (standardmäßig aktiviert)
3. Aktivieren Sie Ihre gesamten Programm-/Verbindungszeit-Optimierungen (damit er weiß, dass nicht verwendete Funktionen in Ihren Modulen nicht von anderen externen Quellen benötigt werden und verworfen werden)
4. Nimm die Symbole aus deiner Binärdatei und vergleiche sie mit die Symbole von 1.

Ein anderer Ansatz könnte ein Aufrufgraph-Erzeugungswerkzeug sein (z. Doxygen).

Answer 3

Ein Ansatz, der für mich funktioniert - mit Delphi - ist das Debugging zu aktivieren, und führen Sie Ihr Programm unter dem Debugger.

Wenn ein Delphi-Programm unter dem Debugger ausgeführt wird, zeigt die IDE am Rand an, welche Zeilen des Codes als Haltepunkte gesetzt werden können. Code, der wirklich tot ist - d. H. Durch den Linker/Compiler ausgezogen wurde, ist offensichtlich, da dort keine Breakpoints gesetzt werden können.

Einige zusätzliche Hinweise, wie commen dies falsch zu verstehen scheinen:

a: Sie müssen nicht versuchen, in jeder Zeile einen Haltepunkt zu setzen. Öffnen Sie einfach die Quelldatei in der IDE und scrollen Sie schnell durch sie. Dead Code ist leicht zu erkennen.

b: Dies ist KEINE Überprüfung der Codeabdeckung. Sie müssen die Anwendung nicht ausführen, um zu sehen, ob sie die Zeilen erreicht.

c: Ich bin nicht genug vertraut VS2008 so kann nicht sagen, ob dieser Vorschlag funktioniert.

Answer 4

Schreiben Sie ein Skript, das zufällig eine Funktion löscht (aus dem Quellcode) und alles von Grund auf neu kompiliert. Wenn es noch kompiliert - diese Funktion war toter Code.

Answer 5

Ich weiß, dass Gimpel's Lint Produkte (PC-Lint und Flexelint) nicht erreichbaren Code und nicht verwendete/nicht referenzierte Module identifizieren.

Sie fallen beide in die Kategorie der statischen Analysewerkzeuge.

Ich habe keine Verbindung mit Gimpel, nur ein zufriedener Langzeit-Kunde.

Answer 6

Ich schlage vor, Sie verwenden ein paar Ansätze: 1. GCC einige nützliche Zusammenstellung Fahnen hat:

-Wunused-function 
-Wunused-label 
-Wunused-value 
-Wunused-variable 
-Wunused-parameter 
-Wunused-but-set-parameter 

2. cppcheck hat einige nützliche Funktionen wie:

--enable=unusedFunction 

3. Verwenden Sie statische Analysator wie zuvor angedeutet.