
CodeSecure-Hochschulprogramm

Codesecure und Verifysoft Technology stellen Hochschulen kostenlose Lizenzen von CodeSonar® für Forschung und Lehre ("non commercial use only") zur Verfügung. Für Supportfragen können Sie den Verifysoft-Support kontaktieren.
Im Gegenzug zu der kostenlosen Nutzung von CodeSonar, bitten wir Sie, auf die Webseiten von CodeSecure bzw. Verifysoft (www.grammatech.com und www.verifysoft.com) zu verlinken und uns in Veröffentlichungen über CodeSonar zu erwähnen.
Bitte kontaktieren Sie uns um weitere Informationen zu erhalten.
Verifysoft Technology bietet im Rahmen des Hochschulprogramms ebenfalls Sonderkonditionen für weitere Softwaretest- und -analysetools an.



CodeSonar 4 für Embedded Systeme
![[PDF]](icon-pdf-15x16.gif)
![[PDF]](icon-pdf-15x16.gif)
Development Testing
Defect Detection
Concurrency Checks
Security Checks
Software-Metriken
Automatisierung der Quellcodeverifikation
CodeSonar for Java
Erfüllung von Normen
DO-178
ISO 26262
FDA-Normen
MISRA
CWE- und BSI-Regeln
"Power of Ten" und JPL-Regeln
IEC 62443
Wie Statische Codeanalyse funktioniert
Workflow-Features
Binary-Analyse
Visual-Taint-Analyse
Whitepapers
Referenzen
Hochschulprogramm
Fallstudien
![[PDF]](icon-pdf-15x16.gif)