
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 detailsWe 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.
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 detailsConsulting
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 detailsWe 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.
Ready to bring your software projects to the next level?
Get in touch today!
Meet the Team
From the Blog
Stay up to date with our latest blog posts.