Building a safe and secure embedded world

ECLAIR

ECLAIR ist eine leistungsfähige Plattform zur statische Code-Analyse von Programmen, die in C/C++ geschrieben sind. Das Tool prüft die Einhaltung von Codier-Standards wie MISRA. ECLAIR berechnet Metriken, darunter die HIS-Metriken und verschiedene Varianten von Komplexitätsmetriken.

» Mehr über ECLAIR erfahren (PDF in englischer Sprache)

Die Funktionalität von ECLAIR ist in Paketen gebündelt, die kombiniert werden können:

Package „Bug Finder“

Kann Fehler und Schwächen finden, die zu Abstürzen, Fehlverhalten und Sicherheitslücken führen können.

» Mehr zum Bug Finder Package (PDF in englischer Sprache)

Package „MISRA-C:2004 + HIS“

Prüft die Regeln von MISRA-C:2004 und berechnet die Metriken der Herstellerinitiative Software (HIS).
» Mehr zum Package „MISRA-C:2004 + HIS“ (PDF in englischer Sprache)

Package „MISRA C:2012 + HIS“

Prüft die Regeln von MISRA C:2012 und berechnet die Metriken der Herstellerinitiative Software (HIS).
» Mehr zum Package „MISRA C:2012 + HIS“ (PDF in englischer Sprache)

Package „MISRA-C++:2008 + HIS“

Prüft die Regeln von MISRA-C++:2008 und berechnet die Metriken der Herstellerinitiative Software (HIS).
» Mehr zum Package „MISRA-C++:2008 + HIS“ (PDF in englischer Sprache)

ECLAIR ist an populäre Native-Compiler und Cross-Compiler aus dem eingebetteten Bereich angepasst, darunter beispielsweise

  • ARM
  • CodeWarrior,
  • Cosmic,
  • CrossWorks
  • GCC,
  • Green Hills,
  • HighTec,
  • IAR,
  • Intel,
  • Keil,
  • MPLAB,
  • Microsoft,
  • QNX,
  • Softune,
  • Tasking,
  • Texas Instruments,
  • Wind River,
  • Clang/LLVM

ECLAIR kann in Entwicklungsumgebungen integriert werden, beispielsweise in

  • IAR Embedded Workbench
  • Eclipse für C/C++

ECLAIR läuft unter Windows, Unix/Linux und OS X.

 

 

Search formContactOnlineshop