clang  6.0.0svn
Enumerations | Functions
ObjCSelfInitChecker.cpp File Reference
#include "ClangSACheckers.h"
#include "clang/AST/ParentMap.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
#include "llvm/Support/raw_ostream.h"
Include dependency graph for ObjCSelfInitChecker.cpp:

Go to the source code of this file.

Enumerations

enum  SelfFlagEnum
 

Functions

static bool shouldRunOnFunctionOrMethod (const NamedDecl *ND)
 
static bool isInitializationMethod (const ObjCMethodDecl *MD)
 
static bool isInitMessage (const ObjCMethodCall &Msg)
 
static bool isSelfVar (SVal location, CheckerContext &C)
 Returns true if the location is 'self'. More...
 
static SelfFlagEnum getSelfFlags (SVal val, ProgramStateRef state)
 A call receiving a reference to 'self' invalidates the object that 'self' contains. More...
 
static SelfFlagEnum getSelfFlags (SVal val, CheckerContext &C)
 
static void addSelfFlag (ProgramStateRef state, SVal val, SelfFlagEnum flag, CheckerContext &C)
 
static bool hasSelfFlag (SVal val, SelfFlagEnum flag, CheckerContext &C)
 
static bool isInvalidSelf (const Expr *E, CheckerContext &C)
 Returns true of the value of the expression is the object that 'self' points to and is an object that did not come from the result of calling an initializer. More...
 

Enumeration Type Documentation

◆ SelfFlagEnum

Definition at line 88 of file ObjCSelfInitChecker.cpp.

Function Documentation

◆ addSelfFlag()

static void addSelfFlag ( ProgramStateRef  state,
SVal  val,
SelfFlagEnum  flag,
CheckerContext C 
)
static

◆ getSelfFlags() [1/2]

static SelfFlagEnum getSelfFlags ( SVal  val,
ProgramStateRef  state 
)
static

A call receiving a reference to 'self' invalidates the object that 'self' contains.

This keeps the "self flags" assigned to the 'self' object before the call so we can assign them to the new object that 'self' points to after the call.

Definition at line 107 of file ObjCSelfInitChecker.cpp.

References clang::CodeGen::state.

Referenced by addSelfFlag(), getSelfFlags(), and hasSelfFlag().

◆ getSelfFlags() [2/2]

static SelfFlagEnum getSelfFlags ( SVal  val,
CheckerContext C 
)
static

◆ hasSelfFlag()

static bool hasSelfFlag ( SVal  val,
SelfFlagEnum  flag,
CheckerContext C 
)
static

Definition at line 127 of file ObjCSelfInitChecker.cpp.

References getSelfFlags().

◆ isInitializationMethod()

static bool isInitializationMethod ( const ObjCMethodDecl MD)
static

◆ isInitMessage()

static bool isInitMessage ( const ObjCMethodCall Msg)
static

◆ isInvalidSelf()

static bool isInvalidSelf ( const Expr E,
CheckerContext C 
)
static

Returns true of the value of the expression is the object that 'self' points to and is an object that did not come from the result of calling an initializer.

Definition at line 134 of file ObjCSelfInitChecker.cpp.

◆ isSelfVar()

static bool isSelfVar ( SVal  location,
CheckerContext C 
)
static

◆ shouldRunOnFunctionOrMethod()

static bool shouldRunOnFunctionOrMethod ( const NamedDecl ND)
static