/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | 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();
|
H A D | ExprInspectionChecker.cpp | 61 const LocationContext *LC = N->getLocationContext(); 90 const LocationContext *LC = N->getLocationContext(); 118 const LocationContext *LC = N->getLocationContext();
|
H A D | FixedAddressChecker.cpp | 48 SVal RV = state->getSVal(B->getRHS(), C.getLocationContext());
|
H A D | 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());
|
H A D | TaintTesterChecker.cpp | 50 if (State->isTainted(E, C.getLocationContext())) {
|
H A D | UndefinedArraySubscriptChecker.cpp | 44 const Decl *D = C.getLocationContext()->getDecl();
|
H A D | BuiltinFunctionChecker.cpp | 36 const LocationContext *LCtx = C.getLocationContext(); 59 RM.getAllocaRegion(CE, C.blockCount(), C.getLocationContext());
|
H A D | UndefBranchChecker.cpp | 63 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext()); 97 FindUndefExpr FindIt(St, Ctx.getLocationContext());
|
H A D | 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...] |
H A D | AnalyzerStatsChecker.cpp | 50 const LocationContext *LC = GraphRoot->getLocation().getLocationContext(); 60 if (D != P.getLocationContext()->getDecl())
|
H A D | 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);
|
H A D | MacOSXAPIChecker.cpp | 61 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsRegion();
|
H A D | ObjCAtSyncChecker.cpp | 42 SVal V = state->getSVal(Ex, C.getLocationContext());
|
H A D | PointerArithChecker.cpp | 40 const LocationContext *LCtx = C.getLocationContext();
|
H A D | PointerSubChecker.cpp | 43 const LocationContext *LCtx = C.getLocationContext();
|
H A D | ReturnPointerRangeChecker.cpp | 43 SVal V = state->getSVal(RetE, C.getLocationContext());
|
H A D | UndefinedAssignmentChecker.cpp | 66 if (state->getSVal(B->getLHS(), C.getLocationContext()).isUndef()) {
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | CheckerContext.h | 138 const LocationContext *getLocationContext() const { function in class:clang::ento::CheckerContext 139 return Pred->getLocationContext(); 147 bool inTopFrame() const { return getLocationContext()->inTopFrame(); } 174 return Pred->getLocationContext()->getAnalysisDeclContext(); 196 return getState()->getSVal(S, getLocationContext());
|
H A D | Environment.h | 40 const LocationContext *getLocationContext() const { return second; } function in class:clang::ento::EnvironmentEntry 46 ID.AddPointer(E.getLocationContext());
|
H A D | ExplodedGraph.h | 136 const LocationContext *getLocationContext() const { function in class:clang::ento::ExplodedNode 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/ |
H A D | MainCallChecker.cpp | 20 const LocationContext *LC = C.getLocationContext();
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | 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() [all...] |
H A D | 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...] |
H A D | 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());
|
H A D | 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...] |