diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt
index 230a934ca..6b2706629 100644
--- a/infer/man/man1/infer-full.txt
+++ b/infer/man/man1/infer-full.txt
@@ -1748,10 +1748,6 @@ INTERNAL OPTIONS
            Deactivates: Use the multirange subtyping domain (Conversely:
            --subtype-multirange)
 
-       --summary-stats
-           Activates: Print stats about summaries to standard output
-           (Conversely: --no-summary-stats)
-
        --symops-per-iteration int
            Set the number of symbolic operations per iteration (see
            --iterations)
diff --git a/infer/src/backend/InferPrint.ml b/infer/src/backend/InferPrint.ml
index 46b42bb68..0bc5482fc 100644
--- a/infer/src/backend/InferPrint.ml
+++ b/infer/src/backend/InferPrint.ml
@@ -372,166 +372,6 @@ let pp_text_of_report fmt report =
   List.iter ~f:pp_row report ; F.fprintf fmt "@?"
 
 
-module SummaryStats = struct
-  module MetricTypes = struct
-    type 't typ = Bool : bool typ | Int : int typ
-  end
-
-  module MakeTopN (V : PrettyPrintable.PrintableOrderedType) = struct
-    type 'k t = {capacity: int; filter: V.t -> bool; size: int; sorted_elements: (V.t * 'k) list}
-
-    let make capacity ~filter = {capacity; filter; size= 0; sorted_elements= []}
-
-    let add top k v =
-      if top.filter v then
-        let smaller, greater =
-          List.split_while top.sorted_elements ~f:(fun (v', _) -> V.compare v v' > 0)
-        in
-        if top.size >= top.capacity then
-          match smaller with
-          | [] ->
-              top
-          | _ :: tl ->
-              let sorted_elements = tl @ ((v, k) :: greater) in
-              {top with sorted_elements}
-        else
-          let sorted_elements = smaller @ ((v, k) :: greater) in
-          {top with size= top.size + 1; sorted_elements}
-      else top
-
-
-    let is_empty top = top.size <= 0
-
-    let pp ~pp_k f top =
-      if top.size > 0 then
-        let pp1 f (v, k) = F.fprintf f "@[%a -> %a@]" V.pp v pp_k k in
-        Pp.seq pp1 f (List.rev top.sorted_elements)
-  end
-
-  module IntTopN = MakeTopN (Int)
-
-  module MetricAggregator = struct
-    open MetricTypes
-
-    type ('i, 'k) t =
-      | A :
-          { name: string
-          ; value: 'o
-          ; is_empty: 'o -> bool
-          ; add: 'o -> 'k -> 'i -> 'o
-          ; pp: pp_k:(F.formatter -> 'k -> unit) -> F.formatter -> 'o -> unit }
-          -> ('i, 'k) t
-
-    let add (A aggr) k i = A {aggr with value= aggr.add aggr.value k i}
-
-    let pp ~pp_k f (A {name; pp; value; is_empty}) =
-      if not (is_empty value) then F.fprintf f "@[%s: @[%a@]@]" name (pp ~pp_k) value
-
-
-    let no_k pp ~pp_k:_ = pp
-
-    let int name add = A {name; value= 0; is_empty= Int.(( = ) 0); add; pp= no_k F.pp_print_int}
-
-    let int_sum = int "sum" (fun acc _ v -> acc + v)
-
-    let int_top3 =
-      A
-        { name= "top3"
-        ; value= IntTopN.make 3 ~filter:(fun x -> x > 1)
-        ; is_empty= IntTopN.is_empty
-        ; add= IntTopN.add
-        ; pp= IntTopN.pp }
-
-
-    let true_count = int "True" (fun acc _ b -> if b then acc + 1 else acc)
-
-    let false_count = int "False" (fun acc _ b -> if b then acc else acc + 1)
-
-    type 'k get = {get: 'i. 'i typ -> ('i, 'k) t list}
-
-    let aggregators =
-      let get : type i. i typ -> (i, _) t list = function
-        | Bool ->
-            [true_count; false_count]
-        | Int ->
-            [int_sum; int_top3]
-      in
-      {get}
-
-
-    let get aggregators typ = aggregators.get typ
-  end
-
-  module Metrics = struct
-    open MetricTypes
-
-    type 'i metric = M : {get: 'i -> 't; typ: 't typ} -> 'i metric
-
-    let for_fields poly_fields obj_metrics =
-      PolyFields.map poly_fields
-        { f=
-            (fun field_name field_get ->
-              let prefix = field_name ^ ":" in
-              List.map obj_metrics ~f:(fun (metric_name, M {typ; get= metric_get}) ->
-                  let name = prefix ^ metric_name in
-                  let get r = r |> field_get |> Obj.repr |> metric_get in
-                  (name, M {typ; get}) ) ) }
-      |> List.concat
-  end
-
-  module ObjMetrics = struct
-    open MetricTypes
-    open Metrics
-
-    let obj_is_zero = phys_equal (Obj.repr 0)
-
-    let obj_marshaled_size x = String.length (Marshal.to_string x []) - Marshal.header_size
-
-    let metrics =
-      let bool name get = (name, M {typ= Bool; get}) in
-      let int name get = (name, M {typ= Int; get}) in
-      [ int "reachable_words" Obj.reachable_words
-      ; int "marshaled size" obj_marshaled_size
-      ; bool "is_zero" obj_is_zero ]
-  end
-
-  module MetricResults = struct
-    open MetricTypes
-    open Metrics
-    module StringMap = PrettyPrintable.MakePPMap (String)
-
-    type ('i, 'k) result =
-      | R : {typ: 't typ; get: 'i -> 't; aggrs: ('t, 'k) MetricAggregator.t list} -> ('i, 'k) result
-
-    let init metrics aggregators =
-      List.fold metrics ~init:StringMap.empty ~f:(fun acc (name, M {typ; get}) ->
-          StringMap.add name (R {typ; get; aggrs= MetricAggregator.get aggregators typ}) acc )
-
-
-    let add results k x =
-      StringMap.map
-        (fun (R res) ->
-          let v = res.get x in
-          R {res with aggrs= List.map res.aggrs ~f:(fun aggr -> MetricAggregator.add aggr k v)} )
-        results
-
-
-    let pp ~pp_k f results =
-      let pp_value f (R {aggrs}) = Pp.seq (MetricAggregator.pp ~pp_k) f aggrs in
-      StringMap.pp ~pp_value f results
-  end
-
-  let results =
-    let summary_fields_obj_metrics = Metrics.for_fields Summary.poly_fields ObjMetrics.metrics in
-    let init = MetricResults.init summary_fields_obj_metrics MetricAggregator.aggregators in
-    ref init
-
-
-  let do_summary proc_name summary = results := MetricResults.add !results proc_name summary
-
-  let pp_stats () = L.result "%a@\n" (MetricResults.pp ~pp_k:Procname.pp) !results
-end
-
 let error_filter filters proc_name file error_name =
   (Config.write_html || not (IssueType.(equal skip_function) error_name))
   && filters.Inferconfig.path_filter file
@@ -684,10 +524,7 @@ let pp_lint_issues filters formats_by_report_kind linereader procname error_log
 
 (** Process a summary *)
 let process_summary formats_by_report_kind summary issues_acc =
-  let proc_name = Summary.get_proc_name summary in
-  let issues_acc' = pp_summary_by_report_kind formats_by_report_kind summary issues_acc in
-  if Config.summary_stats then SummaryStats.do_summary proc_name summary ;
-  issues_acc'
+  pp_summary_by_report_kind formats_by_report_kind summary issues_acc
 
 
 (** Although the out_file is an Option type, the None option is strictly meant for the logs
@@ -758,7 +595,6 @@ let pp_summary_and_issues formats_by_report_kind issue_formats =
         ~f:(fun issue_format -> pp_issue_in_format issue_format error_filter issue)
         issue_formats )
     !all_issues ;
-  if Config.summary_stats then SummaryStats.pp_stats () ;
   (* Issues that are generated and stored outside of summaries by linter and checkers *)
   List.iter (Config.lint_issues_dir_name :: FileLevelAnalysisIssueDirs.get_registered_dir_names ())
     ~f:(fun dir_name ->
diff --git a/infer/src/backend/Payloads.ml b/infer/src/backend/Payloads.ml
index 3b1968c1c..da2979446 100644
--- a/infer/src/backend/Payloads.ml
+++ b/infer/src/backend/Payloads.ml
@@ -27,8 +27,6 @@ type t =
   ; uninit: UninitDomain.Summary.t option }
 [@@deriving fields]
 
-let poly_fields = PolyFields.make Fields.map_poly
-
 type 'a pp = Pp.env -> F.formatter -> 'a -> unit
 
 type field = F : {field: (t, 'a option) Field.t; name: string; pp: 'a pp} -> field
diff --git a/infer/src/backend/Payloads.mli b/infer/src/backend/Payloads.mli
index 858225292..9b7122f37 100644
--- a/infer/src/backend/Payloads.mli
+++ b/infer/src/backend/Payloads.mli
@@ -35,5 +35,3 @@ end
 val pp : Pp.env -> Format.formatter -> t -> unit
 
 val empty : t
-
-val poly_fields : t PolyFields.t
diff --git a/infer/src/backend/Summary.ml b/infer/src/backend/Summary.ml
index a51a59e41..d146261d1 100644
--- a/infer/src/backend/Summary.ml
+++ b/infer/src/backend/Summary.ml
@@ -67,10 +67,6 @@ include struct
   [@@deriving fields]
 end
 
-let poly_fields =
-  PolyFields.(make Fields.map_poly ~subfields:[S (Fields.payloads, Payloads.poly_fields)])
-
-
 let get_status summary = summary.status
 
 let get_proc_desc summary = summary.proc_desc
diff --git a/infer/src/backend/Summary.mli b/infer/src/backend/Summary.mli
index ae832c26c..cc27da35c 100644
--- a/infer/src/backend/Summary.mli
+++ b/infer/src/backend/Summary.mli
@@ -45,8 +45,6 @@ type t =
             here, use [IssueLog] and its serialization capabilities instead. *)
   ; mutable callee_pnames: Procname.Set.t }
 
-val poly_fields : t PolyFields.t
-
 val get_proc_name : t -> Procname.t
 (** Get the procedure name *)
 
diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml
index bc95f55f2..4e3f26a0d 100644
--- a/infer/src/base/Config.ml
+++ b/infer/src/base/Config.ml
@@ -2193,10 +2193,6 @@ and subtype_multirange =
     "Use the multirange subtyping domain"
 
 
-and summary_stats =
-  CLOpt.mk_bool ~long:"summary-stats" "Print stats about summaries to standard output"
-
-
 and symops_per_iteration =
   CLOpt.mk_int_opt ~deprecated:["symops_per_iteration"] ~long:"symops-per-iteration" ~meta:"int"
     "Set the number of symbolic operations per iteration (see $(b,--iterations))"
@@ -3049,8 +3045,6 @@ and starvation_whole_program = !starvation_whole_program
 
 and subtype_multirange = !subtype_multirange
 
-and summary_stats = !summary_stats
-
 and custom_symbols =
   (* Convert symbol lists to regexps just once, here *)
   match !custom_symbols with
diff --git a/infer/src/base/Config.mli b/infer/src/base/Config.mli
index 58f16f754..3acb81f59 100644
--- a/infer/src/base/Config.mli
+++ b/infer/src/base/Config.mli
@@ -621,8 +621,6 @@ val starvation_whole_program : bool
 
 val subtype_multirange : bool
 
-val summary_stats : bool
-
 val symops_per_iteration : int option
 
 val test_determinator : bool
diff --git a/infer/src/base/polyFields.ml b/infer/src/base/polyFields.ml
deleted file mode 100644
index f19070c1a..000000000
--- a/infer/src/base/polyFields.ml
+++ /dev/null
@@ -1,37 +0,0 @@
-(*
- * Copyright (c) Facebook, Inc. and its affiliates.
- *
- * This source code is licensed under the MIT license found in the
- * LICENSE file in the root directory of this source tree.
- *)
-open! IStd
-module StringMap = Map.Make (String)
-
-type ('r, 'a) user = {f: 'f. string -> ('r -> 'f) -> 'a} [@@unboxed]
-
-type 'r elt = E : {name: string; get: 'r -> 'a} -> 'r elt
-
-type 'r t = 'r elt list
-
-type 'r sub = S : ('r, 'f) Field.t * 'f t -> 'r sub
-
-let make ?(subfields = []) (map_poly : _ Field.user -> _) =
-  let subfields =
-    List.fold subfields ~init:StringMap.empty ~f:(fun acc (S (field, elts)) ->
-        let name = Field.name field in
-        let prefix = name ^ "." in
-        let get = Field.get field in
-        let elts =
-          List.map elts ~f:(fun (E {name= subname; get= subget}) ->
-              E {name= prefix ^ subname; get= (fun r -> get r |> subget)} )
-        in
-        StringMap.add_exn acc ~key:name ~data:elts )
-  in
-  let f field =
-    let name = Field.name field in
-    StringMap.find subfields name |> Option.value ~default:[E {name; get= Field.get field}]
-  in
-  E {name= "ALL"; get= Fn.id} :: List.concat (map_poly {f})
-
-
-let map elts {f} = List.map elts ~f:(fun (E {name; get}) -> f name get)
diff --git a/infer/src/base/polyFields.mli b/infer/src/base/polyFields.mli
deleted file mode 100644
index 58fab35eb..000000000
--- a/infer/src/base/polyFields.mli
+++ /dev/null
@@ -1,27 +0,0 @@
-(*
- * Copyright (c) Facebook, Inc. and its affiliates.
- *
- * This source code is licensed under the MIT license found in the
- * LICENSE file in the root directory of this source tree.
- *)
-
-open! IStd
-
-(** Datastructure for polymorphic getters of record fields *)
-type 'r t
-
-type 'r sub = S : ('r, 'f) Field.t * 'f t -> 'r sub
-
-type ('r, 'a) user = {f: 'f. string -> ('r -> 'f) -> 'a} [@@unboxed]
-
-val make : ?subfields:'r sub list -> ((_, 'r, 'r t) Field.user -> 'r t list) -> 'r t
-(** Pass [Fields.map_poly] generated by [@@deriving fields] for the record ['r] you are interested
-    in to get the polymorphic getters of the fields of ['r]. A dummy field "ALL" is added too.
-
-    Subfields appearing in [subfields] will be added too. Each subfield is specified by
-    [S (field, poly_fields)] where [field] is the corresponding [Field.t] value (generated by
-    [@@deriving fields]) and [poly_fields] is the result of this function for the field record type. *)
-
-val map : 'r t -> ('r, 'a) user -> 'a list
-(** [map r f] maps each field of [r] with the function [f]. [f] is called with two arguments: the
-    name and the getter of the field. *)