Webinaire: Imagix 4D and Refactoring is just a Bowl of Cherries

Verifysoft invites you for the webinar "Imagix 4D and Refactoring is just a Bowl of Cherries" on Friday, 27th August 2021, at 11:00 a.m. (CET, Berlin, Wien, Zurich)
The focus will be on the following aspects:
• Improving or modifying an application
• Reducing the number of test cases and therefore the testing effort, by reducing complexity
• Clearly organised architecture with loosely coupled components simplifies scalability and improves security
• Compliance with coding standards improves the readability of code and can have a positive impact on the robustness of an application
register now!

These were the 8th Static Analysis Days 2021

(Offenburg/Germany, 6 May 2021)

The 8th edition of the Static Analysis Days (SAD) took place digitally on 5 and 6 May 2021.
Experts from GrammaTech and Imagix from the USA and Verifysoft spoke during both days about refactoring, vulnerability detection, security holes and serious software bugs, complementarity of static and dynamic code analysis, security reviews and application as well as benefits of static code analysis for source code and binary code.
We have compiled some of the presentations for you: find out more now!

Imagix 4D: Version 10.2 Available

(San Luis Obispo/USA, Offenburg/Germany, 8 April 2020)

Imagix 4D 10.2 is now available. The general focus of the new release is enhanced support for large source code sets.
Particular enhancements in 10.2 include:

Additional options in generating architectures from source code
Improved performance working with large projects, including in Architecture Diagrams
More automation of loading code into Imagix 4D, using Soong, Gradle and JSON build systems
Extensible interface to load code from any build logs

More information: Release notes and a description about creating projects based on Android build artifacts.

Imagix 4D: Version 10.1 Available

(San Luis Obispo/USA, Offenburg/Germany, 9 October 2020)

Imagix 4D 10.0 has been released and is now the standard download from the Imagix website.
This release has 3 main features:
- Complete HIS checklist including underlying MISRA rules and metrics covering two project versions
- Delta control flow charts that show the flow chart differences between two project versions
- Unreachable Statement report and other small report enhancements
Learn more.

Webinar: Tools to Perform a Security Review on Unknown Code

Performing a deep security review on third party code is hard. You typically receive a bunch of source code, no design documents, very little comments in the source code. Still, you have to do an assessment of the code and provide a risk score. Where do you get started?

In this webinar we will show you how GrammaTech and Imagix can help. GrammaTech CodeSonar can perform deep static application security testing on the source code. The result is a set of warnings of things that may be risky. Still, to understand whether a problem, say a buffer overrun, is externally triggerable, you would need to understand the design of the application. This is where Imagix comes in, it can overlay the path of the static analysis warning over a design that is reverse engineered from the source code. And that is just one of the many tricks.
Watch video here.

Imagix 4D Enhances CodeSonar Results

(Ithaca/New York/USA, Offenburg/Germany, 8 July 2020)

Imagix 4D provides now enhanced interpretations of GrammaTech CodeSonar results to help developers understand, debug and fix the reported issues. Imagix 4D imports results in SARIF format for each warning reported and provides enhanced, graphical visualization of each, overlaying CodeSonar results (via SARIF) on to code analysis Imagix 4D has done from the same source.
Imagix 4D illustrates an important use case for SARIF in extending static analysis results to enhance the understanding of warning results. Using visualization, developers can diagnose and fix bugs more efficiently.
...
> Learn more.

Imagix 4D: Version 10.0 Available

(San Luis Obispo/USA, Offenburg/Germany, 28 April 2020)

Imagix 4D 10.0 has been released and is now the standard download from the Imagix website.
Version 10.0 contains a significant upgrade in the speed and lenience of the C / C++ source analyzer.
New SARIF functionality enables static analysis results from other tools to be imported and methodically reviewed within Imagix 4D, and Imagix 4D static analysis results to be exported for viewing in IDEs.
Delta Analysis had been restricted to comparing two separate projects; the storage and comparison of revisions within a project has been eliminated, in preparation for the addition of new Delta Analysis capabilities in an upcoming release.
Learn more

Imagix 4D: Version 9.2 Available

(San Luis Obispo/USA, Offenburg/Germany, 30 October 2019)

Imagix 9.2 has been released and is now the standard download from the Imagix website.
It is available on Windows as well as Linux (both 32-bit and 64-bit).
Version 9.2 of Imagix 4D considerably extends the data flow analysis in reports and with data flow diagrams. These are powerful tools for pointer tracking and change analysis in projects. Sequence diagrams as an enhanced version of control flow graphs are now available in Imagix 4D.
Source code analysis is extended to the latest versions of MSVC 2019 and GCC 9 with features from C++14 and C++17. The review tool now supports the latest Common Weakness Enumeration (CWE) 3.3 checklist.
Learn more

Imagix 4D podcast: Software developer Anna has got a problem

(Offenburg, 15 October 2019)

The software developer Anna is responsible for an old software project no one knows any more about. The software documentation gives little information that does not help at all... The whole thing is like a nightmare that seems solvable only with massive time and money wasting.
Then Anna comes across the tool Imagix 4D, which determines the actual state of software based on the source code. Through the generated graphs, documentation and reports, Anna quickly identifies the causes of the errors and can fix them more easily than expected. Anna immediately informs her customers, who are more than relieved...
Watch the video now

How Imagix 4D supports the understanding of software based on source code

(Offenburg/Germany, 25 September 2019)

The size and complexity of software projects typically increase over their lifetime. As a result, it becomes more and more expensive to sustain enough knowledge to support maintenance, enhancements and verification against existing and changed requirements. This is exacerbated by the realities of personnel turnover and use of 3rd party and legacy code. Shortages of resources lead to shortcuts in quality, such as violations of guidelines and poor documentation.
This work will show how Imagix 4D improves the process of exploring and understanding unfamiliar source code. An introduction into why and where such a process is required will be followed by a description of the methods Imagix 4D introduces to support such source code analysis.
Read the white paper here

Free Webinar "Refactoring using Imagix 4D" on Tuesday, 1st of October 2019

(Offenburg/Germany, 03 July 2019)

In order to protect investments continuous refactoring is essential to increase lifetime of software applications.
Sometimes it pays off to perform refactoring of legacy code. In that case the program has potential to be reused in the latest projects. Thereby the code is revised towards an improved maintainability and extensibility while keeping its functionality. Imagix 4D is the ideal tool to assist you in performing the refactoring process. A comprehensive and well-arranged visualization of the existing architecture facilitates achieving a fast understanding of component interaction. Modifications can be performed smoothly.
Find out, how Imagix 4D can help to support with refactoring in our free webinar "Refactoring using Imagix 4D" on Tuesday, 1st of October 2019.

Imagix The Swiss Army Knife for Software

Imagix 4D: The "Swiss Army Knife" for Software

(Munich, Offenburg/Germany, 19 June 2018)

Imagix 4D can be considered as the "Swiss Army Knife" for software. It is a tool to understand, document and improve complex, third party or legacy source code in C, C++ and Java. Imagix 4D automates the analysis of control flow and dependencies. In addition, the "Swiss Army Knife" detects problems in data usage and task interactions. With Imagix 4D software development teams increase productivity, improve quality, and reduce risk.
Watch here on YouTube our presentation helt by Static Code Analysis specialist David Baltzer at Avionics Electronics Munich.
Learn more about Imagix 4D

Imagix has released Imagix 4D version 9.1

(Offenburg/Germany, San Luis Obispo/USA, 1 May 2018)

Imagix has released version 9.1 Imagix 4D with the following new features:

Added metrics and analysis of stack size for embedded code
Added import of test coverage data from Testwell CTC++

Learn more about Imagix 4D version 9.1

Verifysoft exhibited at Embedded World 2017: Watch our Video Now!

(Nuremberg/Germany, 16 March 2017)

More than 30,000 visitors from 73 countries came this year to the Embedded World Nuremberg in Germany. As every year since 2005, Verifysoft Technology presented best in class software testing tools.
Verifysoft's Software Testing Solutions meet the requirements of standards like DO-178C, EN 50128, IEC 61508, 62304 or ISO 26262 and are used in safety and security critical projects.
We provide testing tools for Static analysis, dynamic analysis and for code coverage.
Read more and watch our video now

Imagix 4D releases Imagix 4D version 9.0: Introduction of a review tool and checklist for Common Weakness Enumeration (CWE)

(San Luis Obispo/USA, Offenburg/Germany, 6 march 2017)

Imagix 4D Version 9.0 is now available. The new version introduces a review tool for guided checklist reviews and adds a checklist for Common Weakness Enumeration (CWE) testing. The performance of the flow check reports has been dramatically improved. The functionality of the calculation tree data flow visualizer has been expanded.

Imagix 4D Version 8.1.4 available

(Offenburg/Germany, San Luis Obispo/USA, 6 October 2016)

Imagix has released version 8.1.4 Imagix 4D version 8.1 with the following new features:

Support for Java Edition 8
Addition of MSVC 2015 to user interface and compiler configuration file
Improvements to Delta Analysis symbol matching and reports
Various small improvements and fixes to GUI, graphs, reports, etc.
C/C++ source analyzer enhancements for GCC #include_next, MSVC #import, IAR "@" operator, and C++14

Verifysoft Becomes First European Distributor of the Source Code Checking and Architecture Analysis Tool Imagix 4D

(Offenburg/Germany, San Luis Obispo/USA, 2 January 2016)

Imagix Corporaton has choosen Verifysoft Technology as European distributor for it´s Source Code Checking and Architecture Analysis Tool Imagix 4D. Verifysoft will handle sales and support for Imagix in Germany, Austria, Switzerland, Liechtenstein, France, Netherlands, Belgium, Luxemburg, Poland, Czech Republic, Slovakia, Hungary, Slovenia, Spain and Portugal.
Imagix 4D is used for reverse-engineering, quality analysis and documentation of software written in C, C++ and Java. Customers include leading global companies like General Dynamics, Hewlett-Packard, Hitachi, Intel, Nissan, and Siemens. Imagix 4D is also used by US governmental agencies such as Federal Aviation Administration (FAA) and NASA.
Imagix is a privately-held corporation, which is headquartered in San Luis Obispo, California. > further information about Imagix

Imagix has released Imagix 4D version 8.1

(Offenburg/Germany, San Luis Obispo/USA, 5 October 2015)

Imagix has released version 8.1 Imagix 4D with the following new features:

Added binary analysis for Microsoft Visual C++ #import, #using directives
Added Subsystem Architectures to document generation

Integration of Testwell CTC++ with Imagix 4D Available

(Offenburg/Germany, San Luis Obispo/USA, 27 November 2014)

Imagix and Verifysoft announce the integration of Testwell CTC++ with Imagix 4D. Together with the test coverage tool Testwell CTC++, Imagix 4D can now be used to evaluate whether test cases have resulted in sufficient testing. Several layouts for viewing the program flow are available in Imagix 4D. One of them is the Logic layout chart which points up the program logic of the function. Different colors show the test coverage of each part of your software.
Imagix is a privately-held corporation, headquartered in San Luis Obispo, California.
> further information

9 June 2021