Module 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 : issue_id:string -> 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
type json_issue_printer_typ = {
  1. error_filter : IBase.SourceFile.t -> IBase.IssueType.t -> bool;
  2. proc_name : IR.Procname.t;
  3. proc_location_opt : IBase.Location.t option;
  4. err_key : Absint.Errlog.err_key;
  5. err_data : Absint.Errlog.err_data;
}
module JsonIssuePrinter : sig ... end