Frama-C API - Infer_assigns
Generation of possible assigns from the C prototype of a function.
val from_prototype : Kernel_function.t -> Cil_types.from list
Frama-C Frama-C Infer_assignsGeneration of possible assigns from the C prototype of a function.
val from_prototype : Kernel_function.t -> Cil_types.from list