Astrée includes a Compilation Database Importer tool that allows to automatically
extract a preprocessor configuration from a
as generated by modern build systems like e.g.
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.
Astrée offers JSON integration straight out of the box. No additional packages need to be installed. You can evaluate the tool for free for a period of 30 days.