SARIF output

Qodana reports are formatted according to the SARIF specification and are contained in a JSON file. The Qodana implementation of SARIF follows the general format rules, but also specifies several custom properties contained in property bags.

Report structure

Here is the structure of reports produced by Qodana:

{
  "version": "2.1.0",
  "runs": [
    {
      "tool": {...},
      "invocations": [...],
      "language": "en-US",
      "versionControlProvenance": [...],
      "results": [...],
      "automationDetails": {...},
      "newlineSequences": [...],
      "properties": {...}
    }
  ]
}

Each report is represented by a runs array containing a single Qodana run. This object contains several nested objects, such as:

Object	Description
`tool`	Information about the Qodana linter, plugins and inspections
`invocations`	Result of the Qodana invocation
`versionControlProvenance`	The version control system from which the project was checked out
`results`	Codebase problems detected by Qodana
`automationDetails`	Identification of the Qodana run
`newlineSequences`	The newline sequences that were used for calculating the line numbers
`properties`	Custom Qodana properties, see below

The custom Qodana properties are:

Property	Description
`configProfile`	How the inspection profile was found; one of `empty`, `starter`, `recommended`, `path`, `single`, `absent`, `other`.
`deviceId`	The tracking ID used for anonymous statistics.

tool

The tool object describes the Qodana linter, bundled plugins, and the available inspections.

{
  "tool": {
    "driver": {...},
    "extensions": [...]
  }
}

The tool object contains two nested objects:

Object	Description
`driver`	Information about the invoked Qodana linter
`extensions`	The loaded plugins, as well as all available inspections

The driver object

This object contains information about the invoked Qodana linter.

{
  "driver": {
    "name": "QDPHP",
    "fullName": "Qodana for PHP",
    "version": "222.4190.104",
    "rules": [],
    "taxa": [
      {
        "id": "EditorConfig",
        "name": "EditorConfig"
      },
      {
        "id": "PHP",
        "name": "PHP"
      },
      {
        "id": "PHP/Php Inspections (EA Extended)",
        "name": "Php Inspections (EA Extended)",
        "relationships": [
          {
            "target": {
              "id": "PHP",
              "index": 1,
              "toolComponent": {
                "name": "QDPHP"
              }
            },
            "kinds": [
              "superset"
            ]
          }
        ]
      }
    ]
  }
}

The object consists of the following fields:

Field	Description
`name`	ID of the Qodana linter
`fullName`	Full name of the Qodana linter
`version`	Version of the Qodana linter
`rules`	Descriptions of the available inspections, as `reportingDescriptor` objects
`taxa`	The categories of the inspections, including the relationships between categories

The extensions object

Each element of the extensions array corresponds to one IntelliJ IDEA plugin, providing information about the plugin name and version, as well as the inspections provided by the plugin.

{
  "extensions": [
    {
      "name": "org.editorconfig.editorconfigjetbrains",
      "version": "222.4190",
      "rules": [
        {
          "id": "EditorConfigCharClassRedundancy",
          "shortDescription": {
            "text": "Unnecessary character class"
          },
          "fullDescription": {
            "text": "Reports character classes that consist of a single character. Such classes can be simplified to a character, for example '[a]'→'a'.",
            "markdown": "Reports character classes that consist of a single character. Such classes can be simplified to a character, for example `[a]`→`a`."
          },
          "defaultConfiguration": {
            "enabled": true,
            "level": "warning",
            "parameters": {
              "ideaSeverity": "WARNING",
              "tags": [
                "ideaSeverity"
              ]
            }
          },
          "relationships": [
            {
              "target": {
                "id": "EditorConfig",
                "index": 0,
                "toolComponent": {
                  "name": "QDPHP"
                }
              },
              "kinds": [
                "superset"
              ]
            }
          ]
        }
      ],
      "language": "en-US",
      "contents": [
        "localizedData",
        "nonLocalizedData"
      ]
    }
  ]
}

This object contains the following fields:

Field	Description
`name`	The ID of the Qodana plugin
`version`	The version of the Qodana plugin
`rules`	The inspections provided by the plugin

Each inspection from the plugin is described by a reportingDescriptor with the following fields:

Field	Description
`id`	Inspection ID
`shortDescription`	Short description of the inspection
`fullDescription`	Detailed description of the inspection
`defaultConfiguration`	The `reportingConfiguration` object containing detailed information about the inspection, including its severity level and describing whether the inspection is enabled
`relationships`	The relation of the inspection to other inspections, see `taxa` for details

invocations

The invocations array contains a single element describing the Qodana invocation, telling whether Qodana ran successfully or not.

{
  "invocations": [
    {
      "exitCode": 0,
      "toolExecutionNotifications": [
        {
          "message": {
            "text": "Reporting from [\"Java annotator\"] 'sanity' inspections was suspended due to high problems count."
          },
          "level": "error"
        }
      ],
      "executionSuccessful": true
    }
  ]
}

In the above example, Qodana execution was successful (exitCode, executionSuccessful). Despite the (technically) successful execution, Qodana reported that its sanity inspections found some problems (message, level=error). When the 'sanity' inspections fail, this typically means that the project configuration was broken.

