The entry point of this library is the module: Analysis_scripts.
The entry point of this library is the module: Frama_c_boot.
The entry point of this library is the module: Frama_c_gui.
The entry point of this library is the module: Frama_c_very_first.
The entry point of this library is the module: Frama_c_kernel.