let
is_malloc_function v = isFunctionType v.vtype
&&
v.vname = name_of_malloc