AnalyzerOptions.h File Reference

#include "clang/Analysis/PathDiagnostic.h"
#include "clang/Basic/LLVM.h"
#include "llvm/ADT/IntrusiveRefCntPtr.h"
#include "llvm/ADT/StringMap.h"
#include "llvm/ADT/StringRef.h"
#include <string>
#include <utility>
#include <vector>
#include "clang/StaticAnalyzer/Core/Analyses.def"
#include "clang/StaticAnalyzer/Core/AnalyzerOptions.def"
#include "clang/StaticAnalyzer/Checkers/Checkers.inc"

Go to the source code of this file.

Classes
class	clang::AnalyzerOptions
	Stores options for the analyzer from the command line. More...

Namespaces
namespace	clang
namespace	clang::ento

Macros
#define	ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN)   NAME##Model,
#define	ANALYSIS_DIAGNOSTICS(NAME, CMDFLAG, DESC, CREATFN)   PD_##NAME,
#define	ANALYSIS_PURGE(NAME, CMDFLAG, DESC)   NAME,
#define	ANALYSIS_INLINING_MODE(NAME, CMDFLAG, DESC)   NAME,
#define	ANALYZER_OPTION_DEPENDS_ON_USER_MODE(TYPE, NAME, CMDFLAG, DESC, SHALLOW_VAL, DEEP_VAL)    ANALYZER_OPTION(TYPE, NAME, CMDFLAG, DESC, SHALLOW_VAL)
#define	ANALYZER_OPTION(TYPE, NAME, CMDFLAG, DESC, DEFAULT_VAL)    TYPE NAME;
#define	ANALYZER_OPTION_DEPENDS_ON_USER_MODE(TYPE, NAME, CMDFLAG, DESC, SHALLOW_VAL, DEEP_VAL)    ANALYZER_OPTION(TYPE, NAME, CMDFLAG, DESC, SHALLOW_VAL)
#define	ANALYZER_OPTION(TYPE, NAME, CMDFLAG, DESC, DEFAULT_VAL)    llvm::StringLiteral(CMDFLAG),
#define	GET_CHECKERS
#define	CHECKER(FULLNAME, CLASS, HELPTEXT, DOC_URI, IS_HIDDEN)    llvm::StringLiteral(FULLNAME),
#define	GET_PACKAGES
#define	PACKAGE(FULLNAME)   llvm::StringLiteral(FULLNAME),

Typedefs
using	clang::AnalyzerOptionsRef = IntrusiveRefCntPtr< AnalyzerOptions >

Enumerations
enum	clang::AnalysisConstraints { clang::NumConstraints }
	AnalysisConstraints - Set of available constraint models. More...
enum	clang::AnalysisDiagClients { clang::PD_NONE , clang::NUM_ANALYSIS_DIAG_CLIENTS }
	AnalysisDiagClients - Set of available diagnostic clients for rendering analysis results. More...
enum	clang::AnalysisPurgeMode { clang::NumPurgeModes }
	AnalysisPurgeModes - Set of available strategies for dead symbol removal. More...
enum	clang::AnalysisInliningMode { clang::NumInliningModes }
	AnalysisInlineFunctionSelection - Set of inlining function selection heuristics. More...
enum	clang::CXXInlineableMemberKind { clang::CIMK_None , clang::CIMK_MemberFunctions , clang::CIMK_Constructors , clang::CIMK_Destructors }
	Describes the different kinds of C++ member functions which can be considered for inlining by the analyzer. More...
enum	clang::IPAKind {   clang::IPAK_None = 1 , clang::IPAK_BasicInlining = 2 , clang::IPAK_Inlining = 3 , clang::IPAK_DynamicDispatch = 4 ,   clang::IPAK_DynamicDispatchBifurcate = 5 }
	Describes the different modes of inter-procedural analysis. More...
enum class	clang::ExplorationStrategyKind {   clang::DFS , clang::BFS , clang::UnexploredFirst , clang::UnexploredFirstQueue ,   clang::UnexploredFirstLocationQueue , clang::BFSBlockDFSContents }
enum	clang::UserModeKind { clang::UMK_Shallow = 1 , clang::UMK_Deep = 2 }
	Describes the kinds for high-level analyzer mode. More...
enum class	clang::CTUPhase1InliningKind { clang::None , clang::Small , clang::All }

Macro Definition Documentation

ANALYSIS_CONSTRAINTS

#define ANALYSIS_CONSTRAINTS	(		NAME,
			CMDFLAG,
			DESC,
			CREATFN
	)		NAME##Model,

Definition at line 36 of file AnalyzerOptions.h.

ANALYSIS_DIAGNOSTICS

#define ANALYSIS_DIAGNOSTICS	(		NAME,
			CMDFLAG,
			DESC,
			CREATFN
	)		PD_##NAME,

Definition at line 44 of file AnalyzerOptions.h.

ANALYSIS_INLINING_MODE

#define ANALYSIS_INLINING_MODE	(		NAME,
			CMDFLAG,
			DESC
	)		NAME,

Definition at line 59 of file AnalyzerOptions.h.

ANALYSIS_PURGE

#define ANALYSIS_PURGE	(		NAME,
			CMDFLAG,
			DESC
	)		NAME,

Definition at line 52 of file AnalyzerOptions.h.

ANALYZER_OPTION [1/2]

#define ANALYZER_OPTION	(		TYPE,
			NAME,
			CMDFLAG,
			DESC,
			DEFAULT_VAL
	)		TYPE NAME;

Definition at line 256 of file AnalyzerOptions.h.

ANALYZER_OPTION [2/2]

#define ANALYZER_OPTION	(		TYPE,
			NAME,
			CMDFLAG,
			DESC,
			DEFAULT_VAL
	)		llvm::StringLiteral(CMDFLAG),

Definition at line 256 of file AnalyzerOptions.h.

ANALYZER_OPTION_DEPENDS_ON_USER_MODE [1/2]

#define ANALYZER_OPTION_DEPENDS_ON_USER_MODE	(		TYPE,
			NAME,
			CMDFLAG,
			DESC,
			SHALLOW_VAL,
			DEEP_VAL
	)		ANALYZER_OPTION(TYPE, NAME, CMDFLAG, DESC, SHALLOW_VAL)

Definition at line 252 of file AnalyzerOptions.h.

ANALYZER_OPTION_DEPENDS_ON_USER_MODE [2/2]

#define ANALYZER_OPTION_DEPENDS_ON_USER_MODE	(		TYPE,
			NAME,
			CMDFLAG,
			DESC,
			SHALLOW_VAL,
			DEEP_VAL
	)		ANALYZER_OPTION(TYPE, NAME, CMDFLAG, DESC, SHALLOW_VAL)

Definition at line 252 of file AnalyzerOptions.h.

CHECKER

#define CHECKER	(		FULLNAME,
			CLASS,
			HELPTEXT,
			DOC_URI,
			IS_HIDDEN
	)		llvm::StringLiteral(FULLNAME),

GET_CHECKERS

#define GET_CHECKERS

GET_PACKAGES

#define GET_PACKAGES

PACKAGE

#define PACKAGE

(

FULLNAME

)

llvm::StringLiteral(FULLNAME),