Unterstützung von anderen Richtlinien für die sicherheitskritische Entwicklung

CodeSonars fortschrittliche Analyse-Engine findet automatisch über hundert Arten von Sicherheitslücken in Ihrem Code. Hierdurch können Sie Sicherheitsverletzungen effizient vermeiden.

CodeSonar unterstützt auch verschiedene Arten von Programmierrichtlinien und erleichtert somit die Beachtung von Industrienormen während der Softwareentwicklung.

Power of Ten-Regeln

CodeSonar überprüft Ihren Code auf Basis der meisten "Power of Ten Rules".
The Power of Ten ist ein Satz von zehn Regeln, die durch Gerard Holzmann bei der NASA für die Nutzung bei der Entwicklung von sicherheitskritischer Software entwickelt worden sind.

Weitere Informationen über die Unterstützung der Power of Ten-Regeln durch CodeSonar sind hier verfügbar.

JPL-Regeln

CodeSecure´s CodeSonar überprüft Code nach den meisten Regeln des Jet Propulsion Laboratory (JPL), welches Satelliten und Raumsonden für die NASA steuert.
Die JPL-Reglen setzen auf die "Power of Ten"- und die MISRA-C-Programmierrichtlinien für sicherheitskritische Applikationen auf. Die JPL-Reglen (JPL Institutional Coding Standards for the C Programming Language) vermeiden Risiken der Nutzung von multi-threaded Software.

Weitere Informationen über die Unterstützung der JPL-Regeln durch CodeSonar sind hier verfügbar.