Finden Sie toten Code in einem C-Programm durch Laufzeitanalyse

Da sich @user2284570 in der komfortablen Situation befindet, 100 % der Anwendungsfälle durch Tests abzudecken, wird die dynamische Codeanalyse die Antwort liefern. In anderen Fällen würde das Entfernen von Funktionen, deren Aufrufen und Bedingungen eine gründliche Überprüfung erfordern.

Jedes Codeabdeckungstool meldet die Funktionsabdeckung in der einen oder anderen Form. Der Hauptkritikpunkt scheint die Meldung der genauen Position ungenutzter (hier: toter) Funktionen zu sein. Ich kann nicht für andere Tools sprechen, aber das unseres Unternehmens verfügt über eine Berichtsoption im Textformat, die Platzhalter für Quelldateinamen und Zeilendaten enthält. Da nach einem konkreten Kommandozeilenbeispiel gefragt wurde hier eines:

$ csgcc -o myapp mycode.c
$ ./myapp --run-all-tests
$ cmcsexeimport -m myapp.csmes -e myapp.csexe --title=mytests
$ cmreport --function-coverage -m myapp.csmes --format-unexecuted='%f:%l'

Dadurch werden die toten Funktionsorte wie folgt gedruckt:

mycode.c:101
mycode.c:213
mycode.c:1032

Ein ortsansässiger Universitätsstudent verfasste detailliertere Anweisungen für diesen Ansatz.

Nachdem Sie ungenutzte Funktionen eliminiert haben, sollten Sie auch die Zweigabdeckung analysieren und überflüssige if()-Anweisungen und andere entfernen. Hüten Sie sich nur vor Nebeneffekten ausgewerteter Ausdrücke. Aber zum Glück erkennt Ihre perfekte Codeabdeckung Regressionen.

Sie können splintmit dem alluseFlag nach nicht verwendeten Funktionen suchen, aber ich persönlich würde verwenden doxygen, um eine Aufrufzuordnung zu erstellen - alle Funktionen, die keine Eltern haben, werden wahrscheinlich nicht verwendet - suchen Sie einfach nach Funktionen, die sich in Tabellen von Funktionen befinden, die möglicherweise nicht direkt aufgerufen werden aber Dinge wie Zustandsmaschinen könnten aus dem Tabellenindex aufgerufen werden.

Doxygen ist ein unschätzbares Werkzeug für den Umgang mit großen Codebasen und es lohnt sich auf jeden Fall, seine Verwendung zu lernen, es ist kostenlos und für mehrere Plattformen verfügbar, es neigt auch dazu, die Dokumentation Ihres Codes zu fördern, während Sie fortfahren.

Im Fall von Code, der aufgerufen wird, aber nur von unerreichbarem Code, müssen Sie ein vollständiges statisches Analysetool wie LDRA (kostspielig) verwenden, das Sie auf unerreichbaren Code hinweist. In diesem Fall ist es besser, zuerst den gesamten nicht erreichbaren Code zu entfernen und dann nach nicht aufgerufenen Funktionen zu suchen. Alternativ benötigen Sie eine Testsuite, von der Sie sicher sind, dass sie 100 % der Funktionalität ausführt. Dann können Sie einen Profiler oder ein Abdeckungstool wie gcov in Ihrem Programm verwenden, während Sie Ihre Testsuite ausführen. Wenn Ihr Test Ihre gesamte Funktionalität ausgeführt hat und Sie Teile mit einer Abdeckung von 0 % haben, werden sie nicht aufgerufen , aber Sie müssen dann die Aufrufe finden, die nicht erreichbar sind, und diesen Code entfernen, damit sich der Linker trotzdem nicht beschwert.

Um Ihre überarbeitete Frage zu beantworten: Wenn Sie Ihren gesamten Code mit gcc -fprofile-arcs -ftest-coveragefestgelegten Optionen kompilieren und dann eine Reihe von Tests ausführen, von denen Sie sicher sind, dass sie alle Funktionen und alle Möglichkeiten abdecken (möglicherweise über mehrere Durchläufe hinweg).

Das gcovDienstprogramm erwartet, dass Sie einen Teil der Arbeit erledigen - es hat nicht nur eine Option für "Sagen Sie mir, was nicht aufgerufen wurde", sodass Sie die Funktionen finden müssen, die nicht aufgerufen wurden.

Sie können mit gcovder --function-summariesOption für jede Quelldatei eine Reihe von Ausgabedateien generieren, die Funktionszusammenfassungen enthalten. Suchen Sie nach Dateien , die entweder neveroder enthalten 0%, um die nicht ausgeführten Funktionen zu finden.

Ich würde vorschlagen, entweder eine Funktion hinzuzufügen, von der Sie wissen, dass sie niemals aufgerufen wird, oder eine zu kennen, die Sie noch nicht entfernt haben - so können Sie sehen, wie die Ausgabe aussieht - Sie können sie dann verwenden grep, um sie alle zu finden.

Ihr nächster Schritt besteht darin, grepdie gcovAusgabe für alle Stellen zu verwenden, an denen diese Funktionen in Ihrem Code vorhanden sind. Sie sollten Ausführungszähler von 0 für den gesamten Zweig sehen, der den Aufruf enthält . Dies gibt Ihnen einen guten Ausgangspunkt um entweder Ihre Tests zu erweitern - für Anwendungsfälle, die Sie verpasst haben - oder um Code zu entfernen.