The possible values for exitCode are:

Value	Description
`0`	Successful execution
`1`	Any internal error
`137`	Out of memory, the Docker container for Qodana needs at least 6 GB of RAM
`255`	Successful execution and exit resulted from the exceeded `fail-threshold` property value

Here is the description of the other fields from the invocations object:

The toolExecutionNotifications field contains notifications generated during a Qodana run, such as a reached threshold.

versionControlProvenance

The versionControlProvenance array describes the version control systems that the project code was checked out from. Each version control system is described by a versionControlDetails object. If the project does not use a version control system, the whole versionControlProvenance is absent.

{
  "versionControlProvenance": [
    {
      "repositoryUri": "https://github.com/example/example.git",
      "revisionId": "6c034f977505b058c7cf764b3d9b1abd068a725e",
      "branch": "master",
      "properties": {
        "repoUrl": "https://github.com/example/example.git",
        "lastAuthorName": "Jane Doe",
        "vcsType": "Git",
        "lastAuthorEmail": "mail@example.com",
        "tags": [
          "repoUrl",
          "lastAuthorEmail",
          "lastAuthorName",
          "vcsType"
        ]
      }
    }
  ]
}

Each versionControlDetails object contains the following fields:

Field	Description
`repositoryUri`	Repository checkout URL
`revisionId`	Latest commit hash
`branch`	Repository branch
`properties`	Additional properties, see below

Additional properties are stored as a property bag, they contain information about the author of the last commit. The vcsType property always has the value Git.

results

The results array describes the problems detected during inspection. Each problem detected by Qodana is described by a separate result object.

{
  "results": [
    {
      "ruleId": "InfiniteRecursion",
      "kind": "fail",
      "level": "warning",
      "message": {
        "text": "Method <code>visitTypeVariable()</code> recurses infinitely, and can only end by throwing an exception"
      },
      "locations": [
        ...
      ],
      "partialFingerprints": {
        "equalIndicator/v1": "ac5714b0b15b7e8c4311899afd1c2b44069865039f2a9d309dcab04eddd4681d"
      },
      "baselineState": "unchanged",
      "properties": {
        "ideaSeverity": "WARNING",
        "tags": [
          "ideaSeverity"
        ]
      }
    }
  ]
}

Each result object consists of the following fields:

Field	Description
`ruleId`	The unique inspection ID (`inspectionId`)
`kind`	Always takes the `fail` value
`level`	The SARIF severity level
`message`	A `message` object with the nested `text` field containing the result/problem description in the format of an IntelliJ IDEA message string
`locations`	Array of the `location` objects. Always contains a single element comprised of the `physicalLocation` and the `logicalLocations` objects
`partialFingerprints`	Contains hashes for comparing results between different runs. Used by the baseline feature
`baselineState`	Indicates whether a linter was executed in baseline mode and can accept the following values: `new` denotes that the problem was detected only in the current run but not in the baseline run `absent` denotes that the problem was detected only in the baseline run but not in the current run `unchanged` denotes that the problem was detected both in the current run and in the baseline run
`properties`	The `propertyBag` containing the `ideaSeverity` field with the original IntelliJ IDEA inspection severity as a value

The location object

Each location object describes a concrete physical location in a file, augmented by a high-level logical location.

{
  "physicalLocation": {
    "artifactLocation": {
      "uri": "asm-util/src/main/java/org/objectweb/asm/util/CheckSignatureAdapter.java",
      "uriBaseId": "SRCROOT"
    },
    "region": {
      "startLine": 259,
      "startColumn": 14,
      "charLength": 17,
      "snippet": {
        "text": "visitTypeVariable"
      },
      "sourceLanguage": "JAVA"
    },
    "contextRegion": {
      "startLine": 257,
      "startColumn": 1,
      "charOffset": 9764,
      "charLength": 152,
      "snippet": {
        "text": "\n  @Override\n  public void visitTypeVariable(final String name) {\n    visitTypeVariable(name);\n    if (type != TYPE_SIGNATURE || state != State.EMPTY) {"
      }
    }
  },
  "logicalLocations": [
    {
      "fullyQualifiedName": "root.asm-util.main",
      "kind": "module"
    }
  ]
}

The physicalLocation object

{
  "physicalLocation": {
    "artifactLocation": {
      "uri": "asm-util/src/main/java/org/objectweb/asm/util/CheckSignatureAdapter.java",
      "uriBaseId": "SRCROOT"
    },
    "region": {
      "startLine": 259,
      "startColumn": 14,
      "charLength": 17,
      "snippet": {
        "text": "visitTypeVariable"
      },
      "sourceLanguage": "JAVA"
    },
    "contextRegion": {
      "startLine": 257,
      "startColumn": 1,
      "charOffset": 9764,
      "charLength": 152,
      "snippet": {
        "text": "\n  @Override\n  public void visitTypeVariable(final String name) {\n    visitTypeVariable(name);\n    if (type != TYPE_SIGNATURE || state != State.EMPTY) {"
      }
    }
  }
}

The physicalLocation object contains the following fields:

Field	Description
`artifactLocation`	The `artifactLocation` object containing the following fields: `uri` denotes the path relative to the project root `uriBaseId` always has the `SRCROOT` value
`region`	Contains information about the problem location and the snippet that should be highlighted. See the section below for details
`contextRegion`	Contains information about the text that surrounds the snippet from the `region` field. This field is used for comparing problems in the baseline mode

Field

Description

artifactLocation

The artifactLocation object containing the following fields:

uri denotes the path relative to the project root
uriBaseId always has the SRCROOT value

region

Contains information about the problem location and the snippet that should be highlighted. See the section below for details

contextRegion

Contains information about the text that surrounds the snippet from the region field. This field is used for comparing problems in the baseline mode

The region object

{
  "region": {
    "startLine": 72,
    "startColumn": 23,
    "charOffset": 1852,
    "charLength": 11,
    "snippet": {
      "text": "options.php"
    },
    "sourceLanguage": "HTML"
  }
}

The region object contains the following fields:

Field	Description
`startLine`	The line number of the first character in the region. Starts with 1
`startColumn`	The column number of the first character in the region. Starts with 1, measured in UTF-16 code units
`charOffset`	The number of UTF-16 code units between the beginning of the file and the beginning of the region
`charLength`	The length of the region, measured in UTF-16 code units
`snippet`	The `artifactContent` object containing the `text` field with the value equal to the text of the specified region
`sourceLanguage`	Programming language of the inspected snippet. Used for highlighting in the user interface of Qodana

The logicalLocations object

{
  "logicalLocations": [
    {
      "fullyQualifiedName": "root.asm-util.main",
      "kind": "module"
    }
  ]
}

The logicalLocations object contains the following fields:

Field	Description
`kind`	Always takes the `module` value
`fullyQualifiedName`	The module name obtained from the project build system

automationDetails

The runAutomationDetails object provides details of the run object.

{
  "automationDetails": {
    "id": "project/qodana/2022-09-12",
    "guid": "bc9770e3-0cf4-4e46-a8fd-455e5bf116a2",
    "properties": {
      "jobUrl": "https://build.example.org/job/12345678",
      "tags": [
        "jobUrl"
      ]
    }
  }
}

The automationDetails object contains the following fields:

Field	Description
`id`	User-readable string, unique per report
`guid`	Unique machine-readable report ID
`properties`	Additional information about the run, for Qodana, it contains the URL of the CI/CD build that produced the report

newlineSequences

The newlineSequences array contains unique strings, each of which specifies a character sequence that Qodana treated as a line break during a run.

{
  "newlineSequences": [
    "\r\n",
    "\n"
  ]
}

properties

In addition to the inspections configured in the inspection profile, Qodana runs a few extra inspections for sanity-checking the project configuration. If these extra inspections find any problems, the project configuration is probably wrong. The results of these extra inspections are recorded in the qodana.sanity.results property in the same format as the regular result objects.

{
  "properties": {
    "qodana.sanity.results": [
      {
        "ruleId": "JavaAnnotator",
        "kind": "fail",
        "level": "error",
        "message": {
          "text": "Variable 'points' might not have been initialized",
          "markdown": "Variable 'points' might not have been initialized"
        },
        "locations": [
          {
            "physicalLocation": {
              "artifactLocation": {
                "uri": "core/src/main/java/com/google/zxing/datamatrix/detector/Detector.java",
                "uriBaseId": "SRCROOT"
              },
              "region": {
                "startLine": 52,
                "startColumn": 41,
                "charOffset": 1772,
                "charLength": 6,
                "snippet": {
                  "text": "points"
                },
                "sourceLanguage": "JAVA"
              },
              "contextRegion": {
                "startLine": 50,
                "startColumn": 1,
                "charOffset": 1670,
                "charLength": 180,
                "snippet": {
                  "text": "    ResultPoint[] cornerPoints = rectangleDetector.detect();\n\n    ResultPoint[] points = detectSolid2(points);\n    points[3] = correctTopRight(points);\n    if (points[3] == null) {"
                }
              }
            },
            "logicalLocations": [
              {
                "fullyQualifiedName": "core",
                "kind": "module"
              }
            ]
          }
        ],
        "partialFingerprints": {
          "equalIndicator/v1": "2bf8eae4ff0d22f23008fe342fb1cfc67aa4f6db9b276e16ba621c77e3fda618"
        },
        "properties": {
          "ideaSeverity": "ERROR"
        }
      }
    ]
  }
}

SARIF severity

The SARIF severity values correspond to severity values of IntelliJ IDEA:

error corresponds to the ERROR severity of IntelliJ IDEA, errors are marked with red in the Qodana user interface
warning corresponds to the WARNING severity of IntelliJ IDEA, errors are marked with orange in the Qodana user interface
note in any other cases besides error and warning, errors are marked with yellow in the Qodana user interface

The original IntelliJ IDEA inspection severity is stored in the propertyBag field of the same object.

Last modified: 21 November 2022