Unbenutzte lokale Variablen automatisch aus C-Quellcode löschen

Stellen Sie die Warnstufe Ihres Compilers auf und es sollte Ihnen sagen.

Platzieren Sie Ihr Quellfragment in "f.c":

Tricky - Sie müssen C-Code dafür analysieren. Wie nah muss das Ergebnis sein? Beispiel was ich meine:

Nun ist es für Menschen offensichtlich, dass der zweite Kommentar verschwinden muss.

Leichte Abweichung:

Auch hier muss der zweite Kommentar gehen, der diesmal vor b.

Im Allgemeinen möchten Sie Ihre Eingabe analysieren, filtern und alles ausgeben, was nicht die Deklaration einer nicht verwendeten Variable ist. Ihr Parser müsste Kommentare und # include-Anweisungen beibehalten, aber wenn Sie Header nicht # enthalten, ist es möglicherweise unmöglich, Deklarationen zu erkennen (umso mehr, wenn Makros verwendet werden, um die Deklaration zu verbergen). Schließlich müssen Sie über Kopfzeilen entscheiden, ob A * B (); ist eine Funktionsdeklaration (wenn A ein Typ ist) oder eine Multiplikation (wenn A eine Variable ist)

[Bearbeiten] Außerdem:

Auch wenn Sie wissen, dass eine Variable nicht verwendet wird, hängt die richtige Methode zum Entfernen davon sehr vom Remote-Kontext ab. Nehmen wir beispielsweise

Offensichtlich ist c nicht benutzt. Kannst du es ändern?

Vielleicht, aber nicht, wenn & amp; foo in int(*)(int,int,int) gespeichert ist. Und das kann woanders passieren. Wenn (und nur wenn) das passiert, sollten Sie es in

Warum willst du das machen? Angenommen, Sie haben einen anständigen optimierenden Compiler (GCC, Visual Studio und andere), wird die binäre Ausgabe nicht anders sein, wenn Sie das 'int c' in Ihrem ursprünglichen Beispiel entfernen oder nicht.

Wenn es sich nur um Code-Bereinigung handelt, wird Ihnen jede neuere IDE schnelle Links zum Quellcode für jede Warnung geben, klicken Sie einfach auf und löschen Sie:)

Meine Antwort ist eher eine ausführliche Anmerkung zu MSalters sehr gründlicher Antwort. Ich würde über "tricky" hinausgehen und sagen, dass solch ein Werkzeug sowohl unmöglich als auch nicht ratsam ist.

Wenn Sie lediglich die Verweise auf die Variable entfernen möchten, könnten Sie einen eigenen Code-Parser schreiben, der jedoch den Funktionskontext, in dem er sich befindet, unterscheiden muss, beispielsweise

Jeder einfache Parser würde Schwierigkeiten haben, wenn sowohl 'a' als auch 'b' ungenutzte Variablen sind.

Zweitens, wenn Sie Kommentare wie MSalter betrachten, werden Sie feststellen, dass die Leute nicht konsequent kommentieren;

usw.

Wenn Sie also einfach die nicht verwendeten Variablen entfernen, werden verwaiste Kommentare erstellt, die wohl gefährlicher sind als überhaupt keine Kommentare .

Letztlich ist es eine obszön schwierige Aufgabe, elegant vorzugehen, und Sie würden den Code unabhängig von anderen manipulieren. Indem Sie den Prozess automatisieren, würden Sie den Code schlechter machen.

Schließlich sollten Sie darüber nachdenken, warum die Variablen ursprünglich im Code enthalten waren und ob sie veraltet sind, warum sie nicht gelöscht wurden, als alle ihre Referenzen vorhanden waren.

Statische Codeanalyse-Tools zusätzlich zur Warnstufe, wie Paul richtig erklärt hat.

Neben der Möglichkeit, diese durch Warnungen anzuzeigen, optimiert der Compiler diese normalerweise, wenn Optimierungen aktiviert sind. Zu überprüfen, ob eine Variable nie referenziert wird, ist im Hinblick auf die Implementierung im Compiler ziemlich trivial.

