SarifDiagnostics.cpp File Reference

#include "SarifDiagnostics.h"
#include "clang/Analysis/MacroExpansionContext.h"
#include "clang/Analysis/PathDiagnostic.h"
#include "clang/Basic/Sarif.h"
#include "clang/Basic/SourceManager.h"
#include "clang/Basic/Version.h"
#include "clang/Lex/Preprocessor.h"
#include "clang/StaticAnalyzer/Core/PathDiagnosticConsumers.h"
#include "llvm/ADT/StringMap.h"
#include "llvm/Support/ConvertUTF.h"
#include "llvm/Support/JSON.h"
#include <memory>
#include "clang/StaticAnalyzer/Checkers/Checkers.inc"

Go to the source code of this file.

Macros
#define	GET_CHECKERS
#define	CHECKER(FULLNAME, CLASS, HELPTEXT, DOC_URI, IS_HIDDEN)
#define	GET_CHECKERS
#define	CHECKER(FULLNAME, CLASS, HELPTEXT, DOC_URI, IS_HIDDEN)

Functions
static StringRef	getRuleDescription (StringRef CheckName)
static StringRef	getRuleHelpURIStr (StringRef CheckName)
static ThreadFlowImportance	calculateImportance (const PathDiagnosticPiece &Piece)
static CharSourceRange	convertTokenRangeToCharRange (const SourceRange &R, const SourceManager &SM, const LangOptions &LO)
	Accepts a SourceRange corresponding to a pair of the first and last tokens and converts to a Character granular CharSourceRange.
static SmallVector< ThreadFlow, 8 >	createThreadFlows (const PathDiagnostic *Diag, const LangOptions &LO)
static StringMap< uint32_t >	createRuleMapping (const std::vector< const PathDiagnostic * > &Diags, SarifDocumentWriter &SarifWriter)
static SarifResult	createResult (const PathDiagnostic *Diag, const StringMap< uint32_t > &RuleMapping, const LangOptions &LO)

Macro Definition Documentation

CHECKER [1/2]

#define CHECKER	(		FULLNAME,
			CLASS,
			HELPTEXT,
			DOC_URI,
			IS_HIDDEN )

Value:

  .Case(FULLNAME, HELPTEXT)

CHECKER [2/2]

#define CHECKER	(		FULLNAME,
			CLASS,
			HELPTEXT,
			DOC_URI,
			IS_HIDDEN )

Value:

  .Case(FULLNAME, DOC_URI)

GET_CHECKERS [1/2]

#define GET_CHECKERS

GET_CHECKERS [2/2]

#define GET_CHECKERS

Function Documentation

calculateImportance()

ThreadFlowImportance calculateImportance ( const PathDiagnosticPiece & Piece )

static

Definition at line 101 of file SarifDiagnostics.cpp.

References clang::ento::PathDiagnosticPiece::Call, clang::ento::PathDiagnosticPiece::ControlFlow, clang::Essential, clang::ento::PathDiagnosticPiece::Event, clang::ento::PathDiagnosticPiece::getKind(), clang::ento::PathDiagnosticPiece::getTagStr(), clang::Important, clang::ento::PathDiagnosticPiece::Macro, clang::ento::PathDiagnosticPiece::Note, clang::ento::PathDiagnosticPiece::PopUp, and clang::Unimportant.

Referenced by createThreadFlows().

convertTokenRangeToCharRange()

CharSourceRange convertTokenRangeToCharRange ( const SourceRange & R, const SourceManager & SM, const LangOptions & LO )

static

Accepts a SourceRange corresponding to a pair of the first and last tokens and converts to a Character granular CharSourceRange.

Definition at line 121 of file SarifDiagnostics.cpp.

References clang::SourceRange::getBegin(), clang::CharSourceRange::getCharRange(), clang::SourceRange::getEnd(), clang::Lexer::getLocForEndOfToken(), and SM.

Referenced by createResult(), and createThreadFlows().

createResult()

SarifResult createResult ( const PathDiagnostic * Diag, const StringMap< uint32_t > & RuleMapping, const LangOptions & LO )

static

Definition at line 176 of file SarifDiagnostics.cpp.

References convertTokenRangeToCharRange(), clang::SarifResult::create(), createThreadFlows(), Diag(), clang::SarifResult::setDiagnosticLevel(), clang::SarifResult::setDiagnosticMessage(), clang::SarifResult::setLocations(), clang::SarifResult::setRuleId(), and clang::Warning.

createRuleMapping()

StringMap< uint32_t > createRuleMapping ( const std::vector< const PathDiagnostic * > & Diags, SarifDocumentWriter & SarifWriter )

static

Definition at line 155 of file SarifDiagnostics.cpp.

References clang::SarifRule::create(), clang::SarifDocumentWriter::createRule(), getRuleDescription(), getRuleHelpURIStr(), clang::SarifRule::setDescription(), clang::SarifRule::setHelpURI(), clang::SarifRule::setName(), and clang::SarifRule::setRuleId().

createThreadFlows()

SmallVector< ThreadFlow, 8 > createThreadFlows ( const PathDiagnostic * Diag, const LangOptions & LO )

static

Definition at line 138 of file SarifDiagnostics.cpp.

References calculateImportance(), convertTokenRangeToCharRange(), clang::ThreadFlow::create(), Diag(), clang::ThreadFlow::setImportance(), clang::ThreadFlow::setMessage(), and clang::ThreadFlow::setRange().

Referenced by createResult().

getRuleDescription()

StringRef getRuleDescription ( StringRef CheckName )

static

Definition at line 78 of file SarifDiagnostics.cpp.

Referenced by createRuleMapping().

getRuleHelpURIStr()

StringRef getRuleHelpURIStr ( StringRef CheckName )

static

Definition at line 89 of file SarifDiagnostics.cpp.

Referenced by createRuleMapping().