Use Frama-c to Analyze a Project Using the CMake Build Infrastructure

Question

I need to use the plugin to analyze frama-c values ​​to analyze some projects. These projects use the CMake build infrastructure as their build system.

I used frama-c to analyze each file separately. Thus, entry point information will be lost. More precisely, frama-c requires an entry point for files that do not include the "main" function, and therefore it is difficult to cover all the functions and select the best entry point in a single file from the project.

My question is, is there a way we can run frama-c in the whole project as a whole unit (and not file by file)?

Answer 1

Frama-C . , ( -cpp-extra-args, , , ), .

, ( cpp, Frama-C) .i. Frama-C . , .