Module Goblint_lib.MallocWrapperAnalysis

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

module Q = Queries