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	ofClassStatus ()
static auto	isStatusMemberCallWithName (llvm::StringRef member_name)
static auto	isStatusOrMemberCallWithName (llvm::StringRef member_name)
static auto	isStatusOrOperatorCallWithName (llvm::StringRef operator_name)
static auto	valueCall ()
static auto	valueOperatorCall ()
static clang::ast_matchers::TypeMatcher	statusType ()
static auto	isComparisonOperatorCall (llvm::StringRef operator_name)
static auto	isOkStatusCall ()
static auto	isNotOkStatusCall ()
static auto	isPointerComparisonOperatorCall (std::string operator_name)
static auto	isStatusOrValueAssignmentCall ()
static auto	isStatusOrValueConstructor ()
static auto	isStatusOrConstructor ()
static auto	isStatusConstructor ()
static auto	buildDiagnoseMatchSwitch (const UncheckedStatusOrAccessModelOptions &Options)
static void	transferStatusOrOkCall (const CXXMemberCallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void	transferStatusCall (const CXXMemberCallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void	transferStatusOkCall (const CXXMemberCallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void	transferStatusUpdateCall (const CXXMemberCallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static BoolValue *	evaluateStatusEquality (RecordStorageLocation &LhsStatusLoc, RecordStorageLocation &RhsStatusLoc, Environment &Env)
static BoolValue *	evaluateStatusOrEquality (RecordStorageLocation &LhsStatusOrLoc, RecordStorageLocation &RhsStatusOrLoc, Environment &Env)
static BoolValue *	evaluateEquality (const Expr LhsExpr, const Expr RhsExpr, Environment &Env)
static void	transferComparisonOperator (const CXXOperatorCallExpr *Expr, LatticeTransferState &State, bool IsNegative)
static RecordStorageLocation *	getPointeeLocation (const Expr &Expr, Environment &Env)
static BoolValue *	evaluatePointerEquality (const Expr LhsExpr, const Expr RhsExpr, Environment &Env)
static void	transferPointerComparisonOperator (const BinaryOperator *Expr, LatticeTransferState &State, bool IsNegative)
static void	transferOkStatusCall (const CallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void	transferNotOkStatusCall (const CallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void	transferEmplaceCall (const CXXMemberCallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void	transferValueAssignmentCall (const CXXOperatorCallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void	transferValueConstructor (const CXXConstructExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void	transferStatusOrConstructor (const CXXConstructExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void	transferStatusConstructor (const CXXConstructExpr *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 216 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 )

◆ evaluateEquality()

BoolValue * clang::dataflow::statusor_model::evaluateEquality	(	const Expr *	LhsExpr,
		const Expr *	RhsExpr,
		Environment &	Env )

static

Definition at line 442 of file UncheckedStatusOrAccessModel.cpp.

References evaluateStatusEquality(), evaluateStatusOrEquality(), clang::dataflow::Environment::get(), clang::Expr::getType(), isStatusOrType(), and isStatusType().

Referenced by transferComparisonOperator().

◆ evaluatePointerEquality()

BoolValue * clang::dataflow::statusor_model::evaluatePointerEquality	(	const Expr *	LhsExpr,
		const Expr *	RhsExpr,
		Environment &	Env )

static

Definition at line 492 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::Environment::arena(), clang::dataflow::Environment::assume(), getPointeeLocation(), clang::Type::getPointeeType(), clang::Expr::getType(), clang::Type::isPointerType(), isStatusOrType(), isStatusType(), locForStatus(), clang::dataflow::Environment::makeAtomicBoolValue(), and valForOk().

Referenced by transferPointerComparisonOperator().

◆ evaluateStatusEquality()

BoolValue * clang::dataflow::statusor_model::evaluateStatusEquality	(	RecordStorageLocation &	LhsStatusLoc,
		RecordStorageLocation &	RhsStatusLoc,
		Environment &	Env )

static

Definition at line 390 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::Environment::arena(), clang::dataflow::Environment::assume(), clang::dataflow::Environment::makeAtomicBoolValue(), and valForOk().

Referenced by evaluateEquality().

◆ evaluateStatusOrEquality()

BoolValue * clang::dataflow::statusor_model::evaluateStatusOrEquality	(	RecordStorageLocation &	LhsStatusOrLoc,
		RecordStorageLocation &	RhsStatusOrLoc,
		Environment &	Env )

static

Definition at line 419 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::Environment::arena(), clang::dataflow::Environment::assume(), locForStatus(), clang::dataflow::Environment::makeAtomicBoolValue(), and valForOk().

Referenced by evaluateEquality().

◆ findStatusType()

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

Definition at line 668 of file UncheckedStatusOrAccessModel.cpp.

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

◆ getPointeeLocation()

RecordStorageLocation * clang::dataflow::statusor_model::getPointeeLocation	(	const Expr &	Expr,
		Environment &	Env )

static

Definition at line 485 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::Environment::get().

Referenced by evaluatePointerEquality().

◆ getStatusOrBaseClass()

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

static

Definition at line 78 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 95 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 299 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 256 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by initializeStatusOr(), transferNotOkStatusCall(), transferOkStatusCall(), transferStatusConstructor(), and valForOk().

◆ initializeStatusOr()

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

Definition at line 263 of file UncheckedStatusOrAccessModel.cpp.

References initializeStatus(), and locForStatus().

Referenced by transferStatusCall(), transferStatusOrConstructor(), transferValueAssignmentCall(), and transferValueConstructor().

◆ isComparisonOperatorCall()

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

static

Definition at line 145 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::anyOf, clang::dataflow::cxxOperatorCallExpr, clang::dataflow::hasOverloadedOperatorName(), statusOrType(), and statusType().

Referenced by buildTransferMatchSwitch().

◆ isNotOkStatusCall()

auto clang::dataflow::statusor_model::isNotOkStatusCall ( )

static

Definition at line 158 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::callExpr, clang::ast_matchers::functionDecl, and clang::ast_matchers::hasAnyName.

Referenced by buildTransferMatchSwitch().

◆ isOkStatusCall()

auto clang::dataflow::statusor_model::isOkStatusCall ( )

static

Definition at line 153 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::callExpr, clang::ast_matchers::functionDecl, and clang::dataflow::hasName().

Referenced by buildTransferMatchSwitch().

◆ isPointerComparisonOperatorCall()

auto clang::dataflow::statusor_model::isPointerComparisonOperatorCall ( std::string operator_name )

static

Definition at line 171 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::anyOf, clang::ast_matchers::binaryOperator, clang::dataflow::pointerType, statusOrType(), and statusType().

Referenced by buildTransferMatchSwitch().

◆ isSafeUnwrap()

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

static

Definition at line 68 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by buildDiagnoseMatchSwitch().

◆ isStatusConstructor()

auto clang::dataflow::statusor_model::isStatusConstructor ( )

static

Definition at line 210 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::cxxConstructExpr, and statusType().

Referenced by buildTransferMatchSwitch().

◆ isStatusMemberCallWithName()

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

static

Definition at line 104 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by buildTransferMatchSwitch().

◆ isStatusOrConstructor()

auto clang::dataflow::statusor_model::isStatusOrConstructor ( )

static

Definition at line 205 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::cxxConstructExpr, and statusOrType().

Referenced by buildTransferMatchSwitch().

◆ isStatusOrMemberCallWithName()

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

static

Definition at line 111 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 64 of file UncheckedStatusOrAccessModel.cpp.

References isTypeNamed().

Referenced by getStatusOrBaseClass().

◆ isStatusOrOperatorCallWithName()

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

static

Definition at line 120 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 291 of file UncheckedStatusOrAccessModel.cpp.

References isTypeNamed().

Referenced by evaluateEquality(), evaluatePointerEquality(), and getStatusOrBaseClass().

◆ isStatusOrValueAssignmentCall()

auto clang::dataflow::statusor_model::isStatusOrValueAssignmentCall ( )

static

Definition at line 184 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by buildTransferMatchSwitch().

◆ isStatusOrValueConstructor()

auto clang::dataflow::statusor_model::isStatusOrValueConstructor ( )

static

Definition at line 194 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::anyOf, clang::ast_matchers::cxxConstructExpr, clang::ast_matchers::hasAnyName, clang::ast_matchers::namedDecl, statusOrType(), and clang::ast_matchers::type.

Referenced by buildTransferMatchSwitch().

◆ isStatusType()

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

Definition at line 295 of file UncheckedStatusOrAccessModel.cpp.

References isTypeNamed().

Referenced by evaluateEquality(), evaluatePointerEquality(), findStatusType(), and getSyntheticFields().

◆ isTypeNamed()

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

static

Definition at line 53 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 313 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by initializeStatus(), isSafeUnwrap(), transferStatusCall(), transferStatusConstructor(), transferStatusOkCall(), transferStatusOrConstructor(), transferStatusUpdateCall(), and valForOk().

◆ locForStatus()

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

Definition at line 309 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by evaluatePointerEquality(), evaluateStatusOrEquality(), initializeStatusOr(), isSafeUnwrap(), transferEmplaceCall(), transferStatusCall(), transferStatusOrConstructor(), and transferStatusOrOkCall().

◆ namespaceEquals()

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

static

Definition at line 42 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by isTypeNamed().

◆ ofClassStatus()

auto clang::dataflow::statusor_model::ofClassStatus ( )

static

Definition at line 99 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::hasName().

Referenced by isStatusMemberCallWithName().

◆ statusClass()

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

Definition at line 275 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by statusType().

◆ statusOrClass()

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

Definition at line 268 of file UncheckedStatusOrAccessModel.cpp.

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

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

◆ statusOrOperatorBaseClass()

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

Definition at line 280 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 286 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by isComparisonOperatorCall(), isPointerComparisonOperatorCall(), isStatusOrConstructor(), and isStatusOrValueConstructor().

◆ statusType()

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

static

Definition at line 140 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by isComparisonOperatorCall(), isPointerComparisonOperatorCall(), and isStatusConstructor().

◆ transferComparisonOperator()

void clang::dataflow::statusor_model::transferComparisonOperator	(	const CXXOperatorCallExpr *	Expr,
		LatticeTransferState &	State,
		bool	IsNegative )

static

Definition at line 471 of file UncheckedStatusOrAccessModel.cpp.

References evaluateEquality().

Referenced by buildTransferMatchSwitch().

◆ transferEmplaceCall()

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

static

Definition at line 554 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::getImplicitObjectLocation(), locForStatus(), and valForOk().

Referenced by buildTransferMatchSwitch().

◆ transferNotOkStatusCall()

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

static

Definition at line 545 of file UncheckedStatusOrAccessModel.cpp.

References initializeStatus().

Referenced by buildTransferMatchSwitch().

◆ transferOkStatusCall()

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

static

Definition at line 537 of file UncheckedStatusOrAccessModel.cpp.

References initializeStatus().

Referenced by buildTransferMatchSwitch().

◆ transferPointerComparisonOperator()

void clang::dataflow::statusor_model::transferPointerComparisonOperator	(	const BinaryOperator *	Expr,
		LatticeTransferState &	State,
		bool	IsNegative )

static

Definition at line 523 of file UncheckedStatusOrAccessModel.cpp.

References evaluatePointerEquality().

Referenced by buildTransferMatchSwitch().

◆ transferStatusCall()

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

static

Definition at line 335 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::copyRecord(), clang::dataflow::getImplicitObjectLocation(), initializeStatusOr(), clang::Expr::isPRValue(), locForOk(), and locForStatus().

Referenced by buildTransferMatchSwitch().

◆ transferStatusConstructor()

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

static

Definition at line 597 of file UncheckedStatusOrAccessModel.cpp.

References initializeStatus(), and locForOk().

Referenced by buildTransferMatchSwitch().

◆ transferStatusOkCall()

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

static

Definition at line 354 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::getImplicitObjectLocation(), and locForOk().

Referenced by buildTransferMatchSwitch().

◆ transferStatusOrConstructor()

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

static

Definition at line 587 of file UncheckedStatusOrAccessModel.cpp.

References initializeStatusOr(), locForOk(), and locForStatus().

Referenced by buildTransferMatchSwitch().

◆ transferStatusOrOkCall()

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

static

Definition at line 323 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::getImplicitObjectLocation(), locForStatus(), and valForOk().

Referenced by buildTransferMatchSwitch().

◆ transferStatusUpdateCall()

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

static

Definition at line 366 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::getImplicitObjectLocation(), locForOk(), and valForOk().

Referenced by buildTransferMatchSwitch().

◆ transferValueAssignmentCall()

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

static

Definition at line 566 of file UncheckedStatusOrAccessModel.cpp.

References initializeStatusOr().

Referenced by buildTransferMatchSwitch().

◆ transferValueConstructor()

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

static

Definition at line 579 of file UncheckedStatusOrAccessModel.cpp.

References initializeStatusOr().

Referenced by buildTransferMatchSwitch().

◆ valForOk()

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

Definition at line 317 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by evaluatePointerEquality(), evaluateStatusEquality(), evaluateStatusOrEquality(), transferEmplaceCall(), transferStatusOrOkCall(), and transferStatusUpdateCall().

◆ valueCall()

auto clang::dataflow::statusor_model::valueCall ( )

static

Definition at line 128 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::anyOf, and isStatusOrMemberCallWithName().

Referenced by buildDiagnoseMatchSwitch().

◆ valueOperatorCall()

auto clang::dataflow::statusor_model::valueOperatorCall ( )

static

Definition at line 134 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::anyOf, clang::ast_matchers::expr, and isStatusOrOperatorCallWithName().

Referenced by buildDiagnoseMatchSwitch().

Classes

Typedefs

Functions

Typedef Documentation

◆ LatticeTransferState

◆ StatementMatcher

Function Documentation

◆ buildDiagnoseMatchSwitch()

◆ buildTransferMatchSwitch()

◆ evaluateEquality()

◆ evaluatePointerEquality()

◆ evaluateStatusEquality()

◆ evaluateStatusOrEquality()

◆ findStatusType()

◆ getPointeeLocation()

◆ getStatusOrBaseClass()

◆ getStatusOrValueType()

◆ getSyntheticFields()

◆ initializeStatus()

◆ initializeStatusOr()

◆ isComparisonOperatorCall()

◆ isNotOkStatusCall()

◆ isOkStatusCall()

◆ isPointerComparisonOperatorCall()

◆ isSafeUnwrap()

◆ isStatusConstructor()

◆ isStatusMemberCallWithName()

◆ isStatusOrConstructor()

◆ isStatusOrMemberCallWithName()

◆ isStatusOrOperatorBaseType()

◆ isStatusOrOperatorCallWithName()

◆ isStatusOrType()

◆ isStatusOrValueAssignmentCall()

◆ isStatusOrValueConstructor()

◆ isStatusType()

◆ isTypeNamed()

◆ locForOk()

◆ locForStatus()

◆ namespaceEquals()

◆ ofClassStatus()

◆ statusClass()

◆ statusOrClass()

◆ statusOrOperatorBaseClass()

◆ statusOrType()

◆ statusType()

◆ transferComparisonOperator()

◆ transferEmplaceCall()

◆ transferNotOkStatusCall()

◆ transferOkStatusCall()

◆ transferPointerComparisonOperator()

◆ transferStatusCall()

◆ transferStatusConstructor()

◆ transferStatusOkCall()

◆ transferStatusOrConstructor()

◆ transferStatusOrOkCall()

◆ transferStatusUpdateCall()

◆ transferValueAssignmentCall()

◆ transferValueConstructor()

◆ valForOk()

◆ valueCall()

◆ valueOperatorCall()