Sie benötigen einen guten Parser, der die originale Zeichenposition der Token beibehält (sogar in Anwesenheit des Präprozessors!). Es gibt einige Werkzeuge für das automatisierte Refactoring von C / C ++, aber sie sind weit vom Mainstream entfernt.

Ich empfehle Ihnen, Taras Blog zu besuchen. Der Typ macht einige große automatische Refactorings von Mozilla Codebase, wie Out-Params mit Rückgabewerten ersetzen. Sein Hauptwerkzeug für das Umschreiben von Code ist Schweinefleisch :

  

Pork ist ein C ++ - Parsing und Neuschreiben   Werkzeugkette. Der Kern von Pork ist ein C ++   Parser, der genaues Zeichen liefert   Positionen für Anfang und Ende von   jeder AST-Knoten sowie der Satz von   Makroerweiterungen, die beliebige enthalten   Lage. Diese Information ermöglicht C ++   automatisch in a umgeschrieben werden   genauer Weg.

Aus dem Blog:

  

Bisher wurde Schweinefleisch für "kleine" verwendet   Dinge wie Umbenennen   Klassen und Funktionen, rotierend   Outparameter und Korrektur prbool   Fehler. Außerdem hat sich das Schwein bewährt   in einem Experiment, das beteiligt war   Neuschreiben fast jeder Funktion (dh   Erzeugen eines 3 + MB Patch) in Mozilla zu   Verwenden Sie Garbage Collection anstelle von   Referenzzählung.

Es ist für C ++, aber es kann Ihren Bedürfnissen entsprechen.

Einer der Poster oben sagt "unmöglich und nicht ratsam". Ein anderer sagt "tricky", was die richtige Antwort ist. Sie benötigen 1) einen vollständigen C-Parser (oder was auch immer Sprache von Interesse), 2) Inferenzverfahren, die die Sprache verstehen Bezeichnerreferenzen und Datenflüsse, um diese Variable zu bestimmen ist in der Tat "tot" und 3) die Fähigkeit, tatsächlich zu modifizieren der Quellcode.

Was an all dem schwer ist, ist die enorme Energie, die aufgebaut werden muss 1) 2) 3). Sie können sich für keine einzelne Bereinigungsaufgabe rechtfertigen. Was man tun kann, ist eine solche Infrastruktur speziell zu bauen mit dem Ziel, es über viele verschiedene zu amortisieren Programmanalyse und Transformationsaufgaben.

Mein Unternehmen bietet ein solches Tool an: Das DMS Software Reengineering Werkzeugkasten Sehen Ссылка DMS hat Frontends für die Produktionsqualität für viele Sprachen, einschließlich C, C ++, Java und COBOL.

Wir haben tatsächlich ein automatisiertes "nutzlose Erklärungen finden" erstellt. Werkzeug für Java, das zwei Dinge tut: a) listet sie alle auf (und erstellt so die Liste!) b) erstellt eine Kopie des Codes mit den unbrauchbaren Deklarationen    entfernt. Sie wählen aus, welche Antwort Sie behalten möchten: -)

Das Gleiche für C wäre nicht schwierig. Wir schon ein Werkzeug haben, das solche toten Variablen / Funktionen identifiziert.

Ein Fall, den wir nicht angaben, ist der "nutzlose Parameter" Fall, weil Sie einen nutzlosen Parameter entfernen, haben Sie um alle Aufrufe von anderen Modulen zu finden, vergewissern Sie sich, dass das Einrichten des Arguments keine Seite hat Effekt, und reiße das nutzlose Argument aus. Wir haben tatsächlich vollständige Grafiken der gesamten Software System von Interesse, und so würde dies auch sein möglich.

Also, es ist einfach knifflig und nicht einmal sehr knifflig wenn Sie die richtige Infrastruktur haben.

Auch: Schiene .

  

Splint ist ein Werkzeug zur statischen Überprüfung von C-Programmen auf Sicherheitslücken und Codierungsfehler. Mit minimalem Aufwand kann Splint als besserer Flusen verwendet werden. Wenn zusätzliche Anstrengungen unternommen werden, um Anmerkungen zu Programmen hinzuzufügen, kann Splint eine stärkere Überprüfung durchführen, als dies mit einem Standard-Lint möglich ist.