clang 17.0.0git
Classes | Namespaces | Enumerations
Sarif.h File Reference

Defines clang::SarifDocumentWriter, clang::SarifRule, clang::SarifResult. More...

#include "clang/Basic/SourceLocation.h"
#include "clang/Basic/Version.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/StringMap.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/Support/JSON.h"
#include <cassert>
#include <cstddef>
#include <cstdint>
#include <initializer_list>
#include <optional>
#include <string>

Go to the source code of this file.


class  clang::detail::SarifArtifactLocation
class  clang::detail::SarifArtifact
 Since every clang artifact MUST have a location (there being no nested artifacts), the creation method SarifArtifact::create requires a SarifArtifactLocation object. More...
class  clang::ThreadFlow
 A thread flow is a sequence of code locations that specify a possible path through a single thread of execution. More...
class  clang::SarifReportingConfiguration
 A SARIF Reporting Configuration (reportingConfiguration) object contains properties for a SarifRule that can be configured at runtime before analysis begins. More...
class  clang::SarifRule
 A SARIF rule (reportingDescriptor object) contains information that describes a reporting item generated by a tool. More...
class  clang::SarifResult
 A SARIF result (also called a "reporting item") is a unit of output produced when one of the tool's reportingDescriptor encounters a match on the file being analysed by the tool. More...
class  clang::SarifDocumentWriter
 This class handles creating a valid SARIF document given various input attributes. More...


namespace  clang
namespace  clang::detail


enum class  clang::ThreadFlowImportance { clang::Important , clang::Essential , clang::Unimportant }
enum class  clang::SarifResultLevel { clang::None , clang::Note , clang::Warning , clang::Error }
 The level of severity associated with a SarifResult. More...

Detailed Description

Defines clang::SarifDocumentWriter, clang::SarifRule, clang::SarifResult.

The document built can be accessed as a JSON Object. Several value semantic types are also introduced which represent properties of the SARIF standard, such as 'artifact', 'result', 'rule'.

A SARIF (Static Analysis Results Interchange Format) document is JSON document that describes in detail the results of running static analysis tools on a project. Each (non-trivial) document consists of at least one "run", which are themselves composed of details such as:


  1. The SARIF standard
  2. SARIFreportingDescriptor</a‍ 3. SARIFresult</a‍

Definition in file Sarif.h.