Short profile Verifysoft Technology

Since 2003, Verifysoft Technology has specialized in the development, distribution and support of premium software testing and analysis tools. With an international team, we support over 750 customers in more than 40 countries from our office in Offenburg (Germany). We are also supported by our distributors in the USA, Great Britain, Italy, Israel, India, Korea, Japan, China and Singapore.

Code Coverage: all compilers, all targets, all levels of coverage
Testwell CTC++ is the leading code coverage analyzer for embedded software. The tool works with basically all compilers and all - even the smallest - embedded targets. In addition to C and C++, also code coverage for Java is shown. All coverage levels up to MC/DC and Multicondition coverage are covered, allowing Testwell CTC++ to be used in numerous safety-critical software projects which have to be certified according to standards such as DO-178C, ISO 26262 or IEC 61508. A TÜV certificate is suitability.

You have code which you don't understand?
Imagix 4D is a tool to understand, document and improve complex third party and legacy source code written in C, C++ and Java. Imagix 4D automatizes the analysis of the control flow and its dependencies. The tool detects problems in data usage and task interactions. With Imagix 4D you increase your productivity and quality and reduce risks.

Detect errors early with static code analysis
CodeSonar is a static code analysis tool designed specifically for testing of embedded software. The tool is used by companies that have a “zero error tolerance” in their projects. CodeSonar is exceptionally precise. The tool checks also for programming guidelines such as MISRA.

You want to increase the performance of your software?
For applications that have to perform time-critical tasks, performance can be analyzed and improved with the static code analysis tool Codee,.

Detect security vulnerabilities in third-party software components
Components in thrid-party software that are used in your software are often unknown. However, they may contain security vulnerabilities. CodeSentry analyzes binary code for its composition, creates a software bill of materials (SBOM) and informs about potential security vulnerabilities.

Expertise

Verifysoft Technology has extensive experience in safety critical projects. We are specialists in test and analysis tools, which are used especially in the development of embedded software. We are sharing our expertise in seminars for developers, project managers and quality managers.