/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | 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 {} 108 void checkPreCall(const CallEvent &Call, CheckerContext &C) const {} 114 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {} 117 void checkBranchCondition(const Stmt *Condition, CheckerContext &Ctx) const {} 129 CheckerContext [all...] |
H A D | ExprInspectionChecker.cpp | 13 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 23 void analyzerEval(const CallExpr *CE, CheckerContext &C) const; 24 void analyzerCheckInlined(const CallExpr *CE, CheckerContext &C) const; 25 void analyzerWarnIfReached(const CallExpr *CE, CheckerContext &C) const; 26 void analyzerCrash(const CallExpr *CE, CheckerContext &C) const; 29 CheckerContext &C) const; 32 bool evalCall(const CallExpr *CE, CheckerContext &C) const; 37 CheckerContext &C) const { 56 CheckerContext &C) { 88 CheckerContext [all...] |
H A D | TraversalChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 30 void checkBranchCondition(const Stmt *Condition, CheckerContext &C) const; 31 void checkEndFunction(CheckerContext &C) const; 36 CheckerContext &C) const { 53 void TraversalDumper::checkEndFunction(CheckerContext &C) const { 67 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 68 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 72 void CallDumper::checkPreCall(const CallEvent &Call, CheckerContext &C) const { 85 void CallDumper::checkPostCall(const CallEvent &Call, CheckerContext &C) const {
|
H A D | 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 {
|
H A D | 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 [all...] |
H A D | 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 [all...] |
H A D | 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 {
|
H A D | 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,
|
H A D | 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 [all...] |
H A D | 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 [all...] |
H A D | DynamicTypePropagation.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 33 CheckerContext &C) const; 37 CheckerContext &C) const; 39 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 40 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 41 void checkPostStmt(const ImplicitCastExpr *CastE, CheckerContext &C) const; 42 void checkPostStmt(const CXXNewExpr *NewE, CheckerContext &C) const; 47 CheckerContext &C) { 61 CheckerContext &C) const { 105 CheckerContext [all...] |
H A D | ChrootChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 54 bool evalCall(const CallExpr *CE, CheckerContext &C) const; 55 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const; 58 void Chroot(CheckerContext &C, const CallExpr *CE) const; 59 void Chdir(CheckerContext &C, const CallExpr *CE) const; 64 bool ChrootChecker::evalCall(const CallExpr *CE, CheckerContext &C) const { 87 void ChrootChecker::Chroot(CheckerContext &C, const CallExpr *CE) const { 97 void ChrootChecker::Chdir(CheckerContext &C, const CallExpr *CE) const { 124 void ChrootChecker::checkPreStmt(const CallExpr *CE, CheckerContext &C) const {
|
H A D | FixedAddressChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 31 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const; 36 CheckerContext &C) const {
|
H A D | NSAutoreleasePoolChecker.cpp | 26 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 39 void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const; 45 CheckerContext &C) const {
|
H A D | UndefinedArraySubscriptChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 31 void checkPreStmt(const ArraySubscriptExpr *A, CheckerContext &C) const; 37 CheckerContext &C) const {
|
H A D | 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 {
|
H A D | 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 { 88 CheckerContext &C) const {
|
H A D | 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 { 162 void StackAddrEscapeChecker::checkEndFunction(CheckerContext &Ctx) const { 169 CheckerContext &Ctx; 174 CallBack(CheckerContext &CC) :
|
H A D | ObjCContainersChecker.cpp | 24 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 40 inline SymbolRef getArraySym(const Expr *E, CheckerContext &C) const { 47 CheckerContext &C) const; 53 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const; 54 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const; 62 CheckerContext &C) const { 81 CheckerContext &C) const { 104 CheckerContext &C) const {
|
H A D | 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 [all...] |
H A D | SimpleStreamChecker.cpp | 22 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 64 CheckerContext &C) const; 67 CheckerContext &C, 76 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 78 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 80 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 122 CheckerContext &C) const { 143 CheckerContext &C) const { 186 CheckerContext &C) const { 210 CheckerContext [all...] |
H A D | 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, 194 void PthreadLockChecker::ReleaseLock(CheckerContext [all...] |
H A D | BoolAssignmentChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 27 void emitReport(ProgramStateRef state, CheckerContext &C) const; 29 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const; 34 CheckerContext &C) const { 55 CheckerContext &C) const {
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | 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 { 39 bool CheckerContext::isCLibraryFunction(const FunctionDecl *FD, 91 StringRef CheckerContext::getMacroNameOrSpelling(SourceLocation &Loc) {
|
/external/clang/examples/analyzer-plugin/ |
H A D | MainCallChecker.cpp | 4 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 14 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const; 18 void MainCallChecker::checkPreStmt(const CallExpr *CE, CheckerContext &C) const {
|