Module MallocWrapperAnalysis

An analysis that handles the case when malloc is called from a wrapper function all over the code.