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®main page
CodeSonar 4 for Embedded Systems
CodeSonar for C/C++ (PDF, 1.5 MB)
CodeSonar for Java (PDF, 1.1 MB)
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
Slide-presentation
CodeSonar 4 for Embedded Systems
CodeSonar for C/C++ (PDF, 1.5 MB)
CodeSonar for Java (PDF, 1.1 MB)
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
Slide-presentation