UninitializedObjectChecker.cpp File Reference

#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "UninitializedObject.h"
#include "clang/ASTMatchers/ASTMatchFinder.h"
#include "clang/Driver/DriverDiagnostic.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/DynamicType.h"

Go to the source code of this file.

Functions
static const TypedValueRegion *	getConstructedRegion (const CXXConstructorDecl *CtorDecl, CheckerContext &Context)
	Returns the region that was constructed by CtorDecl, or nullptr if that isn't possible.
static bool	willObjectBeAnalyzedLater (const CXXConstructorDecl *Ctor, CheckerContext &Context)
	Checks whether the object constructed by Ctor will be analyzed later (e.g.
static bool	shouldIgnoreRecord (const RecordDecl *RD, StringRef Pattern)
	Checks whether RD contains a field with a name or type name that matches Pattern.
static bool	hasUnguardedAccess (const FieldDecl *FD, ProgramStateRef State)
	Checks syntactically whether it is possible to access FD from the record that contains it without a preceding assert (even if that access happens inside a method).
static void	printTail (llvm::raw_ostream &Out, const FieldChainInfo::FieldChain L)
	Prints every element except the last to Out.
static const Stmt *	getMethodBody (const CXXMethodDecl *M)

Function Documentation

getConstructedRegion()

const TypedValueRegion * getConstructedRegion ( const CXXConstructorDecl * CtorDecl, CheckerContext & Context )

static

Returns the region that was constructed by CtorDecl, or nullptr if that isn't possible.

Definition at line 455 of file UninitializedObjectChecker.cpp.

References clang::ento::MemRegion::getAs(), clang::Type::getAsCXXRecordDecl(), clang::ento::SVal::getAsRegion(), and clang::ento::TypedValueRegion::getValueType().

Referenced by willObjectBeAnalyzedLater().

getMethodBody()

const Stmt * getMethodBody ( const CXXMethodDecl * M )

static

Definition at line 512 of file UninitializedObjectChecker.cpp.

References clang::FunctionDecl::getBody(), clang::FunctionDecl::getDefinition(), clang::isa(), and clang::FunctionDecl::isDefined().

Referenced by hasUnguardedAccess().

hasUnguardedAccess()

bool hasUnguardedAccess ( const FieldDecl * FD, ProgramStateRef State )

static

Checks syntactically whether it is possible to access FD from the record that contains it without a preceding assert (even if that access happens inside a method).

This is mainly used for records that act like unions, like having multiple bit fields, with only a fraction being properly initialized. If these fields are properly guarded with asserts, this method returns false.

Since this check is done syntactically, this method could be inaccurate.

Definition at line 522 of file UninitializedObjectChecker.cpp.

References clang::ast_matchers::anyOf, clang::AS_public, clang::ast_matchers::callExpr, clang::ast_matchers::conditionalOperator, clang::ast_matchers::functionDecl, clang::Decl::getAccess(), getMethodBody(), clang::FieldDecl::getParent(), clang::ast_matchers::hasAnyName, clang::ast_matchers::hasDeclaration(), clang::ast_matchers::hasDescendant, clang::ast_matchers::ifStmt, clang::ast_matchers::match(), clang::ast_matchers::memberExpr, clang::ast_matchers::stmt, and clang::ast_matchers::switchStmt.

printTail()

void printTail ( llvm::raw_ostream & Out, const FieldChainInfo::FieldChain L )

static

Prints every element except the last to Out.

Since ImmutableLists store elements in reverse order, and have no reverse iterators, we use a recursive function to print the fieldchain correctly. The last element in the chain is to be printed by FieldChainInfo::print.

Definition at line 439 of file UninitializedObjectChecker.cpp.

References printTail().

Referenced by clang::ento::FieldChainInfo::printNoteMsg(), and printTail().

shouldIgnoreRecord()

bool shouldIgnoreRecord ( const RecordDecl * RD, StringRef Pattern )

static

Checks whether RD contains a field with a name or type name that matches Pattern.

Definition at line 499 of file UninitializedObjectChecker.cpp.

References clang::RecordDecl::fields().

willObjectBeAnalyzedLater()

bool willObjectBeAnalyzedLater ( const CXXConstructorDecl * Ctor, CheckerContext & Context )

static

Checks whether the object constructed by Ctor will be analyzed later (e.g.

if the object is a field of another object, in which case we'd check it multiple times).

Definition at line 470 of file UninitializedObjectChecker.cpp.

References getConstructedRegion(), clang::LocationContext::getDecl(), clang::LocationContext::getParent(), and clang::ento::SubRegion::isSubRegionOf().