diff --git a/infer/src/bufferoverrun/bufferOverrunAnalysis.ml b/infer/src/bufferoverrun/bufferOverrunAnalysis.ml
index 2dbc1c822..390df76a1 100644
--- a/infer/src/bufferoverrun/bufferOverrunAnalysis.ml
+++ b/infer/src/bufferoverrun/bufferOverrunAnalysis.ml
@@ -474,9 +474,7 @@ let compute_invariant_map :
     let proc_name = Procdesc.get_proc_name proc_desc in
     let open IOption.Let_syntax in
     let get_summary proc_name = analyze_dependency proc_name >>| snd in
-    let get_formals callee_pname =
-      AnalysisCallbacks.proc_resolve_attributes callee_pname >>| Pvar.get_pvar_formals
-    in
+    let get_formals callee_pname = Attributes.load callee_pname >>| Pvar.get_pvar_formals in
     let integer_type_widths = Exe_env.get_integer_type_widths exe_env proc_name in
     let oenv = OndemandEnv.mk proc_desc tenv integer_type_widths in
     {interproc; get_summary; get_formals; oenv}
diff --git a/infer/src/bufferoverrun/bufferOverrunChecker.ml b/infer/src/bufferoverrun/bufferOverrunChecker.ml
index f560b383c..d23b8dac0 100644
--- a/infer/src/bufferoverrun/bufferOverrunChecker.ml
+++ b/infer/src/bufferoverrun/bufferOverrunChecker.ml
@@ -457,9 +457,7 @@ let checker ({InterproceduralAnalysis.proc_desc; tenv; exe_env; analyze_dependen
           let* _checker_summary, analysis_summary = get_summary_common callee_pname in
           analysis_summary
         in
-        let get_formals callee_pname =
-          AnalysisCallbacks.proc_resolve_attributes callee_pname >>| Pvar.get_pvar_formals
-        in
+        let get_formals callee_pname = Attributes.load callee_pname >>| Pvar.get_pvar_formals in
         compute_checks get_checks_summary get_summary get_formals proc_name tenv integer_type_widths
           cfg inv_map
       in