logo




GrammaTech CodeSonar 5.1 Available

(Ithaca/New York/USA, Offenburg/Germany, 21 June 2019)

Grammatech has released version 5.1 of the static code analysis tool CodeSonar. The new version has the following new features and enhancements:
  • CodeSonar now integrates with the static analysis tool named Julia for the analysis of Java and C#
  • Support of SARIF (SARIF is a new standard for representing the results of static analysis tools. As the standard has not been finalized yet, CodeSonar supports importing and exporting the 11/28 version. This is compatible with the version of SARIF exported by the Clang Static Analyzer.
  • Pylint Integration: CodeSonar now integrates with Pylint through SARIF. Warnings generated by Pylint can be imported into the CodeSonar user interface and managed just like other warnings.
  • HTML 5 Visualization: There is a new interface for browsing call trees, invokable from the info window. This functionality will be extended in future releases to replace the old Java-based visualization applet.
  • Enhanced Return Code Checking: The return code checker now covers many more functions than previously, covering libraries such as Qt, the GNU C Library, OpenSSL, the GLib GNOME Library, libPNG, and several others.
  • C++-17 Support: CodeSonar now has better compatibility with C++-17, as is used by newer
  • Decompiler for Intel 64-bit: The decompiler in CodeSonar for binaries can now show code decompiled from the Intel-64 instruction set architecture.

GrammaTech participates in the MISRA Committee / Merging of the MISRA C++ and AUTOSAR C++ Guidelines

(Ithaca/New York, Offenburg/Germany, 21 June 2019)


The MISRA Consortium recently announced the merger of MISRA C++ 2008 and AUTOSAR C++14 into a common guideline. This is positive news since it combines two key standards for coding in C++.
Verifysoft’s partner GrammaTech is an active participant in the MISRA committee and is collaborating in merging these standards.
GrammaTech’s Vice President of Engineering Paul Anderson is now an official member of the MISRA committee and will be working with the other members to develop new versions of the MISRA standards. Learn more about MISRA C++ 2008 and AUTOSAR C++14 merger

Elvior has released TestCast T3 version 6.14.1

(Tallinn/Estonia, Offenburg/Germany, 26 March 2019)

Elvior has released a new version of the test execution tool TestCast with the following features:
  • TTCN-3:2019 support (ES 201 873-1 4.11.1, ES 201 873-6 4.11.1, ES 201 873-9 4.10.1)
  • Faster start of execution of scripts that are already loaded in the memory
  • TCI-TL: tliVar support
  • Support of CDATA in XML codec
  • Configurable timeout of synchronous TCI call initiated by a remote interface implementation (TRI, TCI)
  • Minor changes in the way how critical test environment errors (such as TRI connection termination) are reported and presented to the user

    Improvements and bug fixes:
  • Incorrect namespace search used for processing parameterized types
  • Several issues with jumping to a log or source code line from session reports
  • Issue with resolving variant attributes when the encoding attribute has changed
  • Run-time crash occurring during resolution of module parameters
  • Synchronized TLI calls were not properly finalized when exiting the testing mode
  • Deadlock occurring in some cases when TRI returns TriError
  • Error in processing TRI broadcast reply in java lib
  • Missing connection acceptance checks for TCI-CD and TCI-TL over TCP/IP
  • Autocomplete didn’t correctly display options for function calls (starting from the 2nd parameter)

Release of Testwell CMT++ Version 7.0 and CMTJava 4.0

(Offenburg/Germany, 25 March 2019)

Verifysoft releases the new versions of the tools Testwell CMT++ 7.0 and Testwell CMTJava 4.0 with some bug-fixes. As a new feature, reports can now be generated in JSON format. After installation, the detailed list of changes can be found in version.txt..
Further information: Testwell CMT++ 7.0 and Testwell CMTJava 4.0.