/external/clang/lib/StaticAnalyzer/Checkers/ |
CheckerDocumentation.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 36 /// \sa CheckerContext 71 void checkPreStmt(const ReturnStmt *DS, CheckerContext &C) const {} 81 void checkPostStmt(const DeclStmt *DS, CheckerContext &C) const; 90 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {} 96 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {} 105 void checkObjCMessageNil(const ObjCMethodCall &M, CheckerContext &C) const {} 117 void checkPreCall(const CallEvent &Call, CheckerContext &C) const {} 123 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {} 126 void checkBranchCondition(const Stmt *Condition, CheckerContext &Ctx) const { [all...] |
TraversalChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 31 void checkBranchCondition(const Stmt *Condition, CheckerContext &C) const; 32 void checkBeginFunction(CheckerContext &C) const; 33 void checkEndFunction(CheckerContext &C) const; 38 CheckerContext &C) const { 55 void TraversalDumper::checkBeginFunction(CheckerContext &C) const { 59 void TraversalDumper::checkEndFunction(CheckerContext &C) const { 73 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 74 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 78 void CallDumper::checkPreCall(const CallEvent &Call, CheckerContext &C) const [all...] |
ExprInspectionChecker.cpp | 13 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 24 void analyzerEval(const CallExpr *CE, CheckerContext &C) const; 25 void analyzerCheckInlined(const CallExpr *CE, CheckerContext &C) const; 26 void analyzerWarnIfReached(const CallExpr *CE, CheckerContext &C) const; 27 void analyzerCrash(const CallExpr *CE, CheckerContext &C) const; 28 void analyzerWarnOnDeadSymbol(const CallExpr *CE, CheckerContext &C) const; 29 void analyzerExplain(const CallExpr *CE, CheckerContext &C) const; 30 void analyzerGetExtent(const CallExpr *CE, CheckerContext &C) const; 33 CheckerContext &C) const; 35 void reportBug(llvm::StringRef Msg, CheckerContext &C) const [all...] |
UnixAPIChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 37 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const; 39 void CheckOpen(CheckerContext &C, const CallExpr *CE) const; 40 void CheckPthreadOnce(CheckerContext &C, const CallExpr *CE) const; 41 void CheckCallocZero(CheckerContext &C, const CallExpr *CE) const; 42 void CheckMallocZero(CheckerContext &C, const CallExpr *CE) const; 43 void CheckReallocZero(CheckerContext &C, const CallExpr *CE) const; 44 void CheckReallocfZero(CheckerContext &C, const CallExpr *CE) const; 45 void CheckAllocaZero(CheckerContext &C, const CallExpr *CE) const; 46 void CheckVallocZero(CheckerContext &C, const CallExpr *CE) const [all...] |
TaintTesterChecker.cpp | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 30 SymbolRef getPointedToSymbol(CheckerContext &C, 35 void checkPostStmt(const Expr *E, CheckerContext &C) const; 45 CheckerContext &C) const {
|
ObjCSelfInitChecker.cpp | 45 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 55 static bool isSelfVar(SVal location, CheckerContext &C); 67 void checkForInvalidSelf(const Expr *E, CheckerContext &C, 72 void checkPostObjCMessage(const ObjCMethodCall &Msg, CheckerContext &C) const; 73 void checkPostStmt(const ObjCIvarRefExpr *E, CheckerContext &C) const; 74 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const; 76 CheckerContext &C) const; 77 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const; 79 void checkPreCall(const CallEvent &CE, CheckerContext &C) const; 80 void checkPostCall(const CallEvent &CE, CheckerContext &C) const [all...] |
MacOSXAPIChecker.cpp | 23 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 37 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const; 39 void CheckDispatchOnce(CheckerContext &C, const CallExpr *CE, 42 typedef void (MacOSXAPIChecker::*SubChecker)(CheckerContext &, 52 void MacOSXAPIChecker::CheckDispatchOnce(CheckerContext &C, const CallExpr *CE, 105 CheckerContext &C) const {
|
ReturnUndefChecker.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 31 void emitUndef(CheckerContext &C, const Expr *RetE) const; 32 void checkReference(CheckerContext &C, const Expr *RetE, 35 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const; 40 CheckerContext &C) const { 81 static void emitBug(CheckerContext &C, BuiltinBug &BT, const Expr *RetE, 95 void ReturnUndefChecker::emitUndef(CheckerContext &C, const Expr *RetE) const { 103 void ReturnUndefChecker::checkReference(CheckerContext &C, const Expr *RetE,
|
GenericTaintChecker.cpp | 23 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 36 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const; 38 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const; 53 bool checkPre(const CallExpr *CE, CheckerContext &C) const; 56 void addSourcesPre(const CallExpr *CE, CheckerContext &C) const; 59 bool propagateFromPre(const CallExpr *CE, CheckerContext &C) const; 62 void addSourcesPost(const CallExpr *CE, CheckerContext &C) const; 66 static bool isStdin(const Expr *E, CheckerContext &C); 70 static SymbolRef getPointedToSymbol(CheckerContext &C, const Expr *Arg); 74 CheckerContext &C) const [all...] |
StreamChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 76 bool evalCall(const CallExpr *CE, CheckerContext &C) const; 77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 80 void Fopen(CheckerContext &C, const CallExpr *CE) const; 81 void Tmpfile(CheckerContext &C, const CallExpr *CE) const; 82 void Fclose(CheckerContext &C, const CallExpr *CE) const; 83 void Fread(CheckerContext &C, const CallExpr *CE) const; 84 void Fwrite(CheckerContext &C, const CallExpr *CE) const; 85 void Fseek(CheckerContext &C, const CallExpr *CE) const; 86 void Ftell(CheckerContext &C, const CallExpr *CE) const [all...] |
VforkChecker.cpp | 30 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 53 bool isVforkCall(const Decl *D, CheckerContext &C) const; 54 bool isCallWhitelisted(const IdentifierInfo *II, CheckerContext &C) const; 56 void reportBug(const char *What, CheckerContext &C, 62 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 63 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 64 void checkBind(SVal L, SVal V, const Stmt *S, CheckerContext &C) const; 65 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const; 83 bool VforkChecker::isVforkCall(const Decl *D, CheckerContext &C) const { 98 CheckerContext &C) const [all...] |
ChrootChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 55 bool evalCall(const CallExpr *CE, CheckerContext &C) const; 56 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const; 59 void Chroot(CheckerContext &C, const CallExpr *CE) const; 60 void Chdir(CheckerContext &C, const CallExpr *CE) const; 65 bool ChrootChecker::evalCall(const CallExpr *CE, CheckerContext &C) const { 88 void ChrootChecker::Chroot(CheckerContext &C, const CallExpr *CE) const { 98 void ChrootChecker::Chdir(CheckerContext &C, const CallExpr *CE) const { 125 void ChrootChecker::checkPreStmt(const CallExpr *CE, CheckerContext &C) const {
|
FixedAddressChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 31 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const; 36 CheckerContext &C) const {
|
NSAutoreleasePoolChecker.cpp | 26 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 39 void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const; 45 CheckerContext &C) const {
|
PointerArithChecker.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 53 AllocKind &AKind, CheckerContext &C) const; 55 CheckerContext &C) const; 56 void reportPointerArithMisuse(const Expr *E, CheckerContext &C, 65 void checkPreStmt(const UnaryOperator *UOp, CheckerContext &C) const; 66 void checkPreStmt(const BinaryOperator *BOp, CheckerContext &C) const; 67 void checkPreStmt(const ArraySubscriptExpr *SubExpr, CheckerContext &C) const; 68 void checkPreStmt(const CastExpr *CE, CheckerContext &C) const; 69 void checkPostStmt(const CastExpr *CE, CheckerContext &C) const; 70 void checkPostStmt(const CXXNewExpr *NE, CheckerContext &C) const [all...] |
DivZeroChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 29 CheckerContext &C) const ; 31 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const; 37 CheckerContext &C) const { 49 CheckerContext &C) const {
|
NoReturnFunctionChecker.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 35 void checkPostCall(const CallEvent &CE, CheckerContext &C) const; 36 void checkPostObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const; 42 CheckerContext &C) const { 89 CheckerContext &C) const {
|
ObjCSuperDeallocChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 42 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const; 43 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const; 45 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 48 CheckerContext &C) const; 52 void diagnoseCallArguments(const CallEvent &CE, CheckerContext &C) const; 55 CheckerContext &C) const; 88 CheckerContext &C) const { 115 CheckerContext &C) const { 120 CheckerContext &C) const [all...] |
StackAddrEscapeChecker.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 35 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const; 36 void checkEndFunction(CheckerContext &Ctx) const; 38 void EmitStackError(CheckerContext &C, const MemRegion *R, 95 void StackAddrEscapeChecker::EmitStackError(CheckerContext &C, const MemRegion *R, 120 CheckerContext &C) const { 171 void StackAddrEscapeChecker::checkEndFunction(CheckerContext &Ctx) const { 178 CheckerContext &Ctx; 183 CallBack(CheckerContext &CC) :
|
ObjCContainersChecker.cpp | 24 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 41 inline SymbolRef getArraySym(const Expr *E, CheckerContext &C) const { 48 CheckerContext &C) const; 54 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const; 55 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const; 67 CheckerContext &C) const { 85 CheckerContext &C) const { 108 CheckerContext &C) const {
|
TestAfterDivZeroChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 83 void reportBug(SVal Val, CheckerContext &C) const; 86 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const; 87 void checkBranchCondition(const Stmt *Condition, CheckerContext &C) const; 88 void checkEndFunction(CheckerContext &C) const; 89 void setDivZeroMap(SVal Var, CheckerContext &C) const; 90 bool hasDivZeroMap(SVal Var, const CheckerContext &C) const; 91 bool isZero(SVal S, CheckerContext &C) const; 138 bool TestAfterDivZeroChecker::isZero(SVal S, CheckerContext &C) const { 148 void TestAfterDivZeroChecker::setDivZeroMap(SVal Var, CheckerContext &C) const [all...] |
SimpleStreamChecker.cpp | 22 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 62 CheckerContext &C) const; 64 void reportLeaks(ArrayRef<SymbolRef> LeakedStreams, CheckerContext &C, 73 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 75 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 119 CheckerContext &C) const { 138 CheckerContext &C) const { 176 CheckerContext &C) const { 202 CheckerContext &C) const [all...] |
PthreadLockChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 64 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const; 66 void AcquireLock(CheckerContext &C, const CallExpr *CE, SVal lock, 69 void ReleaseLock(CheckerContext &C, const CallExpr *CE, SVal lock) const; 70 void DestroyLock(CheckerContext &C, const CallExpr *CE, SVal Lock) const; 71 void InitLock(CheckerContext &C, const CallExpr *CE, SVal Lock) const; 72 void reportUseDestroyedBug(CheckerContext &C, const CallExpr *CE) const; 82 CheckerContext &C) const { 124 void PthreadLockChecker::AcquireLock(CheckerContext &C, const CallExpr *CE, 193 void PthreadLockChecker::ReleaseLock(CheckerContext &C, const CallExpr *CE [all...] |
/external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
MPIChecker.h | 25 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 36 void checkPreCall(const CallEvent &CE, CheckerContext &Ctx) const { 42 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &Ctx) const { 47 void dynamicInit(CheckerContext &Ctx) const { 61 clang::ento::CheckerContext &Ctx) const; 70 clang::ento::CheckerContext &Ctx) const; 76 clang::ento::CheckerContext &Ctx) const; 90 clang::ento::CheckerContext &Ctx) const;
|
/external/clang/lib/StaticAnalyzer/Core/ |
CheckerContext.cpp | 1 //== CheckerContext.cpp - Context info for path-sensitive checkers-----------=// 10 // This file defines CheckerContext that provides contextual info for 15 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 22 const FunctionDecl *CheckerContext::getCalleeDecl(const CallExpr *CE) const { 29 StringRef CheckerContext::getCalleeName(const FunctionDecl *FunDecl) const { 38 StringRef CheckerContext::getDeclDescription(const Decl *D) { 46 bool CheckerContext::isCLibraryFunction(const FunctionDecl *FD, 94 StringRef CheckerContext::getMacroNameOrSpelling(SourceLocation &Loc) {
|