Home - GaZAR

About Us

GaZAR stands for C and C++ software development and analysis in the 21st century. Even today C and C++ are still the programming languages of choice for implementing resource and performance-critical applications, libraries, and infrastructures. Therefore, it is of essential importance to do the best possible job when developing these systems.

Our Services

GaZAR comprises a team of experts in the fields of (secure) software engineering, programming languages, compilers, and program analysis. GaZAR offers consulting and trainings on software development with C and C++ as well as analysis and transformation tools for C/C++. GaZAR enables its customers to realize their software projects more effectively and more securely, and thus more cost efficiently in the long run.

Program Analysis

Program analysis is a powerful building block for bug finding, compiler optimization, and software hardening. Static program analysis allows one to check interesting properties of a program without actually executing it. It determines a program's behavior along all possible executions paths and thus yields an overapproximation of the program's behavior. Dynamic analysis, on the other hand, captures a program's behavior by executing it. It allows for analyzing the program's behavior along the control-flow paths taken during execution and underapproximates a program's behavior.
We employ program analysis to support our customers in improving their software products. Not only do we develop custom program analyses that exactly match our customers needs, but also do we support our customers in implementing their own analyses.

View details

Training

Due to our expertise in software engineering and program analysis and our long-standing experience in teaching the C and C++ programming languages and program analysis, we offer various training in these areas. We focus on transferring practical knowledge that can be directly applied in everyday software development.

View details

Consulting

The effective and successful development of C and C++ software projects requires a great deal of expertise in many different fields of software engineering.
We support our customers throughout the complete development cycle, from the planning and design to the deployment. We also advise and suggest improvements on existing, deployed software and individual software components. Our consulting service ensures that you can meet all the desired software requirements and avoid mistakes.

View details