Classes
class	MatchFinder
	A class to allow finding matches over the Clang AST. More...
class	UncheckedStatusOrAccessDiagnoser
class	UncheckedStatusOrAccessModel
struct	UncheckedStatusOrAccessModelOptions

Typedefs
using	LatticeTransferState
using	StatementMatcher

Functions
clang::ast_matchers::DeclarationMatcher	statusOrClass ()
clang::ast_matchers::DeclarationMatcher	statusClass ()
clang::ast_matchers::DeclarationMatcher	statusOrOperatorBaseClass ()
clang::ast_matchers::TypeMatcher	statusOrType ()
RecordStorageLocation &	locForStatus (RecordStorageLocation &StatusOrLoc)
StorageLocation &	locForOk (RecordStorageLocation &StatusLoc)
BoolValue &	valForOk (RecordStorageLocation &StatusLoc, Environment &Env)
llvm::StringMap< QualType >	getSyntheticFields (QualType Ty, QualType StatusType, const CXXRecordDecl &RD)
BoolValue &	initializeStatusOr (RecordStorageLocation &StatusOrLoc, Environment &Env)
BoolValue &	initializeStatus (RecordStorageLocation &StatusLoc, Environment &Env)
bool	isStatusOrType (QualType Type)
bool	isStatusType (QualType Type)
QualType	findStatusType (const ASTContext &Ctx)
CFGMatchSwitch< LatticeTransferState >	buildTransferMatchSwitch (ASTContext &Ctx, CFGMatchSwitchBuilder< LatticeTransferState > Builder)
static bool	namespaceEquals (const NamespaceDecl *NS, clang::ArrayRef< clang::StringRef > NamespaceNames)
static bool	isTypeNamed (QualType Type, clang::ArrayRef< clang::StringRef > NS, StringRef Name)
static bool	isStatusOrOperatorBaseType (QualType Type)
static bool	isSafeUnwrap (RecordStorageLocation *StatusOrLoc, const Environment &Env)
static ClassTemplateSpecializationDecl *	getStatusOrBaseClass (const QualType &Ty)
static QualType	getStatusOrValueType (ClassTemplateSpecializationDecl *TRD)
static auto	isStatusOrMemberCallWithName (llvm::StringRef member_name)
static auto	isStatusOrOperatorCallWithName (llvm::StringRef operator_name)
static auto	valueCall ()
static auto	valueOperatorCall ()
static auto	buildDiagnoseMatchSwitch (const UncheckedStatusOrAccessModelOptions &Options)
static void	transferStatusOrOkCall (const CXXMemberCallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)

Typedef Documentation

◆ LatticeTransferState

using clang::dataflow::statusor_model::LatticeTransferState

Initial value:

TransferState<UncheckedStatusOrAccessModel::Lattice>

clang::dataflow::TransferState

A common form of state shared between the cases of a transfer function.

Definition MatchSwitch.h:41

Definition at line 84 of file UncheckedStatusOrAccessModel.h.

◆ StatementMatcher

using clang::ast_matchers::StatementMatcher

Definition at line 146 of file ASTMatchers.h.

Function Documentation

◆ buildDiagnoseMatchSwitch()

auto clang::dataflow::statusor_model::buildDiagnoseMatchSwitch ( const UncheckedStatusOrAccessModelOptions & Options )

static

Definition at line 128 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::Environment::get(), clang::CallExpr::getArg(), clang::CXXMemberCallExpr::getExprLoc(), clang::dataflow::getImplicitObjectLocation(), isSafeUnwrap(), valueCall(), and valueOperatorCall().

Referenced by clang::dataflow::statusor_model::UncheckedStatusOrAccessDiagnoser::UncheckedStatusOrAccessDiagnoser().

◆ buildTransferMatchSwitch()

CFGMatchSwitch< LatticeTransferState > clang::dataflow::statusor_model::buildTransferMatchSwitch	(	ASTContext &	Ctx,
		CFGMatchSwitchBuilder< LatticeTransferState >	Builder )

Definition at line 248 of file UncheckedStatusOrAccessModel.cpp.

References isStatusOrMemberCallWithName(), and transferStatusOrOkCall().

Referenced by clang::dataflow::statusor_model::UncheckedStatusOrAccessModel::UncheckedStatusOrAccessModel().

◆ findStatusType()

QualType clang::dataflow::statusor_model::findStatusType ( const ASTContext & Ctx )

Definition at line 257 of file UncheckedStatusOrAccessModel.cpp.

References clang::ASTContext::getTypes(), and isStatusType().

◆ getStatusOrBaseClass()

ClassTemplateSpecializationDecl * clang::dataflow::statusor_model::getStatusOrBaseClass ( const QualType & Ty )

static

Definition at line 77 of file UncheckedStatusOrAccessModel.cpp.

References clang::cast(), clang::Type::getAsCXXRecordDecl(), getStatusOrBaseClass(), isStatusOrOperatorBaseType(), and isStatusOrType().

Referenced by getStatusOrBaseClass(), and getSyntheticFields().

◆ getStatusOrValueType()

QualType clang::dataflow::statusor_model::getStatusOrValueType ( ClassTemplateSpecializationDecl * TRD )

static

Definition at line 94 of file UncheckedStatusOrAccessModel.cpp.

References clang::TemplateArgumentList::get(), clang::TemplateArgument::getAsType(), and clang::ClassTemplateSpecializationDecl::getTemplateArgs().

Referenced by getSyntheticFields().

◆ getSyntheticFields()

llvm::StringMap< QualType > clang::dataflow::statusor_model::getSyntheticFields	(	QualType	Ty,
		QualType	StatusType,
		const CXXRecordDecl &	RD )

Definition at line 211 of file UncheckedStatusOrAccessModel.cpp.

References clang::ASTContext::BoolTy, clang::Type::getAsCXXRecordDecl(), clang::Decl::getASTContext(), getStatusOrBaseClass(), getStatusOrValueType(), clang::CXXRecordDecl::hasDefinition(), clang::CXXRecordDecl::isDerivedFrom(), and isStatusType().

◆ initializeStatus()

BoolValue & clang::dataflow::statusor_model::initializeStatus	(	RecordStorageLocation &	StatusLoc,
		Environment &	Env )

Definition at line 168 of file UncheckedStatusOrAccessModel.cpp.

References locForOk(), clang::dataflow::Environment::makeAtomicBoolValue(), and clang::dataflow::Environment::setValue().

Referenced by initializeStatusOr(), and valForOk().

◆ initializeStatusOr()

BoolValue & clang::dataflow::statusor_model::initializeStatusOr	(	RecordStorageLocation &	StatusOrLoc,
		Environment &	Env )

Definition at line 175 of file UncheckedStatusOrAccessModel.cpp.

References initializeStatus(), and locForStatus().

◆ isSafeUnwrap()

bool clang::dataflow::statusor_model::isSafeUnwrap	(	RecordStorageLocation *	StatusOrLoc,
		const Environment &	Env )

static

Definition at line 67 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::Environment::get(), locForOk(), locForStatus(), and clang::dataflow::Environment::proves().

Referenced by buildDiagnoseMatchSwitch().

◆ isStatusOrMemberCallWithName()

auto clang::dataflow::statusor_model::isStatusOrMemberCallWithName ( llvm::StringRef member_name )

static

Definition at line 98 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::anyOf, clang::dataflow::cxxMemberCallExpr, clang::dataflow::cxxMethodDecl, clang::ast_matchers::cxxThisExpr, clang::ast_matchers::expr, clang::dataflow::hasName(), statusOrClass(), statusOrOperatorBaseClass(), and clang::ast_matchers::unless.

Referenced by buildTransferMatchSwitch(), and valueCall().

◆ isStatusOrOperatorBaseType()

bool clang::dataflow::statusor_model::isStatusOrOperatorBaseType ( QualType Type )

static

Definition at line 63 of file UncheckedStatusOrAccessModel.cpp.

References isTypeNamed().

Referenced by getStatusOrBaseClass().

◆ isStatusOrOperatorCallWithName()

auto clang::dataflow::statusor_model::isStatusOrOperatorCallWithName ( llvm::StringRef operator_name )

static

Definition at line 107 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::anyOf, clang::dataflow::cxxMethodDecl, clang::dataflow::cxxOperatorCallExpr, clang::dataflow::hasOverloadedOperatorName(), statusOrClass(), and statusOrOperatorBaseClass().

Referenced by valueOperatorCall().

◆ isStatusOrType()

bool clang::dataflow::statusor_model::isStatusOrType ( QualType Type )

Definition at line 203 of file UncheckedStatusOrAccessModel.cpp.

References isTypeNamed().

Referenced by getStatusOrBaseClass().

◆ isStatusType()

bool clang::dataflow::statusor_model::isStatusType ( QualType Type )

Definition at line 207 of file UncheckedStatusOrAccessModel.cpp.

References isTypeNamed().

Referenced by findStatusType(), and getSyntheticFields().

◆ isTypeNamed()

bool clang::dataflow::statusor_model::isTypeNamed	(	QualType	Type,
		clang::ArrayRef< clang::StringRef >	NS,
		StringRef	Name )

static

Definition at line 52 of file UncheckedStatusOrAccessModel.cpp.

References clang::Type::getAsRecordDecl(), and namespaceEquals().

Referenced by isStatusOrOperatorBaseType(), isStatusOrType(), and isStatusType().

◆ locForOk()

StorageLocation & clang::dataflow::statusor_model::locForOk ( RecordStorageLocation & StatusLoc )

Definition at line 225 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::RecordStorageLocation::getSyntheticField().

Referenced by initializeStatus(), isSafeUnwrap(), and valForOk().

◆ locForStatus()

RecordStorageLocation & clang::dataflow::statusor_model::locForStatus ( RecordStorageLocation & StatusOrLoc )

Definition at line 221 of file UncheckedStatusOrAccessModel.cpp.

References clang::cast(), and clang::dataflow::RecordStorageLocation::getSyntheticField().

Referenced by initializeStatusOr(), isSafeUnwrap(), and transferStatusOrOkCall().

◆ namespaceEquals()

bool clang::dataflow::statusor_model::namespaceEquals	(	const NamespaceDecl *	NS,
		clang::ArrayRef< clang::StringRef >	NamespaceNames )

static

Definition at line 41 of file UncheckedStatusOrAccessModel.cpp.

References clang::NamedDecl::getName(), and clang::DeclContext::getParent().

Referenced by isTypeNamed().

◆ statusClass()

clang::ast_matchers::DeclarationMatcher clang::dataflow::statusor_model::statusClass ( )

Definition at line 187 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::cxxRecordDecl, and clang::dataflow::hasName().

◆ statusOrClass()

clang::ast_matchers::DeclarationMatcher clang::dataflow::statusor_model::statusOrClass ( )

Definition at line 180 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::classTemplateSpecializationDecl, clang::dataflow::hasName(), and clang::ast_matchers::type.

Referenced by isStatusOrMemberCallWithName(), isStatusOrOperatorCallWithName(), and statusOrType().

◆ statusOrOperatorBaseClass()

clang::ast_matchers::DeclarationMatcher clang::dataflow::statusor_model::statusOrOperatorBaseClass ( )

Definition at line 192 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::classTemplateSpecializationDecl, and clang::dataflow::hasName().

Referenced by isStatusOrMemberCallWithName(), and isStatusOrOperatorCallWithName().

◆ statusOrType()

clang::ast_matchers::TypeMatcher clang::dataflow::statusor_model::statusOrType ( )

Definition at line 198 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::hasDeclaration(), clang::ast_matchers::qualType, and statusOrClass().

◆ transferStatusOrOkCall()

void clang::dataflow::statusor_model::transferStatusOrOkCall	(	const CXXMemberCallExpr *	Expr,
		const MatchFinder::MatchResult &	,
		LatticeTransferState &	State )