Verifysoft hat während der Entwicklung von "CTC++ for Java and C#", einem Add-on zur Messung der Code-Coverage in C# und Java-Projekten, einen schwerwiegenden Fehler in der Codegenerierung des Mono C# Kompilers aufgedeckt.
Die Kompilate, die mit dem ungefixten Kompiler übersetzt wurden sind nicht vertrauenswürdig und müssen mit einem zukünftig gefixten Kompiler komplett neu übersetzt werden.
Der Bug wurde mittlerweile von Novell bestätigt, weitere Informationen und Details unter
https://bugs.launchpad.net/mono/+bug/144734
https://bugzilla.novell.com/show_bug.cgi?id=328136

Verifysoft hat das Testabdeckungstool "Testwell CTC++ Test Coverage Analyzer for C and C++" auf Java und C# ausgeweitet.
Das in Offenburg entwickelte "CTC++ for Java and C# Add-on" erlaubt wie das Basistool CTC++ die Messung der Testabdeckung für alle Coverage-Niveaus von der einfachen Function Coverage über Decision-, Condition-/Branch- und Multicondtion-Coverage bis hin zur höchsten Testabdeckungsstufe Modified Condition/Decision-Coverage.
Mit dem neuen Add-on kann CTC++ damit zum Nachweis höchster Code-Qualität bei der Entwicklung von sicherheitskritischen Projekten in C, C++, Java und C# eingesetzt werden.
Interessierten Firmen steht das "CTC++ for Java and C# Add-on" ab sofort zur Verfügung.

Firmenprofil (pdf, Stand 2007)