JsonReports (infer.Integration.JsonReports)

val potential_exception_message : string

val loc_trace_to_jsonbug_record : 
  Absint.Errlog.loc_trace_elem list ->
  ATDGenerated.Jsonbug_t.json_trace_item list

val censored_reason : IBase.IssueType.t -> IBase.SourceFile.t -> string option

val sanitize_qualifier : string -> string

val compute_hash : 
  severity:string ->
  bug_type:string ->
  proc_name:IR.Procname.t ->
  file:string ->
  qualifier:string ->
  string

val write_reports : 
  issues_json:string ->
  costs_json:string ->
  config_impact_json:string ->
  unit