Searched refs:CheckerContext (Results 1 - 25 of 55) sorted by relevance

123

/external/clang/lib/StaticAnalyzer/Checkers/
H A DCheckerDocumentation.cpp19 #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 DExprInspectionChecker.cpp13 #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 DTraversalChecker.cpp20 #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 DTaintTesterChecker.cpp17 #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 DUnixAPIChecker.cpp20 #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 DObjCSelfInitChecker.cpp45 #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 DMacOSXAPIChecker.cpp23 #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 DReturnUndefChecker.cpp21 #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 DGenericTaintChecker.cpp23 #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 DStreamChecker.cpp18 #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 DDynamicTypePropagation.cpp20 #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 DChrootChecker.cpp18 #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 DFixedAddressChecker.cpp20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
31 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
36 CheckerContext &C) const {
H A DNSAutoreleasePoolChecker.cpp26 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
39 void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const;
45 CheckerContext &C) const {
H A DUndefinedArraySubscriptChecker.cpp20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
31 void checkPreStmt(const ArraySubscriptExpr *A, CheckerContext &C) const;
37 CheckerContext &C) const {
H A DDivZeroChecker.cpp19 #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 DNoReturnFunctionChecker.cpp21 #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 DStackAddrEscapeChecker.cpp21 #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 DObjCContainersChecker.cpp24 #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 DTestAfterDivZeroChecker.cpp19 #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 DSimpleStreamChecker.cpp22 #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 DPthreadLockChecker.cpp19 #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 DBoolAssignmentChecker.cpp19 #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 DCheckerContext.cpp1 //== 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 DMainCallChecker.cpp4 #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 {

Completed in 1013 milliseconds

123