Imagix 4D Version 10.5.7 Available
(San Luis Obispo/USA, Offenburg/Germany, 26 September 2025)
Imagix has released version 10.5.7 of Imagix 4D and includes extended support for current versions of Testwell CTC++.
The release contains these changes:
- Renaming the coverage report to Function Decision and Call Coverage
- Using decision coverage from Testwell CTC++ xml exports of version 9 and 10
- Enhanced matching of Testwell CTC++ probes with Imagix control flow diagrams
- Improving readability of report
- Fixes to coverage calculations for certain if statements
- Consistency checks to call coverage
The Function Decision and Call Coverage report contains links to the functions and source lines contributing to the results (sample below). Double clicking on links displays charts and source code for the symbols. Right clicking on function symbols lets you display flow charts of the functions where you can highlight the coverage data
More detail about specific changes is contained in the release notes.
Over 35 Years of Testwell CTC++
A Milestone in Code Coverage
(Offenburg/Germany, 05 August 2025)
For over 35 years, Testwell CTC++ has supported development teams worldwide in improving the quality of their software precisely and reliably. What began in 1989 as a small project has evolved
into a powerful code coverage analysis tool – continuously developed to meet the demands of modern software development.
Today, Testwell CTC++ is established in safety-critical industries such as
automotive, medical technology, and aerospace. The reasons for this are its functionality, wide range of applications, and a dedicated team.
As an independent and growing company with an experienced team, we continue to develop Testwell CTC++ – with the goal of being a reliable partner for software quality to our customers around the world.
We sincerely thank all users and partners for their continued trust – yesterday, today, and in the future!
Click here to learn more about Testwell CTC++.
CodeSonar Version 9.1 Available
(Bethesda/USA, Offenburg/Germany, 29 July 2025)
CodeSecure Inc. today announced the release of CodeSonar, delivering key enhancements across standards coverage, analysis performance, and reporting:
- MISRA‑C 2025 coverage added
- Improved Android analysis without extra scripts
- AUTOSAR 14 and MISRA‑C++ 2023 coverage increased
- New Kotlin checkers
- .NET 9 support
- Docker images & Helm charts via secure container registry
- C/C++26 language feature support plus clang 19/20 compatibility
- CodeSonar Hub reports now include a summary section with alerts, overview, and category details
Further information about CodeSonar.
Verifysoft moves into the new Offenburg technology center “flow1986”
(Offenburg, 11 July 2025)
By end of 2025 Verifysoft will move into the new Offenburg technology center "flow1986". The new building with over 5,000 square meters has been constructed since May 2024 and is a significant milestone for the regional economic landscape. Verifysoft will be one of the strongest partners in the new building, which replaces the technology park where our company was founded 22 years ago. flow1986 offers space for more than 30 companies - from creative start-ups ato established deep-tech companies. Verifysoft made a conscious decision to relocate to the new building previously known as the “Black Forest Innovation Campus” project: the possibility to interact with other companies was a decisive factor in the choice of the new location.
Further Information: Virtual Video Tour.
EU Cyber Resilience Act: CodeSentry creates required SBOMs
(Offenburg/Germany, 09 June 2025)
In December 2024, the European Union's Cyber Resilience Act (CRA) came into force, standardizing the rules on cyber security for products with digital elements across the EU. By December 11, 2027 at the latest, companies that offer hardware or software that is directly or indirectly connected to a network must implement the requirements of this regulation. There are exceptions for some sectors that already have similarly regulations.
The Cyber Resilience Act requires, among other things, that a detailed list of all components of a software solution must be drawn up. This Software Bill of Materials (SBOM), can be created with the tool CodeSentry. The SBOM provided by CodeSentry is linked to VulnDB (the industry's most comprehensive database of software vulnerabilities), so that software supply chain security (SSCS) risks can be immediately identified and minimized.
Contact us now and learn more about CodeSentry.
Codee Version 2025.3 Available
(A Coruña, Spain / Offenburg, Germany, 03 July 2025)
Codee announces the release of Codee 2025.3.
This version brings major improvements to both Codee Analyzer and Codee Formatter, delivering greater accuracy, flexibility, and advanced Fortran support for high-performance simulation software.
With the introduction of initial support for Fixed-Form Fortran formatting, users can now finally bring structure and consistency to their legacy Fortran code. The new HTML reports make analysis in Codee Analyzer clearer and more accessible. Improved handling of advanced Fortran constructs, compiler-specific extensions, and Intel-specific dependencies ensures better compatibility and deeper insights. In addition, this version offers more control over checks, now including new security flags to better meet the needs of safety-critical development.
More information and the complete changelog are available here.
Testwell CTC++ Version 10.2.2 Available
(Offenburg/Germany, 01 July 2025)
Verifysoft has released version 10.2.2 of Testwell CTC++ Code Coverage Analyzer.
This is a bug fix release only.
For more information, see the change documentation.
Imagix 4D Version 10.5.6 Available
(San Luis Obispo/USA, Offenburg/Germany, 18 June 2025)
Imagix has released version 10.5.6 of Imagix 4D.
The new version adds a checklist for testing all MISRA C++:2008 rules (except chapter 14),
and introduces a checklist for AUTOSAR C++14. Additionally, source code import via Microsoft Build logs has been added.
More detail about specific changes is contained in the release notes.
New Templates for Coverage Reporting
(Offenburg, 11 June 2025)
For our Testwell CTC++ users, we provide three new templates:
- A generic XML format with focus on source code to generate line-based execution information. It is meant to serve as a starting point for individual adaptions for different platforms.
- An HTML template derived from standard report for Azure DevOps. This templates copes with ADO specific security and CSS restrictions.
- A template to provide coverage information in merge requests on GitLab. It is based on XML files and provides a XSLT transformation.
These and additional templates are provided in our download section for customers and evaluating users. We continuously expand this collection with new templates developed as part of joint projects.
For more information about Testwell CTC++, click here.
CodeSentry Version 7.2 Available
(Bethesda/USA, Offenburg/Germany, 10 June 2025)
CodeSentry 7.2 introduces powerful new features, including AI component detection and significantly faster scan performance.
With the introduction of AI Component Detection, users are now able to systematically identify software packages related to Artificial Intelligence (AI) and Machine Learning (ML)—including widely used
frameworks such as TensorFlow, SciKit, and others—within their Software Bill of Materials (SBOM). An instance-wide filter enables users to review all AI/ML components detected across their scans.
Scanning performance has also been improved, with real-world testing showing a 1.5× to 2.5× speedup for certain artifact types. In addition, the update adds support for new artifact formats including MSI,
UDF/ISO, QCOW, QCOW2, and SIN.
CodeSentry 7.2 also expands its vulnerability and product database, now including over 13,500 new vulnerabilities and 5,500 additional products.
For a closer look, watch the Video here.
Verifysoft featured in new board game "Stadtpunkt" for Offenburg
(Offenburg, 5 June 2025)
Verifysoft Technology GmbH has its own game square in the new Linagames board game, Stadtpunkt Offenburg. This innovative game invites players to explore the city Offenburg through local businesses featured on the game board. As a locally based software company, Verifysoft supports the project, promoting playful learning and an engaging city experience. The board game is available in various local stores, including "Buchhandlung Roth".
CodeSonar Version 9.0 Reduces Analysis Times Compared to Version 8.3
(Bethesda/USA, Offenburg/Germany, 28 April 2025)
CodeSonar 9.0 delivers a major leap in performance, reducing analysis times by up to 20× compared to version 8.3.
Customers have reported analyses completing in minutes instead of hours, thanks to improved parallelization and optimized hardware usage. Projects with MISRA and AUTOSAR settings, particularly those spending significant time in "Collecting Constants" or "Flushing Transactions" phases, benefit the most.
Click here for more information.
Codee Version 2025.2 Available
(A Coruña, Spain / Offenburg, Germany, 24 April 2025)
Codee announces the release of Codee 2025.2, featuring the new Codee Formatter for Fortran.
Codee Formatter is a free, standalone tool included in the Codee package. The tool automatically formats Fortran code to improve readability, maintainability, and team collaboration. It offers fast, fully customizable formatting via a command-line interface, making it easy to integrate into any development workflow or continuous integration (CI) pipeline. It supports the latest Fortran standard (Fortran 2023) and handles modern constructs.
More information and the complete changelog are available here.
Imagix 4D Version 10.5.5 Available
(San Luis Obispo/USA, Offenburg/Germany, 20 April 2025)
Imagix has released version 10.5.5 of Imagix 4D. The new version improves Delta Analysis at the Architecture Diagram level and includes extended support for current versions of Testwell CTC++.
Enhancements for Testwell CTC++ integration include:
- Support for all probe types in the updated CTC++ HTML reports
- Improved handling of Revision Branch Coverage and Accumulated Branch Coverage
- Visualization of Accumulated Branch Coverage in Control Flow Graphs
The update also contains various minor improvements and bug fixes.
More detail about specific changes is contained in the release notes.
CodeSonar Version 9.0 Available
(Bethesda/USA, Offenburg/Germany, 25 March 2025)
CodeSecure has released version 9.0 of its static code analysis tool, CodeSonar.
The focus of this release is a significant performance improvement in the MISRA analysis, enabling analyses that previously took several hours to be completed in less than 30 minutes. Additionally, the coverage of the MISRA C 2023 standard has been increased to 97%, and the coverage of the AUTOSAR 14 standard has also been improved. Android 14 and 15 are now supported as well.
CodeSonar 9.0 can now be installed via a secure Docker registry hosted by CodeSecure. Alternatively, customers can download Docker images from "Ironbank," a registry for secure images operated by the U.S. Department of Defense. Furthermore, the compiler models for IAR and QNX have been adapted to new features of these compilers.
Another highlight is the enhancement of the DISA STIG report in CodeSonar Hub, which now includes a summary of results along with explanatory texts for each warning.
CodeSentry Version 7.1 SaaS Available
(Bethesda/USA, Offenburg/Germany, 23 March 2025)
CodeSentry 7.1 SaaS has been officially released and is now available exclusively in the SaaS form.
For On-Prem evaluation requests, version 7.0 will be provided, while SaaS requests will be fulfilled with version 7.1. When version 7.2 is released, it will support both deployment options. This release introduces the new SBOM Policy engine, which automates the exclusion of components based on match confidence. This feature simplifies SBOM generation by reducing false positive detections.
For a closer look, watch the demo Video here.
Verifysoft at VECS 2025 : Vehicle Electronics & Connected Services
(Gothenburg, 19 March 2025)
The VECS 2025 conference is dedicated exclusively to the latest advances in on-board electronics, connected vehicles, autonomy and electric mobility.
Verifysoft Technology presented tools that improve the quality, productivity and security of embedded software.
Many visitors showed great interest in the solutions that help organisations make their software more efficient and secure.
Verifysoft would like to thank everyone for the insightful discussions and lively exchange and is already looking forward to the next trade fair!
Embedded World 2025:
Verifysoft presents Software Testing Tools
(Nuremberg, 13 March 2025)
Embedded World 2025 was a complete success for Verifysoft!
The team presented tools for improving the quality, productivity and security of embedded software.
The numerous visitors showed great interest in the solutions, which support companies in making their software more efficient and secure.
The team would like to thank everyone for the interesting discussions and lively dialogue.
Verifysoft is already looking forward to the next trade fair!
Embedded Testing Conference 2025
(Munich/Germany, 28 February 2025)
Verifysoft Technology presented tools for software testing and analysis at the Embedded Testing Conference 2025, highlighting innovative solutions for improving software quality and reliability. Our presentations were particularly well received:
- „Achieving 100% Coverage with Justifications“
- „Strength in Stillness – Static Performance Optimization“
The Presentations provided valuable insights into efficient testing strategies and presented practical solutions for optimizing software quality. We would like to thank all participants for the engaging discussions and look forward to the next conference!
CodeSentry Version 7.0 Available
(Bethesda/USA, Offenburg/Germany, 6 February 2025)
CodeSecure has released CodeSentry 7.0 and includes the following new features:- EPSS (Exploit Prediction Scoring System) and KEV (Known Exploited Vulnerabilities) catalogue data is now available on the CodeSentry UI and Reports. In addition, an Instance-Wide vulnerability filter can be configured to follow organizational security policies, to assist the security team to identify vulnerabilities of interest.
- Role- and Group-Based Access Control is now available in CodeSentry to support access control of Applications and Scans by business units or customers.
- CodeSentry now includes a Licence Policy feature that improves the efficiency of reviewing the licenses associated with Open Source components by automating the approval of user-specified Open Source licenses.
- Vulnerability annotation has been improved with the addition of Status Justifications for vulnerabilities marked as ‘Fixed’ or ‘Not Affected’.
- The ‘N-Day Findings’ tab has been redesigned to make it easier to work with the large number of vulnerabilities found during some scans.
Codee Version 2025.1 Available
(A Coruña, Spain / Offenburg, Germany, 06 February 2025)
Codee announces the release of Codee 2025.1, bringing major improvements in performance, modernization, and workflow integration for HPC developers.
The new version delivers enhanced support for OpenMP and expanded capabilities for modern Fortran, improving the analysis of parallel programming constructs and the latest Fortran standards. Codee 2025.1 also introduces new security and portability checks, updated HTML reports for cleaner and more shareable summaries, and better compatibility with Cray, AMD, and Intel compilers.
More information is available here.
TÜV-Certificate and Safety-Package for Testwell CTC++ 10.2
(Offenburg, 18 December 2024)
TÜV SÜD has certified that the recently released version 10.2 of the coverage analyzer Testwell CTC++ can be used in safety-critical software development without further qualification measures for all safety levels of the IEC 61508, ISO 26262, EN 50716 and IEC 62304 standards.To this end, Verifysoft provides a safety package which contains, in addition to the certificate, supplementary documents such as a safety manual and access to the known bugs list. Customers are actively informed about updates to the included documents via a subscription.
For DO-178C projects in aeronautics, a tool qualification is still required. Here, Verifysoft, provides active support to its customers to obtain this qualification.
Static Code Analysis: CodeSonar Version 8.3 Available
(Bethesda/USA, Offenburg/Germany, 16 Dezember 2024)
CodeSecure has released version 8.3 of the static Code Analysis Tool CodeSonar. The focus of this release was upgrading our Java and C# analysis, improved reporting, and upgrades to our QNX and GGC compiler models.CodeSonar 8.3 supports Java 21 and 22. This also makes it possible to analyse the new language functions.
The check for compliance with the MISRA C 2023 standard has been further improved. CodeSonar 8.3 supports version 14 of the GCC compiler.
New Release: Testwell CTC++ Version 10.2
(Offenburg, 15 November 2024)
The focus of our new version is the "Merging" feature: Coverage results for different source code variants can now be merged during report generation. Additionally, version 10.2 introduces enhancements for report generation with custom templates and includes several bug fixes.
We will present the release in our webinar on 26 November 2024.
A complete overview of all changes is available in the release notes.
Codee Version 2024.4 Available
(A Coruña, Spanien / Offenburg, Germany, 14 November 2024)
The latest version of Codee, 2024.4, is now available. This release introduces new AutoFixes to enhance code correctness, modernise legacy code and improve performance. Major updates include support for Intel ifx compiler flags, an upgraded LLVM toolchain (version 20.0.0), and improved Fortran multithreading with a new "native" option using `do concurrent`. In addition, new Fortran checkers facilitate code modernisation, while improved dependency management extends analysis coverage. Codee now also automatically detects compile_commands.json files, streamlining integration with build systems.Find out more about Codee here.
Verifysoft at Bits & Chips Event in Eindhoven/Netherlands
(Eindhoven / Netherlands, 10 October 2024)
Verifysoft presented at the Bits & Chips Event in Eindhoven state of the art software testing and analysis tools.
We were also present with the presentation "Static Code Analysis and dynamic Tests - Complementary Procedures for Quality Assurance" in the session "Software quality". If you missed the presentation or if you want more information, have a look to our Presentation Paper.
Imagix 4D Version 10.5.4 Available
(San Luis Obispo/USA, Offenburg/Germany, 20 September 2024)
10.5.4 enhances the information generated by StackSize and VariableSize reports, expands the integration with the test coverage tool Testwell CTC++, and contains other minor enhancements and bug fixes.
Codee Version 2024.3 Available
(A Coruña, Spain / Offenburg, Germany, 3 September 2024)
Codee 2024.3, the latest version of the advanced static code analyzer, is now available, offering a range of new features and improvements. This release empowers Fortran, C, and C++ developers to build modern, high-performance software. Key highlights include enhanced workflows for technical debt analysis, new checkers for Fortran code modernization, a simplified command-line interface for compiler integrations, and improved dependency management. With new autofix features and expanded support for compilers such as GNU, Cray, Intel, and Nvidia, Codee 2024.3 provides greater flexibility and efficiency for developers.More information here.
CodeSentry Version 6.1 Available
(Bethesda/USA, Offenburg/Germany, August 26, 2024)
CodeSentry CodeSentry version 6.1 is now available. This version continues to improve workflows for managing discovered components and vulnerabilities, ensuring the creation of high-quality SBOMs and vulnerability reports.The new version includes the following key features and updates:
- Enhanced Bill of Materials Management: Components with identical values for name, version, and manufacturer are now grouped, reducing the number of lines sorted by file path. Users can also change the status (included or excluded) and add comments for multiple components simultaneously.
- Annotations for N-Day Findings: When license names contain quotation marks, CodeSentry now consistently uses single quotes.
- Support for WIM/SWM Archives: Single and multi-part WIM archives (Windows Imaging Format) (.wim, .swm) are now supported. See the note for details.
- Vulnerability Information Updates: CodeSentry 6.1 includes information on over 8,500 new vulnerabilities and 6,300 new products.
- API Enhancements: EPSS scores for vulnerabilities are now available in the "vulnerability_found_search" and "vulnerability_headers" queries.
- Kubernetes Update: SaaS Kubernetes clusters have been updated to version 1.29.5.
CodeSonar Version 8.2 Available
(Bethesda/USA, Offenburg/Germany, 22 August 2024)
CodeSecure Inc. has released the latest version of their software, CodeSonar 8.2.This edition introduces important new features and improvements:
- Expanded Language Support: Python warnings have received references to the CWE standard. Corresponding mappings are in preparation for Kotlin, Go, Rust and JavaScript. Java warnings have also been aligned with the CWE 660 vulnerability.
- .NET 8.0 C# Analysis: The new version now supports .NET 8.0 C# analyses.
- New Floating-Point Overflow Checker : Detects overflows in floating-point operations.
- Improved Coding Standards: Coverage of the MISRA C 2023 and JSF++ coding standards has been improved.
- Integration with Gerrit Code Review: Facilitates collaboration in large teams.
- Expanded Compiler Support: Including Keil C251, MPLAB C30, and the latest versions of GCC 13 and clang 18.
- New Filtering Options in CodeSonar Hub: The option of filtering warnings relating to standards has been introduced.
Customers with an existing license can simply upgrade to the new version to take advantage of these enhancements.
Recorded Webinar about Performance Optimization Available
(A Coruña, Spain / Offenburg, Germany, 23 July 2024)
Optimizing Embedded C is crucial to enhance system efficiency and performance, reduce power consumption and memory usage, and ensure greater reliability and speed in resource-constrained devices. Codee will streamline your development process, making your embedded systems more robust and efficient than ever before.In the quest for peak performance in C/C++ applications, conventional compilers often fall short. Codee overcomes these limitations by enhancing performance through the creation of compiler-friendly code, all while preserving readability and maintainability.
This recorded webinar explores how Codee provides a systematic and predictable approach to enforcing C/C++ performance optimization best practices. Discover how Codee delivers precise, line-by-line recommendations for enhancement, uniquely tailored to your specific setup—defined by your compiler, hardware, and processor—to ensure optimal efficiency and quality from the start.
Watch the recorded webinar here
Codee Version 2024.2 Available
(A Coruña, Spanien / Offenburg, Deutschland, 21. Mai 2024)
APPENTRA SOLUTIONS S.L has released version 2024.2 of the software performance tool Codee.This release brings significant improvements, especially for Fortran developers, with a strong focus on modernizing existing codebases. New reports, such as the Technical Debt Report and the ROI Report, quantify the modernization effort and highlight the benefits of code for development processes. In addition, the new version offers extended platform support and improvements for C++ as well as specific compilers.
More information here.
CodeSentry Version 6.0 Available
(Bethesda/USA, Offenburg/Germany, 22 April 2024)
CodeSentry version 6.0 is available. This release continues to add new workflows to enable customers to manage their discovered components and vulnerabilities and generating the highest quality SBOMs and vulnerability reports.The new version provides among others the following new features and updates:
- The new Vulnerability Annotation workflow enables the modification of individual vulnerability CVSS scores, exclusion of vulnerabilities, and assigning states such as "Fixed" or "Not Affected".
- CodeSentry now supports the analysis of ISO artifacts up to an industry-leading 40GB in size, which enables the analysis of the complete software images for medical, industrial, and other devices
- The CodeSentry Instance Dashboard is now interactive! Clicking on any of the graphical chart or table sections will jump to the associated list of components or vulnerabilities
- CodeSentry 6.0 includes over 10,400 new vulnerabilities and 4,500 new products
- New Filters on the N-Day Findings and Components tab make it easier to find the most critical vulnerabilities and components.
Embedded World 2024:
Verifysoft with best in class Software Testing Tools
(Nuremberg, Offenburg, 11 April 2024)
Verifysoft and its partner Codee informed about first-class tools for improving the quality, productivity, safety and security of embedded software.14 people presented in Nuremberg the latest versions of the code coverage analyzer Testwell CTC++, as well as the static analysis tools Imagix 4D and CodeSonar.
New on show: Codee, a cutting-edge solution for optimizing performance while simultaneously reducing energy consumption and memory usage.
Learn more about the highlights at our booth in our Trade fair video and on our trade show review.
CodeSonar Version 8.1 Available
(Bethesda/USA, Offenburg/Germany, 4 April 2024)
CodeSonar language coverage now includes Kotlin, Python, Go, Rust, JavaScript, and TypeScriptCodeSecure today announced a major new release for CodeSonar, the leading SAST platform for securing product software. CodeSonar 8.1 extends the developer centric approach for product security to include language support for Kotlin, Python, Go, Rust, JavaScript, and TypeScript in addition to C/C++, Java and C#.
CodeSonar supports now more than 90 compilers, including clang, GCC, Microsoft, IAR, Tasking, QNX, WindRiver.
WRth hundreds of built-in checkers, CodeSonar examines code for potential vulnerabilities, coding errors, and compliance violations. From memory leaks to buffer overflows, CodeSonar’s advanced static analysis capabilities help identify issues early in the development cycle, saving time and resources in the long run.
Host Platforms: Whether you prefer cloud-based solutions or on-premises deployment, or fully air-gapped environments, CodeSonar offers flexible host platform options to suit your needs.
Learn more about multi language support in our video.
New Company and Product Brochure
(Offenburg, 3 April 2024)
We are constantly developing our tools and adding new tools and seminars to our range.Our company and product brochure has therefore been updated and expanded.
The following new features and tools are now included:
- Testwell CTC++ with justications for missing code coveage and a new report format
- Updated information for the tools CodeSonar, Imagix 4D, and CodeSentry
- Corporate philosophy
- and even more customers ...
Learn more: Company and Product Brochure 2024
MIGTEC distributes Testwell Tools in Australia and New Zealand
(Offenburg/Germany, Sydney/Australia, 22 March 2024)
Verifysoft has assigned MIGTEC PTY LTD as distributor for the Code Coverage Analyzer Testwell CTC++ and the Complexity Measurement Tools Testwell CMT++ and CMTJava for Australia and New Zealand.MIGTEC is an independent Australian professional services company established in 1999. The company is focused on providing Technical IT solutions for Worlds’s leading organisations. MIGTEC is an industry leader delivering specialised solutions and advisory in QA testing, requirements management and software development.
Learn more: MIGTEC website
Winbond relies on Testwell CTC++ for Industrial Organizations
(Herzliya/Israel, 12 March 2024)
Winbond is a memory supplier with Headquarter in Taiwan and subsidiaries in USA, Japan, Israel, China. The company has 2,800 employees worldwide.It produces semiconductors and several types of integrated circuits (ICs) including dynamic random-access memory, static random-access memory, serial flash, microcontrollers, and Super I/O chips. Winbond is actively involved in developing new security regulations and standards in industrial organizations.
They have chosen Testwell CTC++ for measuring code coverage for their safety critical development. Hezi Pereg, Software Department Manager at Winbond Israel explains that Testwell CTC++ meets all their requirements, generates a clear and informative coverage report, and enables analyzing the report from CLI, which is extremely helpful in their CI processes.
Read the full user testimonial here.
Imagix 4D Version 10.5.3 Available
(San Luis Obispo/USA, Offenburg/Germany, 4 March 2024)
10.5.3 improves performance of the file editor, improves support for gcc-based code, and fixes some GUI bugs in the data sources dialog.
Testwell CTC++ Version 10.1 Available
(Offenburg/Germany, 1 March 2024)
Verifysoft has released Testwell CTC++ 10.1 with the new feature Justifications. Missing coverage can now be justified, and these justifications transparently influence all coverage measures. Justifications can be stored in source code comments or in companion files. With a justification, a tag used for grouped presentation in overviews and an explanation are associated. Find out more in our YouTube-Video.An overview of the new features can be found in the Release-Notes.
Verifysoft at VECS 2024 : Vehicle Electronics & Connected Services
You can visit Verifysoft Technology on May 14 and 15, 2024 at VECS 2024 in Gothenburg (Sweden) at booth C00:05.
With our voucher code Verifysoft20 you can get 20% discount on your ticket on the following page: Use your code now
(This does not apply to already registered participants and that it is not possible to combine with other offers for this event.)
Codee publishes Best Practices for Performance
(A Coruña, Spain / Offenburg, Germany, 9 February 2024)
Codee, a leading specialist for performance improvement for software has published a catalog of Best Practices for Performance. This catalog is a collaborative effort to consolidate the collective wisdom of performance experts on the best practices for performance. It consists of a glossary and a list of checks for the C, C++ and Fortran programming languages.Learn more from github.com.
Testwell CTC++ at IOT Show in Bengaluru/India
(Bengaluru/India, 2 February 2024)
At IOT Show visitors have discovered innovative DevOps and DevSecOps solutions that can help you improve your software quality, security, and performance. Lexingtonsoft's comprehensive product portfolio spans the range of the Software Development Life Cycle (SDLC), empowering software developers, quality assurance engineers, and IT & Security professionals to enhance their productivity, mitigate risks, and produce well tested software of superior quality, security, and performance.
Testwell CTC++ is one of leading Code Coverage Analyzers. More than 750 customers in 43 countries use the tool with great success.
Imagix 4D Version 10.5.2 Available
(San Luis Obispo/USA, Offenburg/Germany, 22 December 2023)
The new version speeds up the generation of html documents by adding a concurrent (multi-threaded) mode as an alternative.
CodeSentry Version 5.2 Available
(Bethesda/USA, 18 December 2023)
CodeSentry version 5.2 is available. The new version provides among others the following new features and updates:- CodeSentry 5.2 includes over 3,500 new vulnerabilities and 1,600 new products
- The new License Findings tab displays discovered components organized by their associated license type. This tab can be used to quickly identify components using non-compliant licenses.
- New License Annotation controls support a license approval workflow – licenses can be marked as ‘Approved’ or ‘Not Approved’ for individual components or all components via the Bulk Annotate feature.
- Component Match Detail information now displays data elements that were used to discover open source components contained in the target binary.
- The CSV export of vulnerabilities now includes the attack vector string as part of the data export
- Scoring of Zero-Day vulnerabilities has been updated to reflect the 2023 Top 25 Most Dangerous Software Weaknesses from MITRE.
New Video: MC/DC and Multi Condition Coverage
(Offenburg/Germany, 15 December 2023)
Modified Condition/Decision Coverage (MC/DC) is a code coverage level which has to be achieved in safety critical software projects according to standards like DO-178C, ISO 26262, and others.Our latest video explains what MC/DC Coveage is and how it differs to Multi Condition Coverage.
Watch our YouTube-Video now!.
Verifysoft Signs Distribution Agreement with APPENTRA SOLUTIONS S.L. for Revolutionary Product Codee
(Offenburg, Germany / A Coruña, Spain, 30 November 2023)
Verifysoft Technology GmbH has signed a distribution agreement with APPENTRA SOLUTIONS S.L. for the innovative product Codee.Codee is a groundbreaking software development platform specialized in automated code inspection that provides a tailor-made solution for optimizing the performance of C/C++/Fortran applications.
Learn more: Press Release
CodeSonar Version 8.0 Available
(Bethesda/USA, Offenburg/Germany, 22 November 2023)
CodeSecure has released version 8.0 of the static code analysis tools CodeSonar. The focus of this release was increasing the coverage for coding standards, re-certifying the development process, and building the integrations. CodeSonar 8.0 has new branding, as well as numerous bug fixes, compatibility updates, and other improvements.Here are some more details on the improvements:
- Integrations: Jira Server, Gerrit (beta, full integration will be available in 8.1.).
- 50% coverage of the new MISRA C 2023 standard (100% coverage of MISRA C 2023 will be available in 8.1.).
- SANS 25 2023 support.
- CodeSonar Hub: Improved Single Sign-on to support the latest versions of Chrome, Edge, Firefox, and Safari.
- Certification for use in ISO 26262 ASIL D, IEC 61508 SIL4, and EN 50128 SIL4 projects.
- Hybrid SaaS improvements include improved support for AWS load balancers and more robust behavior if worker tasks stall, increasing the reliability and scalability CodeSecure's Hybrid SaaS solution for large and small customers.
Verifysoft: World Market Leader with a single Test Tool
(Offenburg, 8 November 2023)
The safety-relevant software "Testwell CTC++" from Verifysoft Technology is used worldwide. The company serves Airbus and NASA, among others.With a single test tool, Verifysoft Technology became a global market leader.
Nevertheless, Managing Director Klaus Lambertz has not lost his grip on reality. The reason: people are more important to him than fast profits.
Learn more: Verifysoft provides Security and Safety for Software Worldwide
Integrated! Testwell CTC++ with Bazel
(Offenburg/Germany, 19 October 2023)
Testwell CTC++ provides several generic ways to integrate coverage measurement in various build systems. Bazel is a famous challenge for interaction with third party tools.Johan Herland and Mark Karpov, working for Tweag, a Modus Create company, describe their road to establish a stable integration of Testwell CTC++ with Bazel for a client of Tweag’s Scalable Builds Group.
Read the full story here.
CodeSentry Version 5.1 Available
(Bethesda/USA, 4 October 2023)
CodeSentry version 5.1 is available. The new version provides among others the following new features and updates:- Live N-Day Updates for SaaS and internet-connected on-premises instances make it easy to discover new vulnerabilities and exploits affecting your scanned applications, without the need to rescan.
- over 8,400 new vulnerabilities and 3,900 new products
- now compatible with FIPS-enabled systems for on-premises installations
Verifysoft: for Your Software's Quality - 20 Years Already
(Offenburg/Germany, 30 September 2023)
In the summer of 2003, the history of Verifysoft begins with two employees in the Offenburg Technology Park. The company, whose first office furniture came from bulky waste, provides support and sales for the testing software of the Finnish company Testwell.Today, Verifysoft is the owner of the world's leading Code Coverage Analyzer, and is one of the leading providers of testing and analysis software with more than 750 customers on all continents. Customer and employee satisfaction is, was, and will be are always the in the focus of the company. Learn more!
Contromax relies on Testwell CTC++ for the Aviation Servo Development
(Daejeon/South-Korea, 21 September 2023)
Contromax is an aviation servo development company located in Daejeon/South-Korea. The products of the company are safety and flight critical components. Thus the software must be tested according to the DO-178 safety standard.Contromax has chosen Testwell CTC++ for measuring code coverage for their safety critical development. Thomas Chae, Team Lead Aircraft Servos Systems explains, that Testwell CTC++ is more efficient than other fancy and complicated GUI based tools. He also praises the customer-oriented mindset and the strong competency of the Verifysoft team.
Contromax introduced Testwell CTC++ to an aircraft manufacturer who was fascinated about the capabilities and pricing of the tool.
Read the full user testimonial here.
Adventure Team Event 2023
(Offenburg, 12 September 2023)
During a trip in the countryside the Verifysoft team droves this year a couple of draisines (light auxiliary rail vehicles) of the Southern Palatinate Draisine Railway (Südpfalz-Draisinenbahn). The draisine is a kind of cross between a bicycle and a train, a "rail bike". The draisines of the Southern Palatinate (south-west of Germany) took us on a 24-kilometer journey through the green plains and forests of the Palatinate. Gentle climbs and descents brought us lot pleasure and also improves our fitness.You want to be part of our team? Check out our job offers.
User Testimonial: Broadcom uses Testwell CTC++ for Code Coverage Analysis
(San Jose/USA, Bangalore/India, 5 September 2023)
Broadcom Corporation is one of the world's leading providers of infrastructure technologies, building on the rich technical heritage of AT&T/Bell Labs, Lucent and Hewlett-Packard/Agilent.Broadcom Corporation has long relied on Testwell CTC++ to measure code coverage.
“… In the Testwell CTC++ tool, we were able to get Decision, Line and Multi-condition coverage in the way we want it. ... Not to mention the new Modified Condition/Decision coverage which gives more information on the True-False pair coverage for individual atomic condition in a Boolean expression is a feature which will be a great addition to the test metrics we use to validate our designs.” says Bharadwaj Sreenivasan, R&D Engineer, at Broadcom Corporation.
Read the full user testimonial here.
GrammaTech’s Application Security Testing Software Business sold to Battery Ventures
(Bethesda/USA, 5 September 2023)
Our partner GrammaTech today announced that Battery Ventures has acquired its software products division, including the CodeSonar and CodeSentry product lines. The transaction establishes a new, independent entity that will operate under the CodeSecure, Inc. name and be headquartered in Bethesda, Maryland.GrammaTech will continue to offer cyber security research and development services and tools to the US defense and intelligence community.
Further information is available on the CodeSecure website
Shift Left: Code Coverage Benefits – Study of a leading Fortune 100 Company
(Boston/USA, Offenburg/Germany, 17 August 2023)
Code Coverage is a promising measure of test effectiveness.The findings from various organizations reveal that increasing code coverage decreases field related defects and increases the level of confidence in the quality of the code. The paper “Code Coverage Best Practices” discusses how one of the world's leading consumer giants, successfully deploys Testwell CTC++ to make unit testing and code coverage part of their Continuous Integration Flow.Download the white paper of our partner Lexington Soft
CodeSonar Version 7.4 Available
(Ithaca/USA, Offenburg/Germany, 28 July 2023)
GrammaTech has released version 7.4 of CodeSonar. The new version increases the coverage for coding standards valued by aerospace and defense customers. CodeSonar now offers coverage of the JSF++ standard. In addition, the rule coverage in our Functional Safety (FUSA) kit has been increased. Improvements to the Hybrid SaaS installer means that customers are supported that want to manage a SaaS instance themselves.Here are some more details on the improvements:
- JSF++ support.
- Expanded coverage in the Functional Safety (FUSA) kit.
- Support for building with Bazel.
- New rules to support MISRA C 2023.
- Support for Android 13.
- C# and Java analysis is now fully supported in Hybrid SaaS.
- Self-managed Hybrid SaaS deployment option for customers.
- Refreshed CodeSonar for Binaries to find errors in a program, without needing to look at the code that was used to build it.
CodeSentry Version 5.0 Available
(Ithaca/USA, Offenburg/Germany, 3 July 2023)
GrammaTech is pleased to announce the availability of CodeSentry 5.0.Highlights of the new release include:
- The new Component Annotation feature can be used to exclude components from an SBOM, with an associated audit trail,
to deliver the most accurate SBOMs and vulnerability reports - The CodeSentry UI now includes an Instance Wide Vulnerability Search to enable users to quickly and easily determine which analyzed files are vulnerable to specific CVEs
- CodeSentry binary analysis can now report on Shared Library Dependencies referenced by target binaries – these results are accessible via the CodeSentry API
- CycloneDX SBOM exports now include Open Source License Information
- Over 9,700 new vulnerabilities and 3,700 new components are available in CodeSentry 5.0
Safety Package for Testwell CTC++ Code Coverage Analyzer Available
(Offenburg/Germany, 25 May 2023)
A Safety Package for the Code Coverage Analyzer Testwell CTC++ is now available. In addition to the TÜV certificate, Testwell CTC++ customers receive supplementary documents such as a Safety Manual and access to the Known Bugs list. Via a subscription, the customer is actively informed about updates of the included documents.Due to the Safety Package, Testwell CTC++ can be used in safety-critical software development without further qualification activities for all safety levels of the standards IEC 61508, ISO 26262, EN 50128 and IEC 62304. Learn more.
Imagix 4D Version 10.5.1 Available
(San Luis Obispo/USA, Offenburg/Germany, 23 May 2023)
Imagix 10.5.1 provides a checklist for AUTOSAR-C++ 2014 which specifies coding guidelines for the usage of the C++14 language as defined by ISO/IEC 14882:2014, in the safety-related and critical systems. The main application sector is automotive, but it can be used in other embedded application sectors. The Imagix checklist includes all rules defined by AUTOSAR.
Using the Imagix review feature guides the user in checking the rules and automates most computations. The rules requiring documentation by the user have no automated steps but ask to attach the documentation. Automated rules list all violations accurately as long as the project was analyzed without any errors and the code was complete. Rules that are partially or non-automated might still enumerate any potential locations and require human review to decide on concerns and violations. Check out the complete list of rules and their automation level.
Using AUTOSAR-C++ in Imagix requires the MISRA license extension.
Imagix 10.5.1 adds support for running some operations of the Review Tool through batch mode commands.
The new version also adds the ability to load source code into the tool through the Microsoft Visual Studio Build logfiles.
Imagix 4D 10.5.1 completes support for C++ 2022 and provides also some bugs fixes.
Testwell CTC++ Presentations @ Future Mobility Asia 2023 in Bangkok
(Bangkok/Thailand, Offenburg/Germany, 19 May 2023)
Our Code Coverage Analyzer Testwell CTC++ attracted much attention at the trade show "Future Mobility Asia 2023" which was held from 17 to 19 May 2023 in Bangkok/Thailand.The tool was presented by our south-east Asian distributor GOPALAM EMBEDDED SYSTEMS. Testwell CTC++ is the leading Code Coverage Analyzer for the development of embedded software. It analyzes for all coverage level required by the safety standard. The tool is certified by TÜV Süd for usage in safety related development.
Testwell CTC++ with improved IAR integration
(Offenburg/Germany, 28 April 2023)
Verifysoft’s Code Coverage Analyzer Testwell CTC++ already got in its standard version numerous integrations, configurations and converter for a wide variety of customer environments. With version 6.12, an update of integration with the IAR Embedded Workbench has now been released. Furthermore, previous versions of Testwell CTC++ and IAR are also supported. Besides full support for Testwell CTC++'s new HTML report generator, the update also includes numerous improvements related to the latest IAR versions.
CodeSonar Version 7.3 Available
(Ithaca/USA, Offenburg/Germany, 11 April 2023)
The focus of this releases was increasing our coverage for coding standards. CodeSonar now covers 100% of the MISRA C 2012 rules. We have improved and simplified our instructions for integrating CodeSonar with GitHub or GitLab, which will make it easier for our customers to adopt CodeSonar. Improvements to compiler models, support for the .NET7 framework and the latest versions of C and C++, and improvements to Hybrid Cloud round out the highlights of the release.CodeSonar for Binaries is also refreshed. Being able to find errors in a program, without needing to look at the code that was used to build it.
Testwell CTC++ Version 10.0.1 Available
(Offenburg/Germany, 11 April 2023)
Verifysoft has released version 10.0.1 of Testwell CTC++ Code Coverage Analyzer.This is a bug fix release only.
For more information, see the change documentation.
Embedded World Nuremberg: Highlights at Verifysoft
(Nuremberg, Offenburg, 22 March 2023)
Verifysoft was with 10 people at the Embedded World in Nuremberg and showed first-class tools for increasing and securing software quality for embedded software.We would like to thank the numerous visitors for the interesting discussions.
You can get an overview of the trade fair happenings and the highlights at our booth in our Trade fair video and on our trade fair review.
Verifysoft-Interview with Easy Engineering
(Bucharest/Romania, Offenburg/Germany, 20 March 2023)
Easy Engineering has published an interview with Verifysoft Technology.Verifysoft CEO Klaus Lambertz speaks about application areas for software testing tools, product news, market trends and future prospects.
Read here the complete interview.
TÜV Süd Certificate for the Code Coverage Analyzer Testwell CTC++
(Munich, Offenburg/Germany, 9 March 2023)
The Testing Laboratory for Safety Components of TÜV SÜD Rail GmbH has certified that Testwell CTC++- is suitable to be used in safety-related development according to IEC 61508:2010 for any SIL,
- is qualified to be used in a standard-compliant development process according to ISO 26262:2018 for any ASIL,
- is suitable to be used in safety-related software development according to EN 50128:2011/A2:2020 for any SIL,
- is suitable to be used in safety related development according to IEC 62304:2006+A1:2015 for any software safety class.
For further information regarding the usage of Testwell CTC++ in safety critical development, please do not hesitate to contact us.
CodeSentry Version 4.2 Available
(Ithaca/USA, Offenburg/Germany, 20 February 2023)
GrammaTech is pleased to announce the availability of CodeSentry 4.2.Highlights of the new release include:
- CodeSentry 4.2 makes it easy to search your software inventory for vulnerable open source packages with the new Component Search feature
- The new CodeSentry Dashboard provides a 'single pane of glass' overview of artifact scanning and results across the CodeSentry instance
- SBOM Edition is now available to deliver SBOM generation, component license, inventory and search capabilities
- Security Edition adds N-Day vulnerability detection and security attribute reporting
- Advanced Security edition expands vulnerability detection with 0-Day capabilities
- Over 2,300 new vulnerabilities and 3,800 new components are available in CodeSentry 4.2
- Vulnerabilities can now be exported from CodeSentry in the industry standard VEX (Vulnerability Exploitability Exchange) format
Imagix 4D Version 10.5 Available
(San Luis Obispo/USA, Offenburg/Germany, 1 February 2023)
Imagix 10.5 provides a checklist for MISRA-C++ 2008, the current version of the standard for best practices in developing safety-related embedded electronic systems and other software-intensive applications in C++. It implements all rules except for chapter 14.
Using the Imagix review feature guides the user in checking the rules of MISRA-C++ and automates any computations. The rules requiring documentation by the user have no automated steps but ask to attach the documentation. The decidable rules list all violations accurately as long as the project was analyzed without any errors and the code was complete. Rules that are undecidable enumerate any potential locations and require human review to decide on concerns and violations. Using MISRA-C++ in Imagix requires the MISRA license extension.
Imagix 10.5 also adds support for loading data from source files located in directory paths using international character sets.
Testwell CTC++ integrated in Automation & Testing Suite
(Offenburg/Germany, 27 January 2023)
The code coverage analyzer Testwell CTC++ is now also integrated in ATS (Automation & Testing Suite) from Schleissheimer GmbH. ATS (Automation & Testing Suite) supports all important areas of the testing process such as test management, test modeling, test execution, test evaluation and test documentation. A variety of possible tests can be run without real hardware.ATS (Automation & Testing Suite) relies on Testwell CTC++ to measure Code Coverage (including MC/DC, function, statement and decision/branch coverage).
Testwell CTC++ has integrations with multiple tool chains, test environments and software quality tools, such as ATS, CATIA Systems - AUTOSAR Builder, Cygwin, dSpace SystemDesk and TargetLink, Imagix 4D, Jenkins, Lauterbach, MATLAB Simulin, PikeTec TPT, Silver Virtual ECU and TestWeaver, and SonarQube.
Recorded Webinar: What's New in Testwell CTC++ V. 10?
(Offenburg, 11 January 2023)
Verifysoft recently released the new version 10.0 of its code coverage analyzer Testwell CTC++.Testwell CTC++ 10 puts an emphasis on report generation: a new reporting tool, ctcreport, is responsible for template-based HTML report generation.
This and other innovations in version 10, such as the structure and functions of the new HTML report, improvements for header display, handling conditionally compiled code and ctclaunch for Linux for build integration, are the subject of our recorded webinar.
Verifysoft introduces Team-based licenses for Testwell CTC++
(Offenburg, 2 January 2023)
In order to meet the requirements of modern software development processes and environments, Verifysoft now offers for Testwell CTC++ team-based licenses in addition to floating licences.For dynamic, hybrid build and development environments, team-based licenses are issued granting the right to use the software within a dedicated team of a specified size. Technically, licenses are issued fitting to the build environment to ensure that the entire team can use Testwell CTC++ without technical restrictions.
Team-licenses are time-limited (usually one year), and the licensee commits to report about team size once per year.
The End-User Licenses Agreement has been updated accordingly (cf. Verifysoft End-User License Agreement for Testwell-Tools).
For further information please contact our sales team.