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