CheckerManager.cpp File Reference

#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/AST/DeclBase.h"
#include "clang/Analysis/ProgramPoint.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"

Include dependency graph for CheckerManager.cpp:

Go to the source code of this file.

Functions
template<typename CHECK_CTX >
static void	expandGraphWithCheckers (CHECK_CTX checkCtx, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src)

---

Function Documentation

template<typename CHECK_CTX >

static void expandGraphWithCheckers	(	CHECK_CTX	checkCtx,
		ExplodedNodeSet &	Dst,
		const ExplodedNodeSet &	Src
	)		[static]

Definition at line 94 of file CheckerManager.cpp.

References clang::ento::ExplodedNodeSet::begin(), clang::ento::ExplodedNodeSet::clear(), clang::ento::ExplodedNodeSet::empty(), clang::ento::ExplodedNodeSet::end(), clang::ento::NodeBuilderContext::Eng, and clang::ento::ExplodedNodeSet::insert().

Referenced by clang::ento::CheckerManager::runCheckersForBind(), clang::ento::CheckerManager::runCheckersForBranchCondition(), clang::ento::CheckerManager::runCheckersForCallEvent(), clang::ento::CheckerManager::runCheckersForDeadSymbols(), clang::ento::CheckerManager::runCheckersForLocation(), clang::ento::CheckerManager::runCheckersForObjCMessage(), and clang::ento::CheckerManager::runCheckersForStmt().