![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
Read the latest CodeSecure White Papers Now!
Get the latest news from 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 for Embedded Systems
![[PDF]](icon-pdf-15x16.gif)
![[PDF]](icon-pdf-15x16.gif)
Development Testing
Defect Detection
Concurrency Checks
Security Checks
Software metrics
Automate the Verification of Your Code
CodeSonar for Java
Compliant to standards
DO-178
ISO 26262
FDA-standards
MISRA
CWE- and BSI-regulations
"Power of Ten" and JPL-regulations
IEC 62443
How Static Code Analysis works
Workflow-Features
Binary-Analysis
Visual-Taint-Analysis
Whitepapers
References
University program
Case studies
![[PDF]](icon-pdf-15x16.gif)