Module Frama_c_kernel.Infer_assigns

Generation of possible assigns from the C prototype of a function.

val from_prototype : Kernel_function.t -> Cil_types.from list