Module Absint.Reporting

Type of functions to report issues to the error_log in a spec.

type log_t = ?loc_instantiated:IBase.Location.t -> ?ltr:Errlog.loc_trace -> ?extras:ATDGenerated.Jsonbug_t.extra -> ?suggestion:string -> IBase.Checker.t -> IBase.IssueType.t -> string -> unit
val log_issue_from_summary : ?severity_override:IBase.IssueType.severity -> IR.Procdesc.t -> Errlog.t -> node:Errlog.node -> session:int -> loc:IBase.Location.t -> ltr:Errlog.loc_trace -> ?extras:ATDGenerated.Jsonbug_t.extra -> IBase.Checker.t -> IssueToReport.t -> unit
val log_issue : IR.Procdesc.t -> Errlog.t -> loc:IBase.Location.t -> log_t

Add an issue to the given error log.

val log_issue_external : IR.Procname.t -> issue_log:IssueLog.t -> ?severity_override:IBase.IssueType.severity -> loc:IBase.Location.t -> ltr:Errlog.loc_trace -> ?access:string -> ?extras:ATDGenerated.Jsonbug_t.extra -> ?suggestion:string -> IBase.Checker.t -> IBase.IssueType.t -> string -> IssueLog.t

Log an issue to the error log in IssueLog associated with the given procname.

val is_suppressed : ?field_name:IR.Fieldname.t option -> IR.Tenv.t -> IR.ProcAttributes.t -> IBase.IssueType.t -> bool

should an issue report be suppressed due to a @SuppressLint("issue") annotation?