Version 2.4.2

Wartungs- und Sicherheits-Update

Diese Version enthält Verbesserungen, Fehlerkorrekturen und Sicherheits-Updates.

In diesem Zusammenhang wurden auch einige der im Lieferumfang enthaltenen Bibliotheken ersetzt oder erneuert:

  1. um funktionale Verbesserungen nutzen zu können

  2. um zwischenzeitlich veröffentlichte Sicherheitslücken zu schließen

Log4J

Sicherheits-Update:
  • Die Log4J-Bibliotheken wurden aktualisiert

  • Dies schließt die im April 2026 veröffentlichte Sicherheitslücke CVE-2026-34480

Testfallgenerierung

Verbesserungen:
Korrektur:

Programmgenerierung

Verbesserung:
  • Verbesserte Erkennung von funktional irrelevanten Änderungen an generierten Programmen zur automatischen Unterdrückung der Neu-Generierung, siehe auch Generierungsparameter: SkipUnchanged