Static Program Analysis as a Service — a Prototype

Static program analysis has been proven useful to virtually any company that builds their own software product. Static analysis is used to automatically detect bugs and security breaches, and aids compiler optimization. While there are relatively light-weight analysis approaches that conduct syntactic checks on the target program, and which are able to analyze even million…

Read more

Empowering Communities

Working with one of the most advanced programming languages is hard. Working, in addition, in the fields of program analysis, programming languages, compilers, and high performance computing does not necessarily improve the situation. That builds character you may say, and that is probably true. But our team members at GaZAR would have never come that…

Read more

PhASAR Support

PhASAR Support As the creator and chief maintainer(s) of the PhASAR static analysis framework (https://phasar.org/ / https://github.com/secure-software-engineering/phasar) for C and C++, we can provide our customers the best possible support for the development of PhASAR-based program analyses. We provide support for configuring and applying PhASAR to allow for effectively analyzing our customer’s projects. Additionally, we…

Read more

Consulting

Get the know-how you need to develop your C and C++ software projects more effectively and successfully.

Read more

Training

Get training in C and C++ programming, program analysis and software engineering as part of defense against the dark arts.

Read more