Starvation (infer.Concurrency.Starvation)

val analyze_procedure : 
  StarvationDomain.summary Absint.InterproceduralAnalysis.t ->
  StarvationDomain.summary option

val reporting : 
  StarvationDomain.summary Absint.InterproceduralAnalysis.file_t ->
  Absint.IssueLog.t

module ReportMap : sig ... end

val report_on_pair : 
  analyze_ondemand:(IR.Procname.t -> StarvationDomain.summary option) ->
  IR.Tenv.t ->
  IR.ProcAttributes.t ->
  StarvationDomain.CriticalPair.t ->
  ReportMap.t ->
  ReportMap.t

val report_on_parallel_composition : 
  should_report_starvation:bool ->
  IR.Tenv.t ->
  IR.ProcAttributes.t ->
  StarvationDomain.CriticalPair.t ->
  StarvationDomain.Lock.t ->
  IR.Procname.t ->
  StarvationDomain.CriticalPair.t ->
  ReportMap.t ->
  ReportMap.t