Module Integration.JsonReports

val potential_exception_message : string
val loc_trace_to_jsonbug_record : Absint.Errlog.loc_trace_elem list -> IBase.IssueType.severity -> ATDGenerated.Jsonbug_t.json_trace_item list
val censored_reason : IBase.IssueType.t -> IBase.SourceFile.t -> string option
val write_reports : issues_json:string -> costs_json:string -> config_impact_json:string -> unit