Checker.h File Reference

#include "clang/Analysis/ProgramPoint.h"
#include "clang/Basic/LangOptions.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
#include "llvm/Support/Casting.h"

Go to the source code of this file.

Classes
class	clang::ento::check::ASTDecl< DECL >
class	clang::ento::check::ASTCodeBody
class	clang::ento::check::EndOfTranslationUnit
class	clang::ento::check::PreStmt< STMT >
class	clang::ento::check::PostStmt< STMT >
class	clang::ento::check::PreObjCMessage
class	clang::ento::check::ObjCMessageNil
class	clang::ento::check::PostObjCMessage
class	clang::ento::check::PreCall
class	clang::ento::check::PostCall
class	clang::ento::check::Location
class	clang::ento::check::Bind
class	clang::ento::check::BlockEntrance
class	clang::ento::check::EndAnalysis
class	clang::ento::check::BeginFunction
class	clang::ento::check::EndFunction
class	clang::ento::check::BranchCondition
class	clang::ento::check::NewAllocator
class	clang::ento::check::LiveSymbols
class	clang::ento::check::DeadSymbols
class	clang::ento::check::RegionChanges
class	clang::ento::check::PointerEscape
class	clang::ento::check::ConstPointerEscape
class	clang::ento::check::Event< EVENT >
class	clang::ento::eval::Assume
class	clang::ento::eval::Call
class	clang::ento::CheckerFrontend
	A CheckerFrontend instance is what the user recognizes as "one checker": it has a public canonical name (injected from the CheckerManager), can be enabled or disabled, can have associated checker options and can be printed as the "source" of bug reports. More...
class	clang::ento::CheckerBackend
	CheckerBackend is an abstract base class that serves as the common ancestor of all the Checker<...> and CheckerFamily<...> classes which can create ExplodedNodes (by acting as a ProgramPointTag) and can be registered to handle various checker callbacks. More...
class	clang::ento::CheckerBase
	The non-templated common ancestor of all the simple Checker<...> classes. More...
class	clang::ento::Checker< CHECKs >
	Simple checker classes that implement one frontend (i.e. More...
class	clang::ento::CheckerFamily< CHECKs >
	Checker families (where a single backend class implements multiple related frontends) should derive from this template and specify all the implemented callbacks (i.e. More...
class	clang::ento::EventDispatcher< EVENT >
struct	clang::ento::ImplicitNullDerefEvent
	We dereferenced a location that may be null. More...

Namespaces
namespace	clang
	The JSON file list parser is used to communicate input to InstallAPI.
namespace	clang::ento
namespace	clang::ento::check
namespace	clang::ento::eval