classJsonReporter

BoundValue = array{type: string, values: list<string|int|float|bool|null>, exhaustive: bool, origins: list<string>}

PlaceholderNode = array{token: string, position: int, name: string|null, value: BoundValue|null}

FindingNode = array{rule: string, severity: string, message: string}

SiteNode = array{file: string, line: int, function: string, sink: string}

StatementNode = array{id: string, kind: string, sql: string, exact: bool, resolution: string, searchClosed: bool, correlated: bool, tables: list<string>, site: SiteNode, through: list<string>, placeholders: list<PlaceholderNode>, findings: list<FindingNode>}

SummaryNode = array{statements: int, resolved: int, undetermined: int, findings: int}

CatalogDocument = array{'$schema': string, version: int, analysis: array{conditions: string, reachability: string}, summary: SummaryNode, statements: list<StatementNode>, problems: list<array{file: string, message: string}>}