Die statischen Analysetools von LDRA für sichere Codingstandards wie CERT C, CERT C++ und CERT Java automatisieren den Entwicklungs-Lebenszyklus für sichere Software.

CERT C / CERT JAVA

Die LDRA Tool Suite deckt den gesamten Softwareentwicklungs-Lebenszyklus ab – von der Rückverfolgbarkeit der Anforderungen und das Engineering über die statische und dynamische Softwareanalyse bis zum Modul- und Integrationstest. Die Genauigkeit, der Determinismus und die formalen Reportfunktionen der LDRA Tool Suite entsprechen den Verlässlichkeits-Anforderungen bei der Entwicklung zuverlässiger, Security-kritischer Software.

Auf Welche Tools sind richtig für mich? finden Sie Hilfe bei der Auswahl der auf Sie zugeschnittenen Tool Suite.

LDRA-Tools für die sicheren Codingstandards CERT C, CERT C++ und CERT Java
  • LDRA Testbed/TBvision ist die zentrale Analyse-Engine der LDRA Tool Suite. Sie übernimmt die statische Analyse, die zum Durchsetzen von Codingstandards erforderlich ist, und ermöglicht Ihnen das Sichten der Ergebnisse nach jedem unterstützten Codierstandard – darunter CERT C, CERT C++ und CERT Java –, um die gängigen Programmierfehler aufzudecken, die hinter den meisten Angriffen auf die Softwaresicherheit stehen
  • Das LDRA TBsecure Modul stellt die Konformität zu Security-Codingstandards und die Speicheranalyse grafisch dar und automatisiert die Konformitäts-Dokumentation
  • LDRArules ist ein kosteneffektiver, eigenständiger und von der LDRA Tool Suite unabhängiger Regelprüfer, dessen Schwerpunkt auf der Steigerung der Softwarequalität durch Konformität zu Codingstandards wie CERT C, CERT C++ und CERT Java liegt

LDRA ist führend in dem Bemühen, den Entwicklern kritischer Embedded-Software bei der Realisierung sicherer Software zu helfen, die die Grundlage für sichere Systeme bildet. Hier skizziert Dr. Mike Hennell, Technical Director bei LDRA, wie Entwickler Software hervorbringen können, die sowohl ‚safe‘ als auch ‚secure‘ ist

cert c aerospace