Implementierungen:

• Splint (früher LCLint), http://splint.cs.virginia.edu/, für FreeBSD, Linux, Solaris and Win32. Kostenlos, aber nur mit Klimmzügen (s.u.) für Embedded-Compiler zu verwenden.
• PC-lint, http://www.gimpel.com/, für Win32, DOS, OS/2. Kommerziell: bei http://www.kessler.de/ 220EUR. Kommt auch Embedded-Compilern klar und kann MISRA-C prüfen (soweit statisch möglich).
• lint
• CodeLint-Plugin (C/C++/Java) für jEdit-Editor
• Cppcheck: Umfangreiche statische C/C++-Codeprüfungen; Stand-Alone-Programm (Windows) oder Plugin für Eclipse und andere IDEs.
• ...

• Variablen, die deklariert aber nicht benutzt werden
• Verwendung uninitialisierter Variablen
• ignorierte return-Werte
• "fall-through" in case-Befehlen
• mögliche Dereferenzierung von NULL-Pointern
• Erkennung mancher MemoryLeak-Situationen
• gefährliche Macro-Definitionen
• ...

Die Frage, ob sich die Anschaffung eines Lint für SpracheCpp trotz fortgeschrittener Compilertechnologie noch lohnt, wurde in de.comp.lang.iso-c++ mit Hinweis auf die interessante Liste http://www.gimpel.com/html/bugs.htm bejat.

Lint Programme für andere Programmiersprachen

• SpracheSmalltalk: SmallLint
• SpracheJava:
• JLint; http://artho.com/jlint/index.shtml (funktioniert bei mir nicht mehr), bzw. http://www.ispras.ru/~knizhnik/jlint/ReadMe.htm (doku)und http://www.ispras.ru/~knizhnik/jlint/ (download)
• Findbugs analysiert den Bytecode, deutlich geringerer Funktionsumfang als etwa PMD, als Ergänzung zum Compiler trotzdem nützlich
• PMD kennt viele Regeln, der Regelsatz kann durch Regelauswahl, -priorisierung und -parameter an eigene Bedürfnisse angepasst werden, Warnungen können durch einen Reviewer bequem auskommentiert und wieder sichtbar gemacht werden, es gibt Plugins für viele IDEs, nützlich auch die Funktion zum Aufspüren von Code-Dubletten

Forschung

• http://www.research.ibm.com/patrans/, IBM forscht bzgl. statischer Codeanalyse, TypInferenz und Refactoring (u. a. für Eclipse und RationalRose)

KategorieSoftwareTool KategorieC KategorieCee