2009-12-17 9 views

Antwort

11

Wenn ich mich richtig erinnere, ist das was lint tut.

+1

Lint betrachtet mehr als nur Syntax, es sucht auch nach fahlen Konstrukten wie die Verwendung einer Variablen, bevor sie gesetzt werden. –

+3

So geht Perl :: Critic. – tsee

13

Es ist ein Open-Source-Programm Splint genannt:

Splint ist ein Werkzeug für statisch C-Programme auf Sicherheitslücken überprüft und Fehler-Codierung. Mit minimalem Aufwand kann Splint als besserer Flusen verwendet werden. Wenn zusätzliche Anstrengungen unternommen werden, um Anmerkungen zu Programmen hinzuzufügen, kann Splint eine stärkere Überprüfung durchführen, als dies mit jedem Standard-Lint möglich ist.

17

C Programme, die zusammen

  • BLAST (Berkeley Faule Abstraction Software Verification Tool) - ein Software Modellprüfer für C-Programme auf faule Abstraktion basieren.
  • Clang - Ein Compiler, der einen statischen Analysator enthält.

  • Frama-C - Eine statische Analyse Rahmen für C.

  • Sparse - ein Tool, Fehler im Linux-Kernel zu finden.

  • Splint - Eine Open-Source-Version Version von Lint (C-Sprache) entwickelt.

List of tools for Static Code Analysis for C (more than the list above)

5

Es ist ein wenig off topic, aber zum Thema wertvoller Code-Analysatoren für C ist valgrind vertrackt Speicherverwaltung zu fangen.

Verwandte Themen