| /external/clang/lib/StaticAnalyzer/Checkers/ |
| MallocChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
79 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
80 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
82 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
85 void checkLocation(SVal l, bool isLoad, CheckerContext &C) const;
86 void checkBind(SVal location, SVal val, CheckerContext &C) const;
89 static void MallocMem(CheckerContext &C, const CallExpr *CE);
90 static void MallocMemReturnsAttr(CheckerContext &C, const CallExpr *CE,
92 static const GRState *MallocMemAux(CheckerContext &C, const CallExpr *CE,
97 static const GRState *MallocMemAux(CheckerContext &C, const CallExpr *CE
[all...] |
| OSAtomicChecker.cpp | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
27 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
30 static bool evalOSAtomicCompareAndSwap(CheckerContext &C, const CallExpr *CE);
35 bool OSAtomicChecker::evalCall(const CallExpr *CE, CheckerContext &C) const {
59 bool OSAtomicChecker::evalOSAtomicCompareAndSwap(CheckerContext &C,
|
| CastSizeChecker.cpp | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
28 void checkPreStmt(const CastExpr *CE, CheckerContext &C) const;
32 void CastSizeChecker::checkPreStmt(const CastExpr *CE,CheckerContext &C) const {
|
| UndefCapturedBlockVarChecker.cpp | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
31 void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const;
54 CheckerContext &C) const {
|
| PthreadLockChecker.cpp | 18 #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;
58 CheckerContext &C) const {
98 void PthreadLockChecker::AcquireLock(CheckerContext &C, const CallExpr *CE,
164 void PthreadLockChecker::ReleaseLock(CheckerContext &C, const CallExpr *CE,
|
| BasicObjCFoundationChecks.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
74 void WarnNilArg(CheckerContext &C,
78 void checkPreObjCMessage(ObjCMessage msg, CheckerContext &C) const;
82 void NilArgChecker::WarnNilArg(CheckerContext &C,
102 CheckerContext &C) const {
148 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
250 CheckerContext &C) const {
354 void checkPreStmt(const CallExpr* CE, CheckerContext& C) const;
360 CheckerContext& C) const {
439 void checkPreObjCMessage(ObjCMessage msg, CheckerContext &C) const
[all...] |
| IteratorsChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
108 CheckerContext &C) const;
111 CheckerContext &C) const;
114 CheckerContext &C) const;
117 CheckerContext &C) const;
126 void checkExpr(CheckerContext &C, const Expr *E) const;
127 void checkArgs(CheckerContext &C, const CallExpr *CE) const;
339 void IteratorsChecker::checkArgs(CheckerContext &C, const CallExpr *CE) const {
384 void IteratorsChecker::checkExpr(CheckerContext &C, const Expr *E) const {
439 CheckerContext &C) const
[all...] |
| AttrNonNullChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
30 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
35 CheckerContext &C) const {
|
| VLASizeChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
33 void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const;
37 void VLASizeChecker::checkPreStmt(const DeclStmt *DS, CheckerContext &C) const {
|
| ArrayBoundCheckerV2.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
33 void reportOOB(CheckerContext &C, const GRState *errorState,
37 void checkLocation(SVal l, bool isLoad, CheckerContext &C) const;
82 CheckerContext &checkerContext) const {
93 const GRState *state = checkerContext.getState();
96 SValBuilder &svalBuilder = checkerContext.getSValBuilder();
125 reportOOB(checkerContext, state_precedesLowerBound, OOB_Precedes);
157 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Excedes);
167 checkerContext.generateNode(state)
[all...] |
| NSErrorChecker.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
156 void checkLocation(SVal loc, bool isLoad, CheckerContext &C) const;
188 static void setFlag(const GRState *state, SVal val, CheckerContext &C) {
194 static QualType parameterTypeFromSVal(SVal val, CheckerContext &C) {
210 CheckerContext &C) const {
|
| DereferenceChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
32 void checkLocation(SVal location, bool isLoad, CheckerContext &C) const;
69 CheckerContext &C) const {
|
| IdempotentOperationChecker.cpp | 51 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
72 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
73 void checkPostStmt(const BinaryOperator *B, CheckerContext &C) const;
113 CheckerContext &C) const {
330 CheckerContext &C) const {
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 1 //== CheckerContext.h - Context info for path-sensitive checkers--*- C++ -*--=//
10 // This file defines CheckerContext that provides contextual info for
25 class CheckerContext {
40 CheckerContext(ExplodedNodeSet &dst, StmtNodeBuilder &builder,
53 ~CheckerContext();
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| Checker.h | 87 static void _checkStmt(void *checker, const Stmt *S, CheckerContext &C) {
106 static void _checkStmt(void *checker, const Stmt *S, CheckerContext &C) {
125 CheckerContext &C) {
140 CheckerContext &C) {
155 CheckerContext &C) {
170 CheckerContext &C) {
246 SymbolReaper &SR, CheckerContext &C) {
318 static bool _evalCall(void *checker, const CallExpr *CE, CheckerContext &C) {
|
| CheckerManager.h | 33 class CheckerContext;
280 typedef CheckerFn<void (const Stmt *, CheckerContext &)> CheckStmtFunc;
282 typedef CheckerFn<void (const ObjCMessage &, CheckerContext &)>
285 typedef CheckerFn<void (const SVal &location, bool isLoad, CheckerContext &)>
289 CheckerContext &)> CheckBindFunc;
300 typedef CheckerFn<void (SymbolReaper &, CheckerContext &)>
317 typedef CheckerFn<bool (const CallExpr *, CheckerContext &)>
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| Android.mk | 19 CheckerContext.cpp \
|
| CheckerManager.cpp | 16 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
140 // FIXME: Remove respondsToCallback from CheckerContext;
141 CheckerContext C(Dst, Eng.getBuilder(), Eng, Pred, checkFn.Checker,
177 CheckerContext C(Dst, Eng.getBuilder(), Eng, Pred, checkFn.Checker,
217 CheckerContext C(Dst, Eng.getBuilder(), Eng, Pred, checkFn.Checker,
252 CheckerContext C(Dst, Eng.getBuilder(), Eng, Pred, checkFn.Checker,
319 CheckerContext C(Dst, Eng.getBuilder(), Eng, Pred, checkFn.Checker,
396 CheckerContext C(checkDst, Eng.getBuilder(), Eng, Pred, EI->Checker,
|
| CFRefCount.cpp | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
[all...] |
