Was ist das beste Befehlszeilenprogramm zum Bereinigen von Code?

Als Dan Fego darauf hingewiesen, GCC fangen können ungenutzte Variablen und unbenutzt statische Funktionen. Es wird nicht normalerweise ungenutzte extern-Funktionen, wie es normalerweise funktioniert eine Quelle-Datei auf einmal.

GCC (v4.3.2) hat Hunderte, wenn nicht Tausende von Optionen. Einer, der helfen könnte, ist '--combine' zu verbinden Quellcode-Dateien (solange man nicht in der Gewohnheit, dass Sie die gleichen Funktions-oder Variablennamen innerhalb von unterschiedlichen source-Dateien).

Die option'--help", erzählt Sie mehr, die Optionen '--help=optimizers' und '--help=warnings' geben Sie ein paar hundert Zeilen output. Die Warnungen sind:

-Wunused                    This switch lacks documentation
-Wunused-function           Warn when a function is unused
-Wunused-label              This switch lacks documentation
-Wunused-macros             Warn about macros defined in the main file that
                            are not used
-Wunused-parameter          Warn when a function parameter is unused
-Wunused-value              Warn when an expression value is unused
-Wunused-variable           Warn when a variable is unused

Hinzugefügt: dies ist ein Skript namens glint dass ich verwenden, um zu desinfizieren meinem code. Es ist ziemlich alt, so dass Sie nicht verwenden die ' #!/bin/sh ' - notation für die erste Zeile, und es sagt '$*' statt '"$@"', sowohl von denen, die behoben werden sollte, aber weder der behoben werden muss dringend. Beachten Sie, dass, obwohl GCC 4.x unterstützt nicht mehr die '-fwriteable-strings' option, es noch unterstützt -Wwrite-strings " - option und das hat Wert.

Dieses Skript zeigt, dass Sie können erhalten eine Menge Laufleistung von vorhandenen Werkzeugen mit nur einer kleinen Menge an Arbeit. Sie können konfigurieren, dass nur etwa jeder option nutzt es - wenn auch hauptsächlich über die Umwelt, anstatt den Befehl Linie. Natürlich, Sie können hinzufügen zusätzliche Warnung Optionen an der Befehlszeile; was Sie nicht tun können, ist zu entfernen vorgegebenen Optionen außer über die Umwelt. Aber das ist OK; Sie sind ausgewählt aus guten Gründen. In diesen Tagen, ich würde wahrscheinlich 'GLINT_ANSI=-std=c99' oder beheben Sie das Skript; ich habe nicht verwendet es viel zu spät, da ich den code ziemlich genau dem standard, dass glint erzwingt. (Beachten Sie, dass die '-o /dev/null' bedeutet, dass können Sie nur eine Datei zu einem Zeitpunkt; hack zu beheben!)

:   "@(#)$Id: glint.sh,v 1.5 2002/08/09 21:40:52 jleffler Exp jleffler $"
#
#   Use GCC as excruciatingly pedantic lint
#   Not a complete replacement for lint -- it doesn't do inter-file checking.
#   Now configurable via the environment.
#   Use GLINT_EXTRA_FLAGS to set extra flags via the environment.
#   NB: much Solaris code won't work with -undef enabled.

: ${GLINT_GCC:='gcc'}

: ${GLINT_ANSI='-ansi'}
: ${GLINT_FNO_COMMON='-fno-common'}
: ${GLINT_FSHORT_ENUMS='-fshort-enums'}
: ${GLINT_PEDANTIC='-pedantic'}
: ${GLINT_UNDEF='-undef'}
: ${GLINT_W='-W'}
: ${GLINT_WAGGREGATE_RETURN='-Waggregate-return'}
: ${GLINT_WALL='-Wall'}
: ${GLINT_WCAST_ALIGN='-Wcast-align'}
: ${GLINT_WCAST_QUAL='-Wcast-qual'}
: ${GLINT_WCONVERSION='-Wconversion'}
: ${GLINT_WMISSING_DECLARATIONS='-Wmissing-declarations'}
: ${GLINT_WREDUNDANT_DECLS='-Wredundant-decls'}
: ${GLINT_WMISSING_PROTOTYPES='-Wmissing-prototypes'}
: ${GLINT_WNESTED_EXTERNS='-Wnested-externs'}
: ${GLINT_WPOINTER_ARITH='-Wpointer-arith'}
: ${GLINT_WSHADOW='-Wshadow'}
: ${GLINT_WSTRICT_PROTOTYPES='-Wstrict-prototypes'}
: # ${GLINT_WTRADITIONAL='-Wtraditional'}
: ${GLINT_WWRITE_STRINGS='-Wwrite-strings'}

exec ${GLINT_GCC} \
    ${GLINT_ANSI} \
    ${GLINT_FNO_COMMON} \
    ${GLINT_FSHORT_ENUMS} \
    ${GLINT_PEDANTIC} \
    ${GLINT_UNDEF} \
    ${GLINT_WAGGREGATE_RETURN} \
    ${GLINT_WALL} \
    ${GLINT_WCAST_ALIGN} \
    ${GLINT_WCAST_QUAL} \
    ${GLINT_WCONVERSION} \
    ${GLINT_WMISSING_DECLARATIONS} \
    ${GLINT_WREDUNDANT_DECLS} \
    ${GLINT_WMISSING_PROTOTYPES} \
    ${GLINT_WNESTED_EXTERNS} \
    ${GLINT_WPOINTER_ARITH} \
    ${GLINT_WSHADOW} \
    ${GLINT_WSTRICT_PROTOTYPES} \
    ${GLINT_WTRADITIONAL} \
    ${GLINT_WWRITE_STRINGS} \
    ${GLINT_W} \
    ${GLINT_EXTRA_FLAGS} \
    -o /dev/null -O4 -g -c $*

InformationsquelleAutor der Antwort Jonathan Leffler

Obwohl ich sicher bin, dass dies keine umfassende Liste der statische code-Analyse tools, hier sind meine Eindrücke von einigen anderen diejenigen, mit denen ich gearbeitet habe in der Vergangenheit. (Ich arbeite meist mit C.)

1. Schiene: Ich habe oft verwenden Schienen, denn es ist für viele GNU/Linux-Distributionen. Es ist relativ einfach, mit zu arbeiten, aber es neigt dazu, zu überwältigend sein, wenn der Betrieb unter die strengste Einstellung. Außerdem, die manchmal notwendigen Einsatz von Annotationen können Unordnung und verschleiern leicht lesbaren code. Egal, ich schlage vor, es zu benutzen.

2. Uno: Uno ist definitiv eine vielversprechende, aber es ist nicht so streng wie Splint (by design). Stattdessen konzentriert Sie sich auf die Klarheit und Nützlichkeit seiner Warnungen. Für mich, die Uno ist nur sinnvoll als Ergänzung zu Schiene (zu deutlich darauf hinweisen, Warnungen, die versteckt zwischen den vergleichsweise vielen, die Schiene Probleme).

3. PC-lint: Ich finde, dass PC-lint ist unhandlich für ein proprietäres Programm. Einmal habe ich es benutzt, wenn die Entwicklung für MS-DOS und kryptische Namen, die er verwendet für seinen Fehler, machte es sehr schwierig zu verwenden. Von dem was ich höre, gibt es viele bessere Produkte zu verwenden, die auf MS-DOS.

4. Pscan: (Tot hyperlink) Pscan ist toll für die Suche nach format-string-Schwachstellen! Wie bei Uno, schlage ich vor, es als Ergänzung zur Schiene.

Wenn Sie nicht arbeiten, mit C, Sie können auch heraus überprüfen möchten: Wikipedia - Liste von Werkzeugen zur statischen code-AnalyseInspektion/Review-Tools, Source/Binary-Code-Analysatorenund Source Code Security-Analysatoren.

InformationsquelleAutor der Antwort

schiene (http://www.splint.org/) ist ganz ausgezeichnet; ich habe es auf megaline-codes zu suchen, für diese Art der Sache,

(Aktualisiert: jeder will eine art Direktor.)

InformationsquelleAutor der Antwort Charlie Martin