| /external/clang/lib/StaticAnalyzer/Checkers/ |
| TraversalChecker.cpp | 41 const ParentMap &Parents = C.getLocationContext()->getParentMap();
74 for (const LocationContext *LC = C.getLocationContext()->getParent();
91 for (const LocationContext *LC = C.getLocationContext()->getParent();
|
| BuiltinFunctionChecker.cpp | 36 const LocationContext *LCtx = C.getLocationContext();
61 RM.getAllocaRegion(CE, C.blockCount(), C.getLocationContext());
|
| ExprInspectionChecker.cpp | 59 const LocationContext *LC = N->getLocationContext();
88 const LocationContext *LC = N->getLocationContext();
105 const LocationContext *LC = N->getLocationContext();
|
| FixedAddressChecker.cpp | 48 SVal RV = state->getSVal(B->getRHS(), C.getLocationContext());
|
| ObjCContainersChecker.cpp | 41 SVal ArrayRef = C.getState()->getSVal(E, C.getLocationContext());
64 SVal SizeV = State->getSVal(Size, C.getLocationContext());
70 SVal ArrayRef = State->getSVal(Array, C.getLocationContext());
126 SVal IdxVal = State->getSVal(IdxExpr, C.getLocationContext());
|
| TaintTesterChecker.cpp | 50 if (State->isTainted(E, C.getLocationContext())) {
|
| UndefinedArraySubscriptChecker.cpp | 44 const Decl *D = C.getLocationContext()->getDecl();
|
| UndefBranchChecker.cpp | 63 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext());
97 FindUndefExpr FindIt(St, Ctx.getLocationContext());
|
| StreamChecker.cpp | 212 const LocationContext *LCtx = C.getPredecessor()->getLocationContext();
215 state = state->BindExpr(CE, C.getLocationContext(), RetVal);
243 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
250 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
258 C.getLocationContext()), state, C)))
261 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext());
284 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
291 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
298 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
305 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
[all...] |
| AnalyzerStatsChecker.cpp | 50 const LocationContext *LC = GraphRoot->getLocation().getLocationContext();
60 if (D != P.getLocationContext()->getDecl())
|
| DereferenceChecker.cpp | 129 State.getPtr(), N->getLocationContext());
137 State.getPtr(), N->getLocationContext(), true);
146 State.getPtr(), N->getLocationContext(), true);
155 State.getPtr(), N->getLocationContext(), true);
|
| MacOSXAPIChecker.cpp | 61 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsRegion();
|
| ObjCAtSyncChecker.cpp | 42 SVal V = state->getSVal(Ex, C.getLocationContext());
|
| PointerArithChecker.cpp | 40 const LocationContext *LCtx = C.getLocationContext();
|
| PointerSubChecker.cpp | 43 const LocationContext *LCtx = C.getLocationContext();
|
| ReturnPointerRangeChecker.cpp | 42 SVal V = state->getSVal(RetE, C.getLocationContext());
|
| UndefinedAssignmentChecker.cpp | 66 if (state->getSVal(B->getLHS(), C.getLocationContext()).isUndef()) {
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 138 const LocationContext *getLocationContext() const {
139 return Pred->getLocationContext();
147 bool inTopFrame() const { return getLocationContext()->inTopFrame(); }
174 return Pred->getLocationContext()->getAnalysisDeclContext();
191 return getState()->getSVal(S, getLocationContext());
|
| Environment.h | 40 const LocationContext *getLocationContext() const { return second; }
46 ID.AddPointer(E.getLocationContext());
|
| ExplodedGraph.h | 136 const LocationContext *getLocationContext() const {
137 return getLocation().getLocationContext();
141 return getLocationContext()->getCurrentStackFrame();
144 const Decl &getCodeDecl() const { return *getLocationContext()->getDecl(); }
146 CFG &getCFG() const { return *getLocationContext()->getCFG(); }
148 ParentMap &getParentMap() const {return getLocationContext()->getParentMap();}
152 return *getLocationContext()->getAnalysis<T>();
|
| /external/clang/examples/analyzer-plugin/ |
| MainCallChecker.cpp | 20 const LocationContext *LC = C.getLocationContext();
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| CoreEngine.cpp | 289 const LocationContext *LC = Pred->getLocationContext();
295 if (Blk == &(L.getLocationContext()->getCFG()->getExit())) {
297 assert (L.getLocationContext()->getCFG()->getExit().size() == 0
309 BlockEntrance BE(Blk, Pred->getLocationContext());
326 const LocationContext *LC = Pred->getLocationContext();
377 generateNode(BlockEdge(B, succ, Pred->getLocationContext()),
449 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()),
537 PostStmt Loc(CS.getStmt(), N->getLocationContext());
557 = cast<StackFrameContext>(N->getLocationContext());
588 if (N->getLocationContext()->getParent())
[all...] |
| ExprEngineC.cpp | 39 const LocationContext *LCtx = (*it)->getLocationContext();
124 const LocationContext *LCtx = (*I)->getLocationContext();
187 Pred->getLocationContext());
212 State->BindExpr(BE, Pred->getLocationContext(), V),
230 const LocationContext *LCtx = subExprNode->getLocationContext();
249 const LocationContext *LCtx = Pred->getLocationContext();
276 const LocationContext *LCtx = Pred->getLocationContext();
407 const LocationContext *LCtx = Pred->getLocationContext();
454 const LocationContext *LC = N->getLocationContext();
546 SVal RHSVal = N->getState()->getSVal(RHS, Pred->getLocationContext());
[all...] |
| ExprEngineObjC.cpp | 26 const LocationContext *LCtx = Pred->getLocationContext();
81 elementV = state->getLValue(elemD, Pred->getLocationContext());
84 elementV = state->getSVal(elem, Pred->getLocationContext());
97 const LocationContext *LCtx = Pred->getLocationContext();
140 CEMgr.getObjCMethodCall(ME, Pred->getState(), Pred->getLocationContext());
|
| ExprEngine.cpp | 278 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext());
419 if (shouldRemoveDeadBindings(AMgr, S, Pred, Pred->getLocationContext())){
420 removeDead(Pred, CleanedStates, currStmt, Pred->getLocationContext());
448 cast<StackFrameContext>(Pred->getLocationContext());
553 SVal dest = state->getLValue(varDecl, Pred->getLocationContext());
567 const LocationContext *LCtx = Pred->getLocationContext();
589 const LocationContext *LCtx = Pred->getLocationContext();
680 state = state->BindExpr(S, Pred->getLocationContext(),
772 const LocationContext *LCtx = Pred->getLocationContext();
808 const LocationContext *LCtx = N->getLocationContext();
[all...] |
