| /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"
19 CheckerContext::~CheckerContext() {
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| MacOSXAPIChecker.cpp | 21 #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,
94 CheckerContext &C) const {
|
| UnixAPIChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
35 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
37 void CheckOpen(CheckerContext &C, const CallExpr *CE) const;
38 void CheckPthreadOnce(CheckerContext &C, const CallExpr *CE) const;
39 void CheckMallocZero(CheckerContext &C, const CallExpr *CE) const;
41 typedef void (UnixAPIChecker::*SubChecker)(CheckerContext &,
61 void UnixAPIChecker::CheckOpen(CheckerContext &C, const CallExpr *CE) const {
132 void UnixAPIChecker::CheckPthreadOnce(CheckerContext &C,
177 void UnixAPIChecker::CheckMallocZero(CheckerContext &C,
225 void UnixAPIChecker::checkPreStmt(const CallExpr *CE, CheckerContext &C) const
[all...] |
| StreamChecker.cpp | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
76 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
79 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
82 void Fopen(CheckerContext &C, const CallExpr *CE) const;
83 void Tmpfile(CheckerContext &C, const CallExpr *CE) const;
84 void Fclose(CheckerContext &C, const CallExpr *CE) const;
85 void Fread(CheckerContext &C, const CallExpr *CE) const;
86 void Fwrite(CheckerContext &C, const CallExpr *CE) const;
87 void Fseek(CheckerContext &C, const CallExpr *CE) const
[all...] |
| ObjCSelfInitChecker.cpp | 52 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
63 static bool isSelfVar(SVal location, CheckerContext &C);
74 void checkPostObjCMessage(ObjCMessage msg, CheckerContext &C) const;
75 void checkPostStmt(const ObjCIvarRefExpr *E, CheckerContext &C) const;
76 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
77 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
78 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
79 void checkLocation(SVal location, bool isLoad, CheckerContext &C) const;
138 static SelfFlagEnum getSelfFlags(SVal val, CheckerContext &C) {
143 SelfFlagEnum flag, CheckerContext &C)
[all...] |
| ChrootChecker.cpp | 17 #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 {
90 void ChrootChecker::Chroot(CheckerContext &C, const CallExpr *CE) const {
100 void ChrootChecker::Chdir(CheckerContext &C, const CallExpr *CE) const {
127 void ChrootChecker::checkPreStmt(const CallExpr *CE, CheckerContext &C) const {
|
| FixedAddressChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
31 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
36 CheckerContext &C) const {
|
| NSAutoreleasePoolChecker.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
37 void checkPreObjCMessage(ObjCMessage msg, CheckerContext &C) const;
43 CheckerContext &C) const {
|
| ReturnUndefChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
30 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
35 CheckerContext &C) const {
|
| UndefinedArraySubscriptChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
30 void checkPreStmt(const ArraySubscriptExpr *A, CheckerContext &C) const;
36 CheckerContext &C) const {
|
| CStringChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
41 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
42 void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const;
44 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
52 typedef void (CStringChecker::*FnCheck)(CheckerContext &,
55 void evalMemcpy(CheckerContext &C, const CallExpr *CE) const;
56 void evalMempcpy(CheckerContext &C, const CallExpr *CE) const;
57 void evalMemmove(CheckerContext &C, const CallExpr *CE) const;
58 void evalBcopy(CheckerContext &C, const CallExpr *CE) const;
59 void evalCopyCommon(CheckerContext &C, const CallExpr *CE
[all...] |
| AdjustedReturnValueChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
29 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
34 CheckerContext &C) const {
|
| ArrayBoundChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
30 void checkLocation(SVal l, bool isLoad, CheckerContext &C) const;
35 CheckerContext &C) const {
|
| BuiltinFunctionChecker.cpp | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
27 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
33 CheckerContext &C) const{
|
| CastToStructChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
30 void checkPreStmt(const CastExpr *CE, CheckerContext &C) const;
35 CheckerContext &C) const {
|
| DivZeroChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
28 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
33 CheckerContext &C) const {
|
| NoReturnFunctionChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
28 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
34 CheckerContext &C) const {
|
| ObjCAtSyncChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
33 void checkPreStmt(const ObjCAtSynchronizedStmt *S, CheckerContext &C) const;
38 CheckerContext &C) const {
|
| PointerArithChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
30 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
35 CheckerContext &C) const {
|
| PointerSubChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
31 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
36 CheckerContext &C) const {
|
| ReturnPointerRangeChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
30 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
35 CheckerContext &C) const {
|
| StackAddrEscapeChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
33 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
36 void EmitStackError(CheckerContext &C, const MemRegion *R,
86 void StackAddrEscapeChecker::EmitStackError(CheckerContext &C, const MemRegion *R,
111 CheckerContext &C) const {
|
| UndefResultChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
32 void checkPostStmt(const BinaryOperator *B, CheckerContext &C) const;
37 CheckerContext &C) const {
|
| UndefinedAssignmentChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
30 void checkBind(SVal location, SVal val, CheckerContext &C) const;
35 CheckerContext &C) const {
|
| CallAndMessageChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
37 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
38 void checkPreObjCMessage(ObjCMessage msg, CheckerContext &C) const;
41 static void PreVisitProcessArgs(CheckerContext &C,CallOrObjCMessage callOrMsg,
43 static bool PreVisitProcessArg(CheckerContext &C, SVal V,SourceRange argRange,
46 static void EmitBadCall(BugType *BT, CheckerContext &C, const CallExpr *CE);
47 void emitNilReceiverBug(CheckerContext &C, const ObjCMessage &msg,
50 void HandleNilReceiver(CheckerContext &C, const GRState *state,
60 void CallAndMessageChecker::EmitBadCall(BugType *BT, CheckerContext &C,
72 void CallAndMessageChecker::PreVisitProcessArgs(CheckerContext &C
[all...] |
