Mit Verifysoft Technology hat GrammaTech einen neuen Distributor für seine Produkte. GrammaTechs Hauptprodukt CodeSonar ist ein statisches Analysetool, mit dem sich die Softwarequalität verbessern lässt.

CodeSonar führt eine interprozedurale Analyse über das gesamte Projekt aus und soll dabei komplexe Programmierfehler aufdecken, die zu Systemabstürzen, Speicherproblemen und anderen kritischen Fehlern führen können. Verifysoft bietet neben der Distribution der Werkzeuge auch Beratung und Support an.