Frama-C API - From_register_gui

Extension of the GUI in order to support the from analysis. No function is exported.