ANSI

Dass LCLint tatsächlich noch tiefgründigere Sachen kann, zeigt das folgende Listing 3 (reihenfolge.c):

Listing 3

reihenfolge.c

01 extern int glob;
02
03 extern int aenderglob(void)
04  /*@globals glob@*/
05  /*@modifies glob@*/;
06
07 int main(void)
08 {
09   int i=1;
10   int x;
11
12   x = i++ * i;
13   i+=aenderglob() * glob;
14
15   return 1;
16 }

Bei der Prüfung mit LCLint bekommt man folgendes Ergebnis:

$ lclint reihenfolge.c
reihenfolge.c: (in function main)
reihenfolge.c:12,13: Expression has undefined behavior (value of right operand
                        modified by left operand): i++ * i
  Code has unspecified behavior. Order of evaluation of function parameters or
  subexpressions is not defined, so if a value is used and modified in
  different places not separated by a sequence point constraining evaluation
  order, then the result of the expression is unspecified. (-evalorder will
  suppress message)
reihenfolge.c:13,21: Expression has undefined behavior (value of right operand
                        modified by left operand): aenderglob() * glob
  • Was mit der Berechnung von x++ * x gemeint sein könnte, ist im ersten Augenblick nicht ganz klar. Es könnte bedeuten, dass zuerst x * x gebildet, dann dem Ergebnis zugewiesen, und erst anschließend die Variable x inkrementiert wird. Andererseits könnte es bedeuten, dass erst Variable x genommen, dann inkrementiert, und dann mit dem inkrementierten x multipliziert wird. Eingefleischte C-Profis mögen wissen, was ihr Compiler daraus macht, es ist allerdings nicht nur schlechter Stil, C-Programme auf diese Art und Weise zu schreiben, es verstößt überdies gegen ANSI C; dort ist vereinbahrt, dass alle Seiteneffekte in einer Sequenz bereits beendet sein müssen, bevor dieser Punkt erreicht wird, und keine Seiteneffekte auftreten dürfen, bevor er beendet ist.
  • Interessant ist auch die zweite Meldung von LCLint, die darauf hinweist, dass die Variable glob innerhalb der Funktion aenderglob() geändert wird und damit hier die Reihenfolge der Verarbeitungsschritte nicht definiert ist. Dies konnte LCLint entdecken, obwohl die Funktion aenderglob() selbst eine externe Funktion ist – zu diesem Zweck wurde der stilisierte Kommentar /*@modifies glob@*/ in das Listing eingefügt.

Der Herr der endlosen Ringe

LCLint kann ganz gut Endlosschleifen erkennen. Dazu betrachten wir folgendes kleines Beispiel (Listing 4, endlos.c):

Listing 4

endlos.c

01 extern int f(void)
02   /*@modifies nothing@*/;
03
04 int main(void)
05 {
06   int i=1;
07
08   while(0 < f()) i++;
09
10   return 1;
11 }

LCLint gibt dann aus:

endlos.c: (in function main)
endlos.c:8,9: Suspected infinite loop.  No value used in loop test ([result of
                 f]) is modified by test or loop body.
  This appears to be an infinite loop. Nothing in the body of the loop or the
  loop test modifies the value of the loop test. Perhaps the specification of a
  function called in the loop body is missing a modification. (-infloops will
  suppress message)

LCLint erkennt am stilisierten Kommentar /*@modifies nothing@*/, dass die Funktion keine Variable ändert, und nimmt daher an, dass der Rückgabewert für die Funktion konstant ist. Das riecht förmlich nach einer Endlosschleife, und LCLint erkennt diese.

Das Programm LCLint ist unter http://lclint.cs.virginia.edu/ zu finden. Dort gibt es eine ausführliche Dokumentation. Das zugehörige RPM-Paket gehört zum Umfang der meisten Distributionen (meine SuSE hat es jedenfalls). Insbesondere gilt für den LCLint: Probieren, probieren und weiter probieren.

Wer LCLint richtig anwendet, der findet bereits im Vorfeld viele Fehler. Ich jedenfalls habe meiner Firma unlängst vorgeschlagen, die C-Programme, die wir von außerhalb einkaufen, vorher durch LCLint qualitätszusichern. Und das beweist schon, dass sich LCLint nicht nur für den kleinen Mann, sondern auch für die ganz großen Firmen eignet…

Glossar

Docktoren

Docktor [m] – ein alberner Werftarbeiter

lint

(Syntax: lint [-abceghprvwxzHF]) Das lint-Kommando kennt eine ganze Reihe von Optionen. Hier sind die wichtigsten aufgeführt.

ANSI C

ANSI, American National Standard Institute. Ein 1918 gegründeter gemeinnütziger Zusammenschluss von Unternehmer- und Industriegruppen, der sich mit der Entwicklung freiwilliger Standards beschäftigt. ANSI C korrigierte Unzulänglichkeiten der Sprache C.

LinuxCommunity kaufen

Einzelne Ausgabe
 
Abonnements
 
TABLET & SMARTPHONE APPS
Bald erhältlich
Get it on Google Play

Deutschland

Ähnliche Artikel

  • Splint und Co: Tools zur statischen Code-Analyse
    Zwar finden Compiler Syntaxfehler in Programmen, aber auch syntaktisch korrekter Code kann Ungenauigkeiten, logische Fehler oder veraltete Funktionen beinhalten. Solche Probleme spüren Sie mit Quellcode-Analyzern auf.
  • Das Spiel zum Wochenende: Suppressed
    In einem kostenlosen Jump-and-Run-Spiel von Zephyo versucht ein kleiner Waisenjunge aus einem fiktiven totalitären Staat zu flüchten. Mit der beklemmenden Inszenierung möchte der Entwickler vor allem zum Nachdenken anregen.
  • Im Innern der Muschel
    Mit der Version 4 erhält die Bourne Again Shell (Bash) neue Funktionen, die sie einmal mehr als leistungsfähige Programmierschnittstelle zum System und zu Applikationen qualifiziert.
  • Entwicklungshelfer
    Nachdem in den ersten Teilen der Python-Einführung die Sprache beschrieben wurde, geht es im letzten Teil um nützliche Hilfen rund um Python.
  • Erste Schritte mit Bash-Skripten
    Das Programmieren von Shell-Skripten ist keine Hexerei. Schon mit wenigen Grundkenntnissen sparen Sie durch das Automatisieren alltäglicher Aufgaben viel Zeit.
Kommentare

Infos zur Publikation

LU 10/2016: Kryptographie

Digitale Ausgabe: Preis € 0,00
(inkl. 19% MwSt.)

LinuxUser erscheint monatlich und kostet 5,95 Euro (mit DVD 8,50 Euro). Weitere Infos zum Heft finden Sie auf der Homepage.

Das Jahresabo kostet ab 86,70 Euro. Details dazu finden Sie im Computec-Shop. Im Probeabo erhalten Sie zudem drei Ausgaben zum reduzierten Preis.

Bei Google Play finden Sie digitale Ausgaben für Tablet & Smartphone.

HINWEIS ZU PAYPAL: Die Zahlung ist ohne eigenes Paypal-Konto ganz einfach per Kreditkarte oder Lastschrift möglich!

Aktuelle Fragen

Scannen nur schwarz-weiß möglich
Werner Hahn, 20.09.2016 13:21, 2 Antworten
Canon Pixma MG5450S, Dell Latitude E6510, Betriebssyteme Ubuntu 16.04 und Windows 7. Der Canon-D...
Meteorit NB-7 startet nicht
Thomas Helbig, 13.09.2016 02:03, 3 Antworten
Verehrte Community Ich habe vor Kurzem einen Netbook-Oldie geschenkt bekommen. Beim Start ersch...
windows bootloader bei instalation gelöscht
markus Schneider, 12.09.2016 23:03, 1 Antworten
Hallo alle zusammen, ich habe neben meinem Windows 10 ein SL 7.2 Linux installiert und musste...
Ubuntu 16 LTE installiert, neustart friert ein
Matthias Nagel, 10.09.2016 01:16, 3 Antworten
hallo und guten Abend, hab mich heute mal darangewagt, Ubuntu 16 LTE parallel zu installieren....
LibreOffice Writer / Ububtu 16.04 / DELL Latitude E6510
Werner Hahn, 06.09.2016 17:26, 2 Antworten
Beim Schreiben oder Kopieren in LibreOffice Writer erschien bisher die Seite in Displaymitte, war...