| /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();
|
| ExprInspectionChecker.cpp | 61 const LocationContext *LC = N->getLocationContext();
90 const LocationContext *LC = N->getLocationContext();
118 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();
|
| BuiltinFunctionChecker.cpp | 36 const LocationContext *LCtx = C.getLocationContext();
59 RM.getAllocaRegion(CE, C.blockCount(), C.getLocationContext());
|
| UndefBranchChecker.cpp | 63 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext());
97 FindUndefExpr FindIt(St, Ctx.getLocationContext());
|
| StreamChecker.cpp | 214 const LocationContext *LCtx = C.getPredecessor()->getLocationContext();
218 state = state->BindExpr(CE, C.getLocationContext(), RetVal);
246 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
253 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
261 C.getLocationContext()), state, C)))
264 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext());
288 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
295 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
302 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
309 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.get(), N->getLocationContext());
137 State.get(), N->getLocationContext(), true);
146 State.get(), N->getLocationContext(), true);
155 State.get(), 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 | 43 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();
196 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()),
542 PostStmt Loc(CS.getStmt(), N->getLocationContext());
562 = cast<StackFrameContext>(N->getLocationContext());
593 if (N->getLocationContext()->getParent())
[all...] |
| ExprEngineC.cpp | 39 const LocationContext *LCtx = (*it)->getLocationContext();
131 const LocationContext *LCtx = (*I)->getLocationContext();
194 Pred->getLocationContext(),
220 State->BindExpr(BE, Pred->getLocationContext(), V),
238 const LocationContext *LCtx = subExprNode->getLocationContext();
257 const LocationContext *LCtx = Pred->getLocationContext();
284 const LocationContext *LCtx = Pred->getLocationContext();
416 const LocationContext *LCtx = Pred->getLocationContext();
464 const LocationContext *LC = N->getLocationContext();
558 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 | 280 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext());
426 if (shouldRemoveDeadBindings(AMgr, S, Pred, Pred->getLocationContext())){
427 removeDead(Pred, CleanedStates, currStmt, Pred->getLocationContext());
455 cast<StackFrameContext>(Pred->getLocationContext());
568 const LocationContext *LCtx = Pred->getLocationContext();
582 SVal dest = state->getLValue(varDecl, Pred->getLocationContext());
598 const LocationContext *LCtx = Pred->getLocationContext();
625 const LocationContext *LCtx = Pred->getLocationContext();
646 const LocationContext *LCtx = Pred->getLocationContext();
751 state = state->BindExpr(S, Pred->getLocationContext(),
[all...] |
