
Whitepapers

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 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)