![GrammaTech Static Code Analysis](media/banner/Banner_CodeSonar_2023.png)
Whitepapers
![Grammatech Whitepapers](Whitepapers_Grammatech-800Xauto.jpg)
Detect bottlenecks: Identify problems with the cache usage (by Royd Lüdtke, Verifysoft)
Making Safety-Critical Software Development Affordable with Static Analysis (external link)
Finding Concurrency Errors with CodeSecure Static Analysis
Detecting Domain-specific Coding Errors with Static Analysis
Simplifying DO-178B Certification with CodeSecure Static Analysis Tools
Simplifying ISO 26262 Compliance with CodeSecure
Bug-Hunting mit Statischer Codeanalyse
Wegweiser zur Auswahl eines Werkzeuges zur Statische Codeanalyse
Auffinden von Nebenläufigkeitesfehlern durch Statische Codeanalyse
Lesen Sie hier die neusten Whitepaper von CodeSecure!
Informieren Sie sich hier über alle Neuigkeiten von CodeSecure!
![CodeSonar Logo](media/logos/CodeSonar_Logo_Transparent.png)
![GrammaTech Static Code Analysis Screenshot 03](grammatech_codesonar_03.jpg)
![GrammaTech CodeSonar Screenshot 01](grammatech_codesonar_osx_30.png)
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)