Version 2.4.2

Maintenance and Security Update

This version encompasses enhancements, bug fixes and security updates.

In this context, several of the libraries included in the delivery were also replaced or updated:

  1. to take advantage of functional improvements

  2. to close security gaps that have been published in the meantime

Log4J

Security update:
  • Log4J libraries have been updated

  • This addresses the security vulnerability published in April 2026 CVE-2026-34480

Test case generation

Improvements:
Bug fixes:

Program generation

Improvement:
  • Enhanced detection of functionally irrelevant changes to generated programs for the automatic suppression of regeneration; see also the following generation parameters: SkipUnchanged