Project Group PhASIO

Project Group

PhASAR is an open-source state-of-the-art static analysis framework that is developed in our research group. This project group is about enhancing the interoperability of PhASAR with other tools. In particular, PhASAR shall be extended to export and import analysis results to/from other tools via standardized protocols.

Please find the presentation slides here.