Checker Report Infrastructure

include/Checker/Report/ and lib/Checker/Report/ implement the shared bug-reporting layer used by all Lotus checkers.

Main components:

• BugReport and BugDiagStep store findings and diagnostic traces.

• BugReportMgr is the central aggregation and emission entry point.

• BugTypes defines checker-visible bug categories and metadata.

• SuppressionManager filters findings by suppression rules.

• SARIF support emits standardized machine-readable reports.

Every major checker family routes its output through this layer so tools can share JSON, SARIF, and summary reporting.

See also Checker Framework and Bug Detection with Lotus.