Code-Verifikation

Wir analysieren eine große, historisch gewachsene Anwendung zur Erzeugung und Verwaltung von digitalen Zertifikaten hinsichtlich der Qualität des Quellcodes und der Komplexität zukünftiger funktionaler Erweiterungen. Für die Analyse des Java- und C++-Quellcodes setzen wir u.a. statische Codeanalysetools und manuelle Analysen ein, sodass wir dem Anwender der Software detailliertes Feedback zu möglichen Schwachstellen der Anwendung geben und Verbesserungsmöglichkeiten aufzeigen können.