/external/clang/lib/StaticAnalyzer/Checkers/ |
CheckerDocumentation.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 36 /// \sa CheckerContext 70 void checkPreStmt(const ReturnStmt *DS, CheckerContext &C) const {} 80 void checkPostStmt(const DeclStmt *DS, CheckerContext &C) const; 89 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {} 95 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {} 107 void checkPreCall(const CallEvent &Call, CheckerContext &C) const {} 113 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {} 116 void checkBranchCondition(const Stmt *Condition, CheckerContext &Ctx) const {} 128 CheckerContext &) const { [all...] |
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 { 66 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 70 void CallDumper::checkPreCall(const CallEvent &Call, 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 { 72 static void emitBug(CheckerContext &C, BuiltinBug &BT, const Expr *RetE, 86 void ReturnUndefChecker::emitUndef(CheckerContext &C, const Expr *RetE) const { 94 void ReturnUndefChecker::checkReference(CheckerContext &C, const Expr *RetE,
|
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 {
|
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; 27 CheckerContext &C) const; 30 bool evalCall(const CallExpr *CE, CheckerContext &C) const; 35 CheckerContext &C) const { 52 CheckerContext &C) { 84 CheckerContext &C) const { 101 CheckerContext &C) const {
|
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...] |
ObjCSelfInitChecker.cpp | 45 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 55 static bool isSelfVar(SVal location, CheckerContext &C); 66 void checkPostObjCMessage(const ObjCMethodCall &Msg, CheckerContext &C) const; 67 void checkPostStmt(const ObjCIvarRefExpr *E, CheckerContext &C) const; 68 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const; 70 CheckerContext &C) const; 71 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const; 73 void checkPreCall(const CallEvent &CE, CheckerContext &C) const; 74 void checkPostCall(const CallEvent &CE, CheckerContext &C) const; 119 static SelfFlagEnum getSelfFlags(SVal val, CheckerContext &C) [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 {
|
GenericTaintChecker.cpp | 23 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 36 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const; 37 void checkPostStmt(const DeclRefExpr *DRE, CheckerContext &C) const; 39 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const; 54 bool checkPre(const CallExpr *CE, CheckerContext &C) const; 57 void addSourcesPre(const CallExpr *CE, CheckerContext &C) const; 60 bool propagateFromPre(const CallExpr *CE, CheckerContext &C) const; 63 void addSourcesPost(const CallExpr *CE, CheckerContext &C) const; 67 static bool isStdin(const Expr *E, CheckerContext &C); 71 static SymbolRef getPointedToSymbol(CheckerContext &C, const Expr *Arg) [all...] |
StreamChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 74 bool evalCall(const CallExpr *CE, CheckerContext &C) const; 75 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 78 void Fopen(CheckerContext &C, const CallExpr *CE) const; 79 void Tmpfile(CheckerContext &C, const CallExpr *CE) const; 80 void Fclose(CheckerContext &C, const CallExpr *CE) const; 81 void Fread(CheckerContext &C, const CallExpr *CE) const; 82 void Fwrite(CheckerContext &C, const CallExpr *CE) const; 83 void Fseek(CheckerContext &C, const CallExpr *CE) const; 84 void Ftell(CheckerContext &C, const CallExpr *CE) const [all...] |
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 {
|
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 {
|
UndefinedArraySubscriptChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 30 void checkPreStmt(const ArraySubscriptExpr *A, CheckerContext &C) const; 36 CheckerContext &C) const {
|
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 | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 32 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const; 33 void checkPostObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const; 39 CheckerContext &C) const { 103 CheckerContext &C) const {
|
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) :
|
DynamicTypePropagation.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 32 CheckerContext &C) const; 36 CheckerContext &C) const; 38 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 39 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 40 void checkPostStmt(const ImplicitCastExpr *CastE, CheckerContext &C) const; 45 CheckerContext &C) { 59 CheckerContext &C) const { 103 CheckerContext &C) const { 175 CheckerContext &C) const [all...] |
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 {
|
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 &C) const [all...] |
CStringChecker.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 60 bool evalCall(const CallExpr *CE, CheckerContext &C) const; 61 void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const; 63 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const; 73 typedef void (CStringChecker::*FnCheck)(CheckerContext &, 76 void evalMemcpy(CheckerContext &C, const CallExpr *CE) const; 77 void evalMempcpy(CheckerContext &C, const CallExpr *CE) const; 78 void evalMemmove(CheckerContext &C, const CallExpr *CE) const; 79 void evalBcopy(CheckerContext &C, const CallExpr *CE) const; 80 void evalCopyCommon(CheckerContext &C, const CallExpr *CE [all...] |
PthreadLockChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 36 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const; 38 void AcquireLock(CheckerContext &C, const CallExpr *CE, SVal lock, 41 void ReleaseLock(CheckerContext &C, const CallExpr *CE, SVal lock) const; 50 CheckerContext &C) const { 87 void PthreadLockChecker::AcquireLock(CheckerContext &C, const CallExpr *CE, 150 void PthreadLockChecker::ReleaseLock(CheckerContext &C, const CallExpr *CE,
|
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/ |
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/ |
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 {
|