module Malloc:sig..end
val find_all : Cil_types.kernel_function -> Cil_types.stmt listmalloc stmts that need to be inserted into kf.val remove_all : Cil_types.kernel_function -> unitRemove all malloc stmts for kf from the internal table.