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.
Free trial
Astrée offers JSON integration straight out of the box. No additional packages need to be installed. You can try the tool for free for a period of 30 days.
