Home / LinuxUser / 2012 / 11 / Splint und Co: Tools zur statischen Code-Analyse

Newsletter abonnieren

Lies uns auf...

Folge LinuxCommunity auf Twitter

Top-Beiträge

Debian 7.1 ist erschienen
(179 Punkte bei 5 Stimmen)

Heftarchiv

LinuxUser Heftarchiv

EasyLinux Heftarchiv

Ubuntu User Heftarchiv

Ubuntu User Heftarchiv

Partner-Links:

Das B2B Portal www.Linx.de informiert über Produkte und Dienstleistungen.

Kehraus

Splint und Co: Tools zur statischen Code-Analyse

PHP Code Sniffer

Auch für die populäre Programmiersprache PHP gibt es ein ähnliches Projekt, den PHP Code Sniffer[6]. Nach der Installation testen Sie mit phpcs eine einzelne PHP-Datei oder gleich ein komplettes Verzeichnis prüfen. Phpcs definiert dazu verschiedene Coding-Standards, die Sie über die Option --standard=Typ auswählen.

Im Beispiel aus Listing 4 beanstandet Phpcs einige eher kosmetische Kleinigkeiten wie beispielsweise falsche Einrückungen oder fehlende Leerzeichen – definitiv keine Fehler, aber unschön. Auch bei Phpcs haben Sie etliche Optionen zur Verfügung (phpcs --help), können eigene Regel-Sets definieren und einzelne Codeteile von der Prüfung ausklammern (Listing 5).

Listing 4

$ phpcs -i
The installed coding standards are PHPCS, Squiz, MySource, Zend and PEAR
$ cat test.php
<?php /* Testdatei für phpcs */
echo "abc";
if (rand(1,10)>5) {
  echo "Zufallszahl >5";
}
?>
$ phpcs test.php
FILE: /home/dauti/Artikel/2012-Code-Analyse/test.php
--------------------------------------------------------------------------------
FOUND 4 ERROR(S) AFFECTING 3 LINE(S)
--------------------------------------------------------------------------------
 1 | ERROR | You must use "/**" style comments for a file comment
 3 | ERROR | No space found after comma in function call
 4 | ERROR | Spaces must be used to indent lines; tabs are not allowed
 4 | ERROR | Line indented incorrectly; expected at least 4 spaces, found 1
--------------------------------------------------------------------------------
$ phpcs --standard=PHPCS test.php
FILE: /home/dauti/Artikel/2012-Code-Analyse/test.php
--------------------------------------------------------------------------------
FOUND 10 ERROR(S) AFFECTING 4 LINE(S)
--------------------------------------------------------------------------------
 1 | ERROR | You must use "/**" style comments for a file comment
 1 | ERROR | Single line block comment not allowed; use inline ("// text")
   |       | comment instead
 2 | ERROR | String "abc" does not require double quotes; use single quotes
   |       | instead
 3 | ERROR | No space found after comma in function call
 3 | ERROR | Expected 1 space before ">"; 0 found
 3 | ERROR | Expected 1 space after ">"; 0 found
 4 | ERROR | Spaces must be used to indent lines; tabs are not allowed
 4 | ERROR | Line indented incorrectly; expected at least 4 spaces, found 1
 4 | ERROR | Line indented incorrectly; expected at least 4 spaces, found 1
 4 | ERROR | String "Zufallszahl >5" does not require double quotes; use single
   |       | quotes instead
--------------------------------------------------------------------------------

Listing 5

// @codingStandardsIgnoreStart
... dieser Code wird nicht geprüft ...
// @codingStandardsIgnoreEnd

Sonstige vergleichbare Projekte

Lint-ähnliche Codeprüfer gibt es nicht nur für C, Perl und PHP, sondern auch für viele weitere Programmiersprachen. Suchen Sie doch einfach mal nach dem Begriff "lint" und Ihrer Lieblingsprogrammiersprache im Netz – Sie werden mit hoher Wahrscheinlichkeit schnell fündig. Doch solche Tools gibt es nicht nur für Programmiersprachen, sondern in vergleichbarer Form auch für das Textsatzsystem LaTeX (ChkTeX, [7]), Pakete der Typen RPM (RPM Lint, [8]) und DEB (Lintian, [9]) sowie Cascading Style Sheets (CSS Lint, [10]).

Einem Freund empfehlen    Druckansicht Bookmark and Share
Kommentare

Hits
Wertung: 212 Punkte (16 Stimmen)

Schlecht Gut

Infos zum Autor

Wolfgang Dautermann

Wolfgang Dautermann ist einer der Organisatoren der Grazer Linuxtage.


Infos zur Publikation

Infos zur Publikation

LinuxUser 07/13

Aktuelle Ausgabe kaufen:

Heft bestellen Heft als PDF kaufen

LinuxUser erscheint monatlich und kostet in der Nomedia-Ausgabe EUR 5,95 und mit DVD EUR 8,50. Weitere Informationen zum Heft finden Sie auf der LinuxUser-Homepage.

Im LinuxUser-Probeabo erhalten Sie drei Ausgaben für 3 Euro. Das Jahresabo (ab EUR 60,60) können Sie im Medialinx-Shop bestellen.

Tipp der Woche

whowatch
Nutzer und Prozesse mit whowatch überwachen
Tim Schürmann, 18.06.2013 12:49, 0 Kommentare

Wenn Administratoren herausfinden wollen oder müssen, was die Benutzer auf einem System gerade so treiben, dann hilft ihnen whowatch. Das kleine Kommandozeilenprogramm zeigt in Ec...

Aktuelle Fragen

SUSE 12.3 64Bit: Miro funzt nicht
Wimpy *, 14.06.2013 13:05, 5 Antworten
Seit Installation von openSUSE 12.3 64Bit startet Miro nicht. (Version 5.0.4-1.24-x86_64 von Pa...
Kontakt via QR code hinzufügen
Herman Sproesser, 17.05.2013 17:46, 4 Antworten
Hi hab in der aktuellen ausgabe 06.2013 den artikel über QR Codes gelesen. Ich hab nartürlich...
Dateimanager Dolphin, wo legt er die Datei Kommentare ab?
Uwe Heine, 16.05.2013 15:19, 1 Antworten
Suse Linux 12.1 - KDE 4.7.2 / Dolphin 1.7. Ich habe bei vielen Dateien über Dolphin Kommentare...
wie baut man Kernel Module so, dass sie mit jedem Kernel laden?
GoaSkin , 22.04.2013 10:22, 1 Antworten
Hallo, baut man anhand eines Kernel-Sources Module, nutzt Linux im Normalfall eine strikte V...
Problem beim Installieren von SuSe 12.3
Georg Prokert, 14.04.2013 00:04, 16 Antworten
Hallo, auf meinem neuem Laptop (Acer Aspire V3-771, Intel Core i5-3230 M, Intel HD Graphics 4...