clang  8.0.0svn
Functions
MacOSKeychainAPIChecker.cpp File Reference
#include "ClangSACheckers.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/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/Support/raw_ostream.h"
Include dependency graph for MacOSKeychainAPIChecker.cpp:

Go to the source code of this file.

Functions

 REGISTER_MAP_WITH_PROGRAMSTATE (AllocatedData, SymbolRef, MacOSKeychainAPIChecker::AllocationState) static bool isEnclosingFunctionParam(const Expr *E)
 ProgramState traits to store the currently allocated (and not yet freed) symbols. More...
 
static bool isBadDeallocationArgument (const MemRegion *Arg)
 
static SymbolRef getAsPointeeSymbol (const Expr *Expr, CheckerContext &C)
 Given the address expression, retrieve the value it's pointing to. More...
 

Function Documentation

◆ getAsPointeeSymbol()

static SymbolRef getAsPointeeSymbol ( const Expr Expr,
CheckerContext &  C 
)
static

◆ isBadDeallocationArgument()

static bool isBadDeallocationArgument ( const MemRegion *  Arg)
static

Definition at line 191 of file MacOSKeychainAPIChecker.cpp.

Referenced by getAsPointeeSymbol().

◆ REGISTER_MAP_WITH_PROGRAMSTATE()

REGISTER_MAP_WITH_PROGRAMSTATE ( AllocatedData  ,
SymbolRef  ,
MacOSKeychainAPIChecker::AllocationState   
) const

ProgramState traits to store the currently allocated (and not yet freed) symbols.

This is a map from the allocated content symbol to the corresponding AllocationState.

Definition at line 147 of file MacOSKeychainAPIChecker.cpp.

References clang::Expr::IgnoreParenCasts().