CoreEngine.cpp File Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/StmtCXX.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/Support/Casting.h"

Include dependency graph for CoreEngine.cpp:

Go to the source code of this file.

Defines
#define	DEBUG_TYPE   "CoreEngine"
Functions
	STATISTIC (NumSteps,"The # of steps executed.")
	STATISTIC (NumReachedMaxSteps,"The # of times we reached the max number of steps.")
	STATISTIC (NumPathsExplored,"The # of paths explored by the analyzer.")

---

Define Documentation

#define DEBUG_TYPE   "CoreEngine"

Definition at line 28 of file CoreEngine.cpp.

---

Function Documentation

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

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

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