AnalysisConsumer.cpp File Reference

#include "clang/StaticAnalyzer/Frontend/AnalysisConsumer.h"
#include "ModelInjector.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/DynamicRecursiveASTVisitor.h"
#include "clang/Analysis/Analyses/LiveVariables.h"
#include "clang/Analysis/CFG.h"
#include "clang/Analysis/CallGraph.h"
#include "clang/Analysis/CodeInjector.h"
#include "clang/Analysis/MacroExpansionContext.h"
#include "clang/Analysis/PathDiagnostic.h"
#include "clang/Basic/SourceManager.h"
#include "clang/CrossTU/CrossTranslationUnit.h"
#include "clang/Frontend/CompilerInstance.h"
#include "clang/Lex/Preprocessor.h"
#include "clang/Rewrite/Core/Rewriter.h"
#include "clang/StaticAnalyzer/Core/AnalyzerOptions.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathDiagnosticConsumers.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/EntryPointStats.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
#include "llvm/ADT/PostOrderIterator.h"
#include "llvm/ADT/ScopeExit.h"
#include "llvm/Support/TimeProfiler.h"
#include "llvm/Support/Timer.h"
#include "llvm/Support/raw_ostream.h"
#include <cmath>
#include <memory>
#include <utility>
#include "clang/StaticAnalyzer/Core/Analyses.def"

Go to the source code of this file.

Macros
#define	DEBUG_TYPE   "AnalysisConsumer"
#define	ANALYSIS_DIAGNOSTICS(NAME, CMDFLAG, DESC, CREATEFN)
#define	ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATEFN)

Functions
	STAT_COUNTER (NumFunctionTopLevel, "The # of functions at top level.")
	ALWAYS_ENABLED_STATISTIC (NumFunctionsAnalyzed, "The # of functions and blocks analyzed (as top level " "with inlining turned on).")
	ALWAYS_ENABLED_STATISTIC (NumFunctionsAnalyzedSyntaxOnly, "The # of functions analyzed by syntax checkers only.")
	ALWAYS_ENABLED_STATISTIC (NumBlocksInAnalyzedFunctions, "The # of basic blocks in the analyzed functions.")
	ALWAYS_ENABLED_STATISTIC (NumVisitedBlocksInAnalyzedFunctions, "The # of visited basic blocks in the analyzed functions.")
	ALWAYS_ENABLED_STATISTIC (PercentReachableBlocks, "The % of reachable basic blocks.")
	ALWAYS_ENABLED_STATISTIC (MaxCFGSize, "The maximum number of basic blocks in a function.")
static bool	shouldSkipFunction (const Decl *D, const SetOfConstDecls &Visited, const SetOfConstDecls &VisitedAsTopLevel)
static bool	fileContainsString (StringRef Substring, ASTContext &C)
static void	reportAnalyzerFunctionMisuse (const AnalyzerOptions &Opts, const ASTContext &Ctx)

Variables
static UnsignedEPStat	CFGSize ("CFGSize")
static UnsignedEPStat	PathRunningTime ("PathRunningTime")
static UnsignedEPStat	SyntaxRunningTime ("SyntaxRunningTime")

Macro Definition Documentation

ANALYSIS_CONSTRAINTS

#define ANALYSIS_CONSTRAINTS	(		NAME,
			CMDFLAG,
			DESC,
			CREATEFN )

Value:

      case NAME##Model: CreateConstraintMgr = CREATEFN; break;

ANALYSIS_DIAGNOSTICS

#define ANALYSIS_DIAGNOSTICS	(		NAME,
			CMDFLAG,
			DESC,
			CREATEFN )

Value:

  case PD_##NAME:                                                              \
    CREATEFN(Opts.getDiagOpts(), PathConsumers, OutDir, PP, CTU,              \
             MacroExpansions);                                                 \
    break;

DEBUG_TYPE

#define DEBUG_TYPE   "AnalysisConsumer"

Definition at line 49 of file AnalysisConsumer.cpp.

Function Documentation

ALWAYS_ENABLED_STATISTIC() [1/6]

ALWAYS_ENABLED_STATISTIC	(	MaxCFGSize	,
		"The maximum number of basic blocks in a function."	)

ALWAYS_ENABLED_STATISTIC() [2/6]

ALWAYS_ENABLED_STATISTIC	(	NumBlocksInAnalyzedFunctions	,
		"The # of basic blocks in the analyzed functions."	)

ALWAYS_ENABLED_STATISTIC() [3/6]

ALWAYS_ENABLED_STATISTIC	(	NumFunctionsAnalyzed	,
		"The # of functions and blocks analyzed (as top level " "with inlining turned on)."	)

ALWAYS_ENABLED_STATISTIC() [4/6]

ALWAYS_ENABLED_STATISTIC	(	NumFunctionsAnalyzedSyntaxOnly	,
		"The # of functions analyzed by syntax checkers only."	)

ALWAYS_ENABLED_STATISTIC() [5/6]

ALWAYS_ENABLED_STATISTIC	(	NumVisitedBlocksInAnalyzedFunctions	,
		"The # of visited basic blocks in the analyzed functions."	)

ALWAYS_ENABLED_STATISTIC() [6/6]

ALWAYS_ENABLED_STATISTIC	(	PercentReachableBlocks	,
		"The % of reachable basic blocks."	)

fileContainsString()

bool fileContainsString ( StringRef Substring, ASTContext & C )

static

Definition at line 541 of file AnalysisConsumer.cpp.

References clang::C, and SM.

reportAnalyzerFunctionMisuse()

void reportAnalyzerFunctionMisuse ( const AnalyzerOptions & Opts, const ASTContext & Ctx )

static

Definition at line 548 of file AnalysisConsumer.cpp.

References clang::AnalyzerOptions::AnalyzerDisplayProgress, clang::AnalyzerOptions::AnalyzeSpecificFunction, and clang::ASTContext::getLangOpts().

shouldSkipFunction()

bool shouldSkipFunction ( const Decl * D, const SetOfConstDecls & Visited, const SetOfConstDecls & VisitedAsTopLevel )

static

Definition at line 431 of file AnalysisConsumer.cpp.

References clang::isa().

STAT_COUNTER()

STAT_COUNTER	(	NumFunctionTopLevel	,
		"The # of functions at top level."	)

Variable Documentation

CFGSize

UnsignedEPStat CFGSize("CFGSize") ( "CFGSize" )

static

PathRunningTime

UnsignedEPStat PathRunningTime("PathRunningTime") ( "PathRunningTime" )

static

SyntaxRunningTime

UnsignedEPStat SyntaxRunningTime("SyntaxRunningTime") ( "SyntaxRunningTime" )

static