Translate_ats.Malloc
val find_all : Frama_c_kernel.Cil_types.kernel_function -> Frama_c_kernel.Cil_types.stmt list
the list of malloc stmts that need to be inserted into kf.
malloc
kf
val remove_all : Frama_c_kernel.Cil_types.kernel_function -> unit
Remove all malloc stmts for kf from the internal table.