
The products division of GrammaTech has been acquired by Battery Ventures. The new company name is CodeSecure, Inc. There are no changes regarding your contact persons and the tool names.
CodeSonar®
Static Code Analysis for Embedded Software
CodeSonar is CodeSecure´s flagship static analysis software. Able to analyze both source code and binary code, it is specifically designed for zero-tolerance defect environments. With its advanced static analysis engine, CodeSonar is one of the most effective tools for eliminating the most costly and hard-to-find software defects early in the application development lifecycle. Compared with other tools, CodeSonar identifies twice as many defects that result in system crashes, leaks, data races, memory corruptions and security vulnerabilities.
CodeSonar has performed best on several static analysis tool benchmarks in finding static memory, resource management, concurrency, and other defects.
CodeSonar enables teams to analyze complete applications, enabling you to take control of your software supply chain and eliminate the most costly and hard-to-find defects early in the application development lifecycle. CodeSonar extends team scalability, improves quality, and instills confidence.
If your company engineers safety-critical applications, it is indispensable to audit the reliability and safety of your software with CodeSonar.
CodeSonar – your advantages at a glance:
- Eliminate security vulnerabilities
- Detect and correct multicore / multithread flaw
- Audit code against coding standards and regulatory requirements
- Reduce the risk of shipping costly, defective, brand-damaging defects
- Increase code quality and transparency with customized reports
- Improve team scalability and efficiency
- Single, unified dataflow analysis that models the underlying computation of the entire program
- No need for multiple pattern-matching checkers
- More general symbolic execution that catches a broader range of problems and provides significantly better detection of defects
- Finds the most complex bugs, including bugs that follow new or unusual patterns
-
Certified by SGS TÜV Saar for use in the development of safety-critical software according to ISO 26262, IEC 61508 and EN 50128
In addition there is an online training for CodeSonar available. You have access to helpful webinars and tutorials 24 hours per day. The price for this training depends on the license and the amount of users. Please contact us for pricing.
To discover for yourself the effectiveness of this technology, please request a free evaluation.
Selection of CodeSonar Customers







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)