Analyzing, Optimizing and Teaching C/C++ Software and Its Development

GaZAR bedeutet C und C++ Softwareentwicklung und -analyse im 21sten Jahrhundert. C und C++ sind auch im 21sten Jahrhundert immer noch die Programmiersprachen der Wahl um ressourcen- und performanzkritische Anwendungen, Bibliotheken und Infrastrukturen umzusetzen. Aus diesem Grund ist es essentiell, dass auf dieser Ebene die bestmögliche Arbeit geleistet wird.

GaZAR besteht aus einem Team von Spezialisten auf den Gebieten der Softwaretechnik, Programmiersprachen, Compiler und Programmanalyse. GaZAR bietet Ihnen Beratung, Trainings und Werkzeuge rund um die Entwicklung von C und C++ Softwareprojekten. Mit uns können Sie Ihre Softwareprojekte effektiver, sicherer und somit langfristig kostengünstiger umsetzen.

Ein wichtiger Baustein bei der effektiven Entwicklung von C und C++ Softwareprojekten ist der Einsatz von Werkzeugen. GaZAR ermöglicht Ihnen die Integration von state-of-the-art compiler-basierten Werkzeugen in Ihre Entwicklungsprozesse. Darüber hinaus schneidern wir Ihnen bei Bedarf auch Werkzeuge nach Maß, die genau auf Ihre Anforderungen zugeschnitten sind und Sie optimal bei der Entwicklung unterstützen. GaZAR setzt unter anderem auf effektive Programmanalyse: Wir setzen statische und dynamische Programmanalysen ein, um Ihr Softwareprojekt etwa auf Programmierfehler und Verwundbarkeiten zu prüfen oder um die Performanz Ihrer Software zu verbessern. Ein Beispiel?: “Der Einsatz des dynamic_cast Operators verbietet sich aufgrund der strikten Laufzeitanforderungen Ihres Softwareprojekts?”: Kein Problem, wir entwickeln eine statische link-time Optimierung mit der Sie den Laufzeit-Typ in konstanter Zeit ermitteln und somit auf ein leicht zu wartendes Design setzen können.

GaZAR setzt ausschließlich auf hochqualitative Open-Source Software-Komponenten. So setzen wir etwa auf die Abseil und Boost Bibliotheken(-Sammlungen).

Für die Umsetzung automatisierter Analyse- und Refactoring-Werkzeuge setzen wir auf die LLVM/Clang Compiler-Tool-Chain, die z.B. die Entwicklung von mächtigen Werkzeugen wie etwa clang-format, clang-tidy oder des Clang Static Analyzer erlauben, bzw. welche die Basis des PhASAR Rahmenwerk (https://phasar.org/) zur statischen und dynamischen Programmanalyse darstellt. Der Einsatz von Open-Source Technologie bietet Zugriff auf Softwarekomponenten die durch hunderte Entwickler gepflegt und weiterentwickelt werden, und verursacht zudem keine zusätzlichen Lizenzkosten für unsere Kunden.