Module Translate_ats.Malloc

module Malloc: sig .. end

val find_all : Cil_types.kernel_function -> Cil_types.stmt list
val remove_all : Cil_types.kernel_function -> unit

Remove all malloc stmts for kf from the internal table.