| /external/clang/lib/StaticAnalyzer/Core/ |
| ExprEngineCXX.cpp | 43 const LocationContext *LCtx = Pred->getLocationContext();
47 SVal V = state->getSVal(tempExpr, Pred->getLocationContext());
103 Pred->getLocationContext());
108 AMgr.getStackFrame(CD, Pred->getLocationContext(),
116 CallEnter Loc(E, SFC, Pred->getLocationContext());
138 const LocationContext *LC = Pred->getLocationContext();
161 getStackFrame(Pred->getLocationContext(), S,
166 CallEnter PP(S, SFC, Pred->getLocationContext());
178 const LocationContext *LCtx = Pred->getLocationContext();
190 state = state->BindExpr(CNE, Pred->getLocationContext(),
[all...] |
| ExprEngineObjC.cpp | 26 const LocationContext *LCtx = Pred->getLocationContext();
82 elementV = state->getLValue(elemD, Pred->getLocationContext());
85 elementV = state->getSVal(elem, Pred->getLocationContext());
97 const LocationContext *LCtx = Pred->getLocationContext();
152 SVal recVal = state->getSVal(Receiver, Pred->getLocationContext());
247 ReturnValue = state->getSVal(ReceiverE, Pred->getLocationContext());
258 const LocationContext *LCtx = Pred->getLocationContext();
263 const LocationContext *LCtx = Pred->getLocationContext();
|
| ExprEngineC.cpp | 38 const LocationContext *LCtx = (*it)->getLocationContext();
101 const LocationContext *LCtx = (*I)->getLocationContext();
166 Pred->getLocationContext());
171 Pred->getState()->BindExpr(BE, Pred->getLocationContext(),
191 const LocationContext *LCtx = subExprNode->getLocationContext();
232 const LocationContext *LCtx = Pred->getLocationContext();
268 const LocationContext *LCtx = Pred->getLocationContext();
279 const LocationContext *LCtx = Pred->getLocationContext();
289 const LocationContext *LCtx = Pred->getLocationContext();
345 const LocationContext *LCtx = Pred->getLocationContext();
[all...] |
| ExprEngineCallAndReturn.cpp | 42 const LocationContext *callerCtx = Pred->getLocationContext();
75 Pred->getLocationContext()->getCurrentStackFrame();
81 const LocationContext *LCtx = Pred->getLocationContext();
93 state = state->BindExpr(CCE, Pred->getLocationContext(), ThisV);
142 if (getNumberStackFrames(Pred->getLocationContext())
187 state->getSVal(Callee, Pred->getLocationContext()).getAsFunctionDecl();
202 Pred->getLocationContext()->getCurrentStackFrame();
208 CallEnter Loc(CE, CalleeSFC, Pred->getLocationContext());
429 SVal L = state->getSVal(Callee, Pred->getLocationContext());
444 const LocationContext *LCtx = Pred->getLocationContext();
[all...] |
| CoreEngine.cpp | 288 const LocationContext *LC = Pred->getLocationContext();
294 if (Blk == &(L.getLocationContext()->getCFG()->getExit())) {
296 assert (L.getLocationContext()->getCFG()->getExit().size() == 0
308 BlockEntrance BE(Blk, Pred->getLocationContext());
325 const LocationContext *LC = Pred->getLocationContext();
371 generateNode(BlockEdge(B, succ, Pred->getLocationContext()),
443 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()),
517 PostStmt Loc(St, N->getLocationContext());
537 = cast<StackFrameContext>(N->getLocationContext());
569 if (N->getLocationContext()->getParent())
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| BuiltinFunctionChecker.cpp | 36 const LocationContext *LCtx = C.getLocationContext();
58 RM.getAllocaRegion(CE, C.getCurrentBlockCount(), C.getLocationContext());
|
| FixedAddressChecker.cpp | 48 SVal RV = state->getSVal(B->getRHS(), C.getLocationContext());
|
| ObjCContainersChecker.cpp | 42 SVal ArrayRef = C.getState()->getSVal(E, C.getLocationContext());
73 SVal SizeV = State->getSVal(Size, C.getLocationContext());
79 SVal ArrayRef = State->getSVal(Array, C.getLocationContext());
134 SVal IdxVal = State->getSVal(IdxExpr, C.getLocationContext());
|
| ReturnUndefChecker.cpp | 41 if (!C.getState()->getSVal(RetE, C.getLocationContext()).isUndef())
|
| StreamChecker.cpp | 224 const LocationContext *LCtx = C.getPredecessor()->getLocationContext();
227 state = state->BindExpr(CE, C.getLocationContext(), RetVal);
255 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
262 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
270 C.getLocationContext()), state, C)))
273 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext());
296 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
303 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
310 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
317 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
[all...] |
| TaintTesterChecker.cpp | 50 if (State->isTainted(E, C.getLocationContext())) {
|
| UndefinedArraySubscriptChecker.cpp | 37 if (C.getState()->getSVal(A->getIdx(), C.getLocationContext()).isUndef()) {
|
| UndefBranchChecker.cpp | 63 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext());
97 FindUndefExpr FindIt(St, Ctx.getLocationContext());
|
| UndefCapturedBlockVarChecker.cpp | 62 C.getLocationContext()).getAsRegion());
77 const LocationContext *LC = C.getLocationContext();
|
| ObjCSelfInitChecker.cpp | 154 SVal exprVal = C.getState()->getSVal(E, C.getLocationContext());
204 SVal V = state->getSVal(msg.getMessageExpr(), C.getLocationContext());
209 CallOrObjCMessage MsgWrapper(msg, C.getState(), C.getLocationContext());
260 CallOrObjCMessage CEWrapper(CE, C.getState(), C.getLocationContext());
266 CallOrObjCMessage CEWrapper(CE, C.getState(), C.getLocationContext());
272 CallOrObjCMessage MsgWrapper(Msg, C.getState(), C.getLocationContext());
322 addSelfFlag(state, state->getSVal(CallExpr, C.getLocationContext()),
|
| AnalyzerStatsChecker.cpp | 50 const LocationContext *LC = GraphRoot->getLocation().getLocationContext();
60 if (D != P.getLocationContext()->getDecl())
|
| AdjustedReturnValueChecker.cpp | 41 const LocationContext *LCtx = C.getLocationContext();
|
| MacOSXAPIChecker.cpp | 61 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsRegion();
|
| ObjCAtSyncChecker.cpp | 43 SVal V = state->getSVal(Ex, C.getLocationContext());
|
| PointerArithChecker.cpp | 40 const LocationContext *LCtx = C.getLocationContext();
|
| PointerSubChecker.cpp | 43 const LocationContext *LCtx = C.getLocationContext();
|
| /external/clang/examples/analyzer-plugin/ |
| MainCallChecker.cpp | 20 const LocationContext *LC = C.getLocationContext();
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 42 const LocationContext *getLocationContext() const { return second; }
48 ID.AddPointer(E.getLocationContext());
|
| CheckerContext.h | 91 const LocationContext *getLocationContext() const {
92 return Pred->getLocationContext();
120 return Pred->getLocationContext()->getAnalysisDeclContext();
|
| ExplodedGraph.h | 132 const LocationContext *getLocationContext() const {
133 return getLocation().getLocationContext();
136 const Decl &getCodeDecl() const { return *getLocationContext()->getDecl(); }
138 CFG &getCFG() const { return *getLocationContext()->getCFG(); }
140 ParentMap &getParentMap() const {return getLocationContext()->getParentMap();}
144 return *getLocationContext()->getAnalysis<T>();
|
