Home
last modified time | relevance | path

Searched refs:getLocationContext (Results 1 – 25 of 63) sorted by relevance

123

/external/clang/lib/StaticAnalyzer/Checkers/
DStreamChecker.cpp212 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); in OpenFileAux()
215 state = state->BindExpr(CE, C.getLocationContext(), RetVal); in OpenFileAux()
243 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()), in Fread()
250 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()), in Fwrite()
258 C.getLocationContext()), state, C))) in Fseek()
261 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext()); in Fseek()
284 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Ftell()
291 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Rewind()
298 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Fgetpos()
305 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Fsetpos()
[all …]
DObjCContainersChecker.cpp41 SVal ArrayRef = C.getState()->getSVal(E, C.getLocationContext()); in getArraySym()
64 SVal SizeV = State->getSVal(Size, C.getLocationContext()); in REGISTER_MAP_WITH_PROGRAMSTATE()
70 SVal ArrayRef = State->getSVal(Array, C.getLocationContext()); in REGISTER_MAP_WITH_PROGRAMSTATE()
126 SVal IdxVal = State->getSVal(IdxExpr, C.getLocationContext()); in checkPreStmt()
DExprInspectionChecker.cpp57 const LocationContext *LC = N->getLocationContext(); in getArgumentValueString()
86 const LocationContext *LC = N->getLocationContext(); in analyzerEval()
103 const LocationContext *LC = N->getLocationContext(); in analyzerCheckInlined()
DMacOSKeychainAPIChecker.cpp218 SVal ArgV = State->getSVal(Expr, C.getLocationContext()); in getAsPointeeSymbol()
329 SVal ArgSVal = State->getSVal(ArgExpr, C.getLocationContext()); in checkPreStmt()
460 C.getLocationContext()->getParent() == 0) in checkPostStmt()
477 State->getSVal(CE, C.getLocationContext()).getAsSymbol(); in checkPostStmt()
493 const LocationContext *LeakContext = N->getLocationContext(); in getAllocationNode()
503 if (N->getLocationContext() == LeakContext) in getAllocationNode()
537 AllocNode->getLocationContext()); in generateAllocatedDataNotReleasedReport()
540 AllocNode->getLocationContext()->getDecl()); in generateAllocatedDataNotReleasedReport()
616 N->getLocationContext()); in VisitNode()
DTraversalChecker.cpp41 const ParentMap &Parents = C.getLocationContext()->getParentMap(); in checkBranchCondition()
72 for (const LocationContext *LC = C.getLocationContext()->getParent(); in checkPreCall()
DBuiltinFunctionChecker.cpp36 const LocationContext *LCtx = C.getLocationContext(); in evalCall()
58 RM.getAllocaRegion(CE, C.blockCount(), C.getLocationContext()); in evalCall()
DDereferenceChecker.cpp129 State.getPtr(), N->getLocationContext()); in reportBug()
137 State.getPtr(), N->getLocationContext(), true); in reportBug()
146 State.getPtr(), N->getLocationContext(), true); in reportBug()
155 State.getPtr(), N->getLocationContext(), true); in reportBug()
DGenericTaintChecker.cpp162 return (State->isTainted(E, C.getLocationContext()) || isStdin(E, C) || in isTaintedOrPointsToTainted()
345 State = State->addTaint(CE, C.getLocationContext()); in propagateFromPre()
430 SVal AddrVal = State->getSVal(Arg->IgnoreParens(), C.getLocationContext()); in getPointedToSymbol()
522 if (State->isTainted(CE->getArg(0), C.getLocationContext()) || in preFscanf()
547 State = State->addTaint(CE, C.getLocationContext()); in postSocket()
571 return C.getState()->addTaint(CE, C.getLocationContext()); in postRetTaint()
576 SVal Val = State->getSVal(E, C.getLocationContext()); in isStdin()
643 !State->isTainted(E, C.getLocationContext())) in generateReportIfTainted()
DUndefBranchChecker.cpp63 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext()); in checkBranchCondition()
97 FindUndefExpr FindIt(St, Ctx.getLocationContext()); in checkBranchCondition()
DUnixAPIChecker.cpp104 const SVal V = state->getSVal(oflagsEx, C.getLocationContext()); in CheckOpen()
162 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsRegion(); in CheckPthreadOnce()
249 SVal argVal = state->getSVal(arg, C.getLocationContext()); in BasicAllocationCheck()
277 SVal argVal = state->getSVal(arg, C.getLocationContext()); in CheckCallocZero()
DAnalyzerStatsChecker.cpp50 const LocationContext *LC = GraphRoot->getLocation().getLocationContext(); in checkEndAnalysis()
60 if (D != P.getLocationContext()->getDecl()) in checkEndAnalysis()
DMallocChecker.cpp185 state->getSVal(SizeEx, C.getLocationContext()), in MallocMemAux()
578 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); in MallocMemAux()
581 state = state->BindExpr(CE, C.getLocationContext(), RetVal); in MallocMemAux()
613 SVal retVal = state->getSVal(CE, C.getLocationContext()); in MallocUpdateRefState()
684 SVal ArgVal = State->getSVal(ArgExpr, C.getLocationContext()); in FreeMemAux()
999 const LocationContext *LCtx = C.getLocationContext(); in ReallocMem()
1099 const LocationContext *LCtx = C.getLocationContext(); in CallocMem()
1112 const LocationContext *LeakContext = N->getLocationContext(); in getAllocationSite()
1135 if (N->getLocationContext() == LeakContext) in getAllocationSite()
1173 AllocNode->getLocationContext()); in reportLeak()
[all …]
/external/clang/lib/StaticAnalyzer/Core/
DCoreEngine.cpp289 const LocationContext *LC = Pred->getLocationContext(); in HandleBlockEdge()
295 if (Blk == &(L.getLocationContext()->getCFG()->getExit())) { in HandleBlockEdge()
297 assert (L.getLocationContext()->getCFG()->getExit().size() == 0 in HandleBlockEdge()
309 BlockEntrance BE(Blk, Pred->getLocationContext()); in HandleBlockEdge()
326 const LocationContext *LC = Pred->getLocationContext(); in HandleBlockEntrance()
372 generateNode(BlockEdge(B, succ, Pred->getLocationContext()), in HandleBlockExit()
444 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()), in HandleBlockExit()
519 PostStmt Loc(CS.getStmt(), N->getLocationContext()); in enqueueStmtNode()
539 = cast<StackFrameContext>(N->getLocationContext()); in generateCallExitBeginNode()
570 if (N->getLocationContext()->getParent()) { in enqueueEndOfFunction()
[all …]
DExprEngineC.cpp39 const LocationContext *LCtx = (*it)->getLocationContext(); in VisitBinaryOperator()
122 const LocationContext *LCtx = (*I)->getLocationContext(); in VisitBinaryOperator()
185 Pred->getLocationContext()); in VisitBlockExpr()
210 State->BindExpr(BE, Pred->getLocationContext(), V), in VisitBlockExpr()
228 const LocationContext *LCtx = subExprNode->getLocationContext(); in VisitCast()
247 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast()
274 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast()
408 SVal ILV = state->getSVal(ILE, Pred->getLocationContext()); in VisitCompoundLiteralExpr()
409 const LocationContext *LC = Pred->getLocationContext(); in VisitCompoundLiteralExpr()
460 const LocationContext *LC = N->getLocationContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
[all …]
DExprEngineObjC.cpp26 const LocationContext *LCtx = Pred->getLocationContext(); in VisitLvalObjCIvarRefExpr()
81 elementV = state->getLValue(elemD, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
84 elementV = state->getSVal(elem, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
97 const LocationContext *LCtx = Pred->getLocationContext(); in VisitObjCForCollectionStmt()
140 CEMgr.getObjCMethodCall(ME, Pred->getState(), Pred->getLocationContext()); in VisitObjCMessage()
DExprEngine.cpp390 if (shouldRemoveDeadBindings(AMgr, S, Pred, Pred->getLocationContext())){ in ProcessStmt()
391 removeDead(Pred, CleanedStates, currStmt, Pred->getLocationContext()); in ProcessStmt()
419 cast<StackFrameContext>(Pred->getLocationContext()); in ProcessInitializer()
499 Loc dest = state->getLValue(varDecl, Pred->getLocationContext()); in ProcessAutomaticObjDtor()
507 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessBaseDtor()
529 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessMemberDtor()
619 state = state->BindExpr(S, Pred->getLocationContext(), in Visit()
689 const LocationContext *LCtx = Pred->getLocationContext(); in Visit()
737 const LocationContext *LCtx = N->getLocationContext(); in Visit()
784 state->BindExpr(B, Pred->getLocationContext(), in Visit()
[all …]
DBugReporterVisitors.cpp198 SVal RetVal = State->getSVal(S, Node->getLocationContext()); in addVisitorIfNecessary()
230 if (N->getLocationContext() != StackFrame) in visitNodeInitial()
517 SVal V = State->getSVal(S, PS->getLocationContext()); in VisitNode()
632 P.getLocationContext()); in VisitNode()
749 const LocationContext *CurLC =Succ->getLocationContext(); in VisitNode()
750 const LocationContext *ReportLC = BR.getErrorNode()->getLocationContext(); in VisitNode()
765 return MRMgr.getVarRegion(VD, N->getLocationContext()); in getLocationRegionIfReference()
794 SVal CondVal = State->getSVal(CO->getCond(), N->getLocationContext()); in trackNullOrUndefValue()
853 SVal LVal = LVState->getSVal(Inner, LVNode->getLocationContext()); in trackNullOrUndefValue()
863 R = LVState->getSVal(Inner, LVNode->getLocationContext()).getAsRegion(); in trackNullOrUndefValue()
[all …]
DExprEngineCXX.cpp31 const LocationContext *LCtx = Pred->getLocationContext(); in CreateCXXTemporaryObject()
70 const LocationContext *LCtx = Pred->getLocationContext(); in performTrivialCopy()
102 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXConstructExpr()
231 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXDestructor()
280 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXNewExpr()
314 State = State->BindExpr(CNE, Pred->getLocationContext(), in VisitCXXNewExpr()
366 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXCatchStmt()
381 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXThisExpr()
DExprEngineCallAndReturn.cpp72 Node->getLocation().getLocationContext()->getCurrentStackFrame(); in getLastStmt()
79 if (PP.getLocationContext()->getCurrentStackFrame() == SF) { in getLastStmt()
174 const LocationContext *LCtx = Pred->getLocationContext(); in removeDeadOnEndOfFunction()
219 CEBNode->getLocationContext()->getCurrentStackFrame(); in processCallExit()
243 const LocationContext *LCtx = CEBNode->getLocationContext(); in processCallExit()
418 const LocationContext *CurLC = Pred->getLocationContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
489 = CEMgr.getSimpleCall(CE, Pred->getState(), Pred->getLocationContext()); in VisitCallExpr()
575 State = bindReturnValue(Call, Pred->getLocationContext(), State); in conservativeEvalCall()
584 const LocationContext *CurLC = Pred->getLocationContext(); in shouldInlineCallKind()
702 examineStackFrames(D, Pred->getLocationContext(), IsRecursive, StackDepth); in shouldInlineCall()
DEnvironment.cpp71 const LocationContext *LCtx = Entry.getLocationContext(); in getSVal()
196 if (SymReaper.isLive(BlkExpr.getStmt(), BlkExpr.getLocationContext())) { in removeDeadBindings()
236 Out << " (" << (const void*) En.getLocationContext() << ',' in print()
DPathDiagnostic.cpp590 return PathDiagnosticLocation::createEnd(S, SMng, P.getLocationContext()); in create()
595 CE->getLocationContext(), in create()
599 CEE->getLocationContext(), in create()
605 return PathDiagnosticLocation(S, SMng, P.getLocationContext()); in create()
622 NI->getLocationContext()); in createEndOfPath()
632 const LocationContext *LC = NI->getLocationContext(); in createEndOfPath()
638 return createDeclEnd(N->getLocationContext(), SM); in createEndOfPath()
755 const Decl *caller = CE.getLocationContext()->getDecl(); in construct()
757 CE.getLocationContext(), in construct()
777 callEnter = getLocationForCaller(CalleeCtx, CE.getLocationContext(), SM); in setCallee()
[all …]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCheckerContext.h142 const LocationContext *getLocationContext() const { in getLocationContext() function
143 return Pred->getLocationContext(); in getLocationContext()
151 bool inTopFrame() const { return getLocationContext()->inTopFrame(); } in inTopFrame()
178 return Pred->getLocationContext()->getAnalysisDeclContext(); in getCurrentAnalysisDeclContext()
195 return getState()->getSVal(S, getLocationContext()); in getSVal()
DExplodedGraph.h136 const LocationContext *getLocationContext() const { in getLocationContext() function
137 return getLocation().getLocationContext(); in getLocationContext()
141 return getLocationContext()->getCurrentStackFrame(); in getStackFrame()
144 const Decl &getCodeDecl() const { return *getLocationContext()->getDecl(); } in getCodeDecl()
146 CFG &getCFG() const { return *getLocationContext()->getCFG(); } in getCFG()
148 ParentMap &getParentMap() const {return getLocationContext()->getParentMap();} in getParentMap()
152 return *getLocationContext()->getAnalysis<T>(); in getAnalysis()
DCoreEngine.h185 : Eng(E), Block(B), LC(N->getLocationContext()) { assert(B); } in NodeBuilderContext()
380 Pred->getLocationContext(), tag);
390 Pred->getLocationContext(), tag);
485 const LocationContext *getLocationContext() const { in getLocationContext() function
486 return Pred->getLocationContext(); in getLocationContext()
538 const LocationContext *getLocationContext() const { in getLocationContext() function
539 return Pred->getLocationContext(); in getLocationContext()
DEnvironment.h40 const LocationContext *getLocationContext() const { return second; } in getLocationContext() function
46 ID.AddPointer(E.getLocationContext()); in Profile()

123