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…
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…
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…
Get the know-how you need to develop your C and C++ software projects more effectively and successfully.
Get the program analyses you need to develop more performant and secure C and C++ software.
