diff --git a/src/analyses/wrapperFunctionAnalysis.ml b/src/analyses/wrapperFunctionAnalysis.ml index 613bb05770..dc806fe121 100644 --- a/src/analyses/wrapperFunctionAnalysis.ml +++ b/src/analyses/wrapperFunctionAnalysis.ml @@ -173,6 +173,9 @@ module MallocWrapper : MCPSpec = struct let finalize () = NodeVarinfoMap.marshal () + + (* TODO: Adapt implementaiton for modular mode to not yield additional contexts *) + let modular_support () = Both end