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 offer training on how to use PhASAR effectively and how to develop PhASAR-based analyses in-house.
Of course, we also design and implement customized analyses. It is sufficient if our customers reach out to us with their requirements. In close collaboration, we will determine if and how you can apply static analysis to meet your needs. Once the design has been settled on, we will implement the analysis for our customers.
Are you short on computing resources or do not wish to execute the analyses yourself? We also offer PhASAR as a platform, probably the most flexible solution. After an initial configuration and the development of one or more custom analyses, we execute it on our cloud-based platform. You do not require any infrastructure. Let us conduct the analyses for you. Due to the virtually unlimited computing resources allocated in the cloud, you will receive the analysis reports quickly. You can also query the reports dynamically. For instance, using the language server protocol (LSP), you can retrieve results into your developers’ IDE’s.