HomeSort by relevance Sort by last modified time
    Searched refs:CheckerContext (Results 1 - 25 of 63) sorted by null

1 2 3

  /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) {

Completed in 785 milliseconds

1 2 3