Lint: Eine kurze Einführung

Von allen Einzelmaßnahmen, die Sie zur  Steigerung der Produktivität Ihrer C bzw. C++ Programmierer durchführen können, bringt der Einsatz von Lint zweifellos den größten Erfolg.

Eine Aufgabe des Compilers ist es, Sie auf Syntax-Fehler in Ihrem Programm hinzuweisen (vergessenes ';', fehlende Definition einer Variablen, etc.). Irgendwann haben Sie alle Syntaxfehler Ihres Programms beseitigt, aber ist Ihr Programm dann bereits fehlerfrei?

In der Regel ist das nicht der Fall, und deshalb beginnt jetzt die Phase der Fehlersuche. Viele dieser Fehler sind schnell gefunden, aber manche können ausgesprochen tückisch sein:

• Sie treten nur manchmal bzw. nur unter bestimmten Bedingungen auf.
• Der Zeitpunkt, an dem ein Fehler entsteht und der, an dem er sich manifestiert, können sehr weit auseinander liegen (Bsp.: Ein nicht bzw. falsch initialisierter Pointer überschreibt Datenbereiche, die zu einem späteren Zeitpunkt benötigt werden.).
• Sie haben mit Features von C bzw. C++ zu tun, die sie nur selten nutzen und die Sie deshalb nicht ganz korrekt interpretieren.
• usw.

Wie jeder Software-Entwickler weiß, kann die Lokalisierung derartiger Fehler sehr schwierig und damit zeitaufwendig werden.

An dieser Stelle kommt Lint ins Spiel: Stellen Sie sich eine Wissensbasis vor, die alle Fehler enthält, die C oder C++ Programmierern unterlaufen können, und zwar Programmier-Fehler, keine Syntax-Fehler. Lint untersucht Ihren Quell-Code daraufhin, ob sich darin Fehler verbirgen, die in dieser Wissensbasis enthalten sind. Sie werden so u.a.

• auf Konstruktionen hingewiesen, die ganz klar fehlerhaft sind, ohne deshalb syntaktisch falsch zu sein (z.B. Überschreiten von Array-Grenzen),
• oder die potentiell problematisch sind (bestimmte Pointer-Operationen, gemischte Verwendung von signed und unsigned Variablen, boolesche Ausdrücke, die einen konstanten Wert liefern, mögliche Fehler bei der Verwendung von Makros, etc.),
• oder die - interessant für C++ Programmierer - auf bestimmten Eigenschaften von C++ basieren, die im Verlauf des Standardisierungsprozesses modifiziert wurden,
• oder die sehr spezielle Features von C++ beinhalten, die kaum jemand kennt, und die deshalb völlig unerklärlich erscheinen,
• oder solche, die nur modul-übergreifend erkennbar sind, und auf die Sie deshalb kein Compiler und kein Linker hinweisen kann (etwa die Deklaration einer Variablen in einem Code-File als double und ihre tatsächliche Definition in einem anderen als float),
• oder oder oder ...

Software-Entwickler haben damit ein sehr mächtiges Werkzeug zur Verfügung, um auf inhaltliche Fehler frühzeitig hingewiesen zu werden, statt sie durch aufwendige Fehlersuche selbst finden zu müssen.

In den Beispielen zu Lint finden Sie einige (Mini-) Programme, die oft Verblüffung hervorrufen. Natürlich wurden diese auf das Notwendigste reduziert. Nun stellen Sie sich bloß einmal vor, Sie müßten die jeweiligen Fehler finden und zwar in einem Programm realistischer Größe und natürlich unter Zeitdruck ...

Home   Top  

Copyright © Helmut Giese, email: hgiese@ratiosoft.com
Parkstr. 41, 34119 Kassel, Tel.: 0561 - 766 59 50, Fax: 0561 - 766 59 51
Königstor 59, 34119 Kassel, Tel.: 0561 - 739 35 30, Fax: 0561 - 739 35 31

Web Design von Bianca Engler:   email    internet