CoreEngine.cpp File Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
#include "PrettyStackTraceLocationContext.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/Stmt.h"
#include "clang/AST/StmtCXX.h"
#include "clang/Analysis/AnalysisDeclContext.h"
#include "clang/Analysis/CFG.h"
#include "clang/Analysis/ProgramPoint.h"
#include "clang/Basic/LLVM.h"
#include "clang/StaticAnalyzer/Core/AnalyzerOptions.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/BlockCounter.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/EntryPointStats.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/FunctionSummary.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/WorkList.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/FormatVariadic.h"
#include "llvm/Support/TimeProfiler.h"
#include <algorithm>
#include <cassert>
#include <memory>
#include <optional>
#include <utility>

Go to the source code of this file.

Macros
#define	DEBUG_TYPE   "CoreEngine"

Functions
	STAT_COUNTER (NumSteps, "The # of steps executed.")
	STAT_COUNTER (NumSTUSteps, "The # of STU steps executed.")
	STAT_COUNTER (NumCTUSteps, "The # of CTU steps executed.")
	ALWAYS_ENABLED_STATISTIC (NumReachedMaxSteps, "The # of times we reached the max number of steps.")
	STAT_COUNTER (NumPathsExplored, "The # of paths explored by the analyzer.")
static std::unique_ptr< WorkList >	generateWorkList (AnalyzerOptions &Opts)
static std::string	timeTraceScopeName (const ProgramPoint &Loc)
static llvm::TimeTraceMetadata	timeTraceMetadata (const ExplodedNode *Pred, const ProgramPoint &Loc)

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "CoreEngine"

Definition at line 43 of file CoreEngine.cpp.

Function Documentation

ALWAYS_ENABLED_STATISTIC()

ALWAYS_ENABLED_STATISTIC	(	NumReachedMaxSteps	,
		"The # of times we reached the max number of steps."	)

generateWorkList()

std::unique_ptr< WorkList > generateWorkList ( AnalyzerOptions & Opts )

static

Definition at line 56 of file CoreEngine.cpp.

References clang::BFS, clang::BFSBlockDFSContents, clang::DFS, clang::AnalyzerOptions::getExplorationStrategy(), clang::ento::WorkList::makeBFS(), clang::ento::WorkList::makeBFSBlockDFSContents(), clang::ento::WorkList::makeDFS(), clang::ento::WorkList::makeUnexploredFirst(), clang::ento::WorkList::makeUnexploredFirstPriorityLocationQueue(), clang::ento::WorkList::makeUnexploredFirstPriorityQueue(), clang::UnexploredFirst, clang::UnexploredFirstLocationQueue, and clang::UnexploredFirstQueue.

Referenced by clang::ento::CoreEngine::CoreEngine().

STAT_COUNTER() [1/4]

STAT_COUNTER	(	NumCTUSteps	,
		"The # of CTU steps executed."	)

STAT_COUNTER() [2/4]

STAT_COUNTER	(	NumPathsExplored	,
		"The # of paths explored by the analyzer."	)

STAT_COUNTER() [3/4]

STAT_COUNTER	(	NumSteps	,
		"The # of steps executed."	)

STAT_COUNTER() [4/4]

STAT_COUNTER	(	NumSTUSteps	,
		"The # of STU steps executed."	)

timeTraceMetadata()

llvm::TimeTraceMetadata timeTraceMetadata ( const ExplodedNode * Pred, const ProgramPoint & Loc )

static

Definition at line 191 of file CoreEngine.cpp.

References clang::LocationContext::getAnalysisDeclContext(), clang::ento::SVal::getAs(), clang::AnalysisDeclContext::getASTContext(), clang::ento::ExplodedNode::getLocationContext(), clang::ASTContext::getSourceManager(), clang::Line, and SM.

Referenced by clang::ento::CoreEngine::dispatchWorkItem().

timeTraceScopeName()

std::string timeTraceScopeName ( const ProgramPoint & Loc )

static

Definition at line 182 of file CoreEngine.cpp.

References clang::ento::SVal::getKind(), and clang::ProgramPoint::getProgramPointKindName().

Referenced by clang::ento::CoreEngine::dispatchWorkItem().