Integrating Astrée into your development process

Astrée includes a Compilation Database Importer tool that allows to automatically extract a preprocessor configuration from a compile_commands.json file as generated by modern build systems like e.g. cmake.

The Importer is available both in the GUI via the Tools menu and via a batch-mode option. The extracted configuration can be exported into a .dax file or imported directly into the current analysis project.

JSON compilation database importer

Free trial

Astrée offers JSON integration straight out of the box. No addi­tional packages need to be installed. You can evaluate the tool for free for a period of 30 days.