Frama-C API - CfgCalculus
type mode = {
kf : Frama_c_kernel.Cil_types.kernel_function;
bhv : Frama_c_kernel.Cil_types.funbehavior;
infos : CfgInfos.t;
}
CfgCalculus
type mode = {
kf : Frama_c_kernel.Cil_types.kernel_function;
bhv : Frama_c_kernel.Cil_types.funbehavior;
infos : CfgInfos.t;
}