Home
last modified time | relevance | path

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

123

/external/clang/lib/StaticAnalyzer/Checkers/
DStreamChecker.cpp214 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); in OpenFileAux()
218 state = state->BindExpr(CE, C.getLocationContext(), RetVal); in OpenFileAux()
246 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()), in Fread()
253 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()), in Fwrite()
261 C.getLocationContext()), state, C))) in Fseek()
264 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext()); in Fseek()
287 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Ftell()
294 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Rewind()
301 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Fgetpos()
308 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Fsetpos()
[all …]
DPointerArithChecker.cpp159 State->getSVal(E, C.getLocationContext()).getAsRegion(); in reportPointerArithMisuse()
231 SVal SV = State->getSVal(CE, C.getLocationContext()); in checkPostStmt()
252 SVal AllocedVal = State->getSVal(NE, C.getLocationContext()); in checkPostStmt()
267 SVal CastedVal = State->getSVal(CastedExpr, C.getLocationContext()); in checkPostStmt()
285 SVal CastedVal = State->getSVal(CastedExpr, C.getLocationContext()); in checkPreStmt()
309 SVal Idx = State->getSVal(SubsExpr->getIdx(), C.getLocationContext()); in checkPreStmt()
328 SVal RHSVal = State->getSVal(Rhs, C.getLocationContext()); in checkPreStmt()
335 SVal LHSVal = State->getSVal(Lhs, C.getLocationContext()); in checkPreStmt()
DObjCContainersChecker.cpp42 SVal ArrayRef = C.getState()->getSVal(E, C.getLocationContext()); in getArraySym()
69 SVal SizeV = State->getSVal(Size, C.getLocationContext()); in REGISTER_MAP_WITH_PROGRAMSTATE()
75 SVal ArrayRef = State->getSVal(Array, C.getLocationContext()); in REGISTER_MAP_WITH_PROGRAMSTATE()
131 SVal IdxVal = State->getSVal(IdxExpr, C.getLocationContext()); in checkPreStmt()
DTraversalChecker.cpp43 const ParentMap &Parents = C.getLocationContext()->getParentMap(); in checkBranchCondition()
80 for (const LocationContext *LC = C.getLocationContext()->getParent(); in checkPreCall()
97 for (const LocationContext *LC = C.getLocationContext()->getParent(); in checkPostCall()
DMacOSKeychainAPIChecker.cpp213 SVal ArgV = State->getSVal(Expr, C.getLocationContext()); in getAsPointeeSymbol()
328 SVal ArgSVal = State->getSVal(ArgExpr, C.getLocationContext()); in checkPreStmt()
459 C.getLocationContext()->getParent() == nullptr) in checkPostStmt()
476 State->getSVal(CE, C.getLocationContext()).getAsSymbol(); in checkPostStmt()
492 const LocationContext *LeakContext = N->getLocationContext(); in getAllocationNode()
502 const LocationContext *NContext = N->getLocationContext(); in getAllocationNode()
537 AllocNode->getLocationContext()); in generateAllocatedDataNotReleasedReport()
541 AllocNode->getLocationContext()->getDecl()); in generateAllocatedDataNotReleasedReport()
617 N->getLocationContext()); in VisitNode()
DDereferenceChecker.cpp136 State.get(), N->getLocationContext()); in reportBug()
144 State.get(), N->getLocationContext()); in reportBug()
152 State.get(), N->getLocationContext(), true); in reportBug()
161 State.get(), N->getLocationContext(), true); in reportBug()
170 State.get(), N->getLocationContext(), true); in reportBug()
DExprInspectionChecker.cpp75 const LocationContext *LC = N->getLocationContext(); in getArgumentValueString()
115 const LocationContext *LC = C.getPredecessor()->getLocationContext(); in analyzerEval()
132 const LocationContext *LC = C.getPredecessor()->getLocationContext(); in analyzerCheckInlined()
165 State = State->BindExpr(CE, C.getLocationContext(), in analyzerGetExtent()
DGenericTaintChecker.cpp161 return (State->isTainted(E, C.getLocationContext()) || isStdin(E, C) || in isTaintedOrPointsToTainted()
344 State = State->addTaint(CE, C.getLocationContext()); in propagateFromPre()
429 SVal AddrVal = State->getSVal(Arg->IgnoreParens(), C.getLocationContext()); in getPointedToSymbol()
521 if (State->isTainted(CE->getArg(0), C.getLocationContext()) || in preFscanf()
546 State = State->addTaint(CE, C.getLocationContext()); in postSocket()
570 return C.getState()->addTaint(CE, C.getLocationContext()); in postRetTaint()
575 SVal Val = State->getSVal(E, C.getLocationContext()); in isStdin()
639 !State->isTainted(E, C.getLocationContext())) in generateReportIfTainted()
DUndefBranchChecker.cpp62 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext()); in checkBranchCondition()
96 FindUndefExpr FindIt(St, Ctx.getLocationContext()); in checkBranchCondition()
DBuiltinFunctionChecker.cpp36 const LocationContext *LCtx = C.getLocationContext(); in evalCall()
62 RM.getAllocaRegion(CE, C.blockCount(), C.getLocationContext()); in evalCall()
DUnixAPIChecker.cpp131 const SVal V = state->getSVal(oflagsEx, C.getLocationContext()); in CheckOpen()
181 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsRegion(); in CheckPthreadOnce()
268 SVal argVal = state->getSVal(arg, C.getLocationContext()); in BasicAllocationCheck()
296 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()
/external/clang/lib/StaticAnalyzer/Core/
DCoreEngine.cpp302 const LocationContext *LC = Pred->getLocationContext(); in HandleBlockEdge()
308 if (Blk == &(L.getLocationContext()->getCFG()->getExit())) { in HandleBlockEdge()
310 assert (L.getLocationContext()->getCFG()->getExit().size() == 0 in HandleBlockEdge()
322 BlockEntrance BE(Blk, Pred->getLocationContext()); in HandleBlockEdge()
339 const LocationContext *LC = Pred->getLocationContext(); in HandleBlockEntrance()
395 generateNode(BlockEdge(B, succ, Pred->getLocationContext()), in HandleBlockExit()
467 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()), in HandleBlockExit()
576 PostStmt Loc(CS.getStmt(), N->getLocationContext()); in enqueueStmtNode()
596 = cast<StackFrameContext>(N->getLocationContext()); in generateCallExitBeginNode()
627 if (N->getLocationContext()->getParent()) { in enqueueEndOfFunction()
[all …]
DExprEngineC.cpp39 const LocationContext *LCtx = (*it)->getLocationContext(); in VisitBinaryOperator()
131 const LocationContext *LCtx = (*I)->getLocationContext(); in VisitBinaryOperator()
195 Pred->getLocationContext(), in VisitBlockExpr()
230 originalV = State->getSVal(copyExpr, Pred->getLocationContext()); in VisitBlockExpr()
242 State->BindExpr(BE, Pred->getLocationContext(), V), in VisitBlockExpr()
260 const LocationContext *LCtx = subExprNode->getLocationContext(); in VisitCast()
279 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast()
306 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast()
449 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCompoundLiteralExpr()
497 const LocationContext *LC = N->getLocationContext(); in VisitDeclStmt()
[all …]
DExprEngine.cpp291 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext()); in processCFGElement()
437 if (shouldRemoveDeadBindings(AMgr, S, Pred, Pred->getLocationContext())){ in ProcessStmt()
438 removeDead(Pred, CleanedStates, currStmt, Pred->getLocationContext()); in ProcessStmt()
466 cast<StackFrameContext>(Pred->getLocationContext()); in ProcessInitializer()
583 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessNewAllocator()
597 SVal dest = state->getLValue(varDecl, Pred->getLocationContext()); in ProcessAutomaticObjDtor()
613 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessDeleteDtor()
640 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessBaseDtor()
661 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessMemberDtor()
859 state = state->BindExpr(S, Pred->getLocationContext(), in Visit()
[all …]
DExprEngineCXX.cpp31 const LocationContext *LCtx = Pred->getLocationContext(); in CreateCXXTemporaryObject()
56 const LocationContext *LCtx = Pred->getLocationContext(); in performTrivialCopy()
109 const LocationContext *LCtx = Pred->getLocationContext(); in getRegionForConstructedObject()
236 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXConstructExpr()
361 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXDestructor()
404 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXNewAllocatorCall()
434 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXNewExpr()
495 State = State->BindExpr(CNE, Pred->getLocationContext(), in VisitCXXNewExpr()
547 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXCatchStmt()
562 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXThisExpr()
[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()
DBugReporterVisitors.cpp203 SVal RetVal = State->getSVal(S, Node->getLocationContext()); in addVisitorIfNecessary()
236 if (N->getLocationContext() != StackFrame) in visitNodeInitial()
446 const LocationContext *LCtx = N->getLocationContext(); in isInitializationOfVar()
566 SVal V = State->getSVal(S, PS->getLocationContext()); in VisitNode()
700 P.getLocationContext()); in VisitNode()
833 const LocationContext *CurLC =Succ->getLocationContext(); in VisitNode()
834 const LocationContext *ReportLC = BR.getErrorNode()->getLocationContext(); in VisitNode()
894 return MRMgr.getVarRegion(VD, N->getLocationContext()); in getLocationRegionIfReference()
1019 SVal LVal = LVState->getSVal(Inner, LVNode->getLocationContext()); in trackNullOrUndefValue()
1029 R = LVState->getSVal(Inner, LVNode->getLocationContext()).getAsRegion(); in trackNullOrUndefValue()
[all …]
DExprEngineCallAndReturn.cpp78 Node->getLocation().getLocationContext()->getCurrentStackFrame(); in getLastStmt()
85 if (PP.getLocationContext()->getCurrentStackFrame() == SF) { in getLastStmt()
180 const LocationContext *LCtx = Pred->getLocationContext(); in removeDeadOnEndOfFunction()
223 PrettyStackTraceLocationContext CrashInfo(CEBNode->getLocationContext()); in processCallExit()
225 CEBNode->getLocationContext()->getCurrentStackFrame(); in processCallExit()
249 const LocationContext *LCtx = CEBNode->getLocationContext(); in processCallExit()
409 const LocationContext *CurLC = Pred->getLocationContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
480 = CEMgr.getSimpleCall(CE, Pred->getState(), Pred->getLocationContext()); in VisitCallExpr()
566 State = bindReturnValue(Call, Pred->getLocationContext(), State); in conservativeEvalCall()
581 const LocationContext *CurLC = Pred->getLocationContext(); in mayInlineCallKind()
[all …]
DEnvironment.cpp72 const LocationContext *LCtx = Entry.getLocationContext(); in getSVal()
170 if (SymReaper.isLive(BlkExpr.getStmt(), BlkExpr.getLocationContext())) { in removeDeadBindings()
207 Out << " (" << (const void*) En.getLocationContext() << ',' in print()
DPathDiagnostic.cpp668 return PathDiagnosticLocation::createEnd(S, SMng, P.getLocationContext()); in create()
676 CE->getLocationContext(), in create()
680 CEE->getLocationContext(), in create()
686 return PathDiagnosticLocation(S, SMng, P.getLocationContext()); in create()
747 const LocationContext *LC = N->getLocationContext(); in createEndOfPath()
765 return createDeclEnd(N->getLocationContext(), SM); in createEndOfPath()
882 const Decl *caller = CE.getLocationContext()->getDecl(); in construct()
884 CE.getLocationContext(), in construct()
904 callEnter = getLocationForCaller(CalleeCtx, CE.getLocationContext(), SM); in setCallee()
1133 const LocationContext *LCtx = N->getLocationContext(); in getMessage()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCheckerContext.h138 const LocationContext *getLocationContext() const { in getLocationContext() function
139 return Pred->getLocationContext(); in getLocationContext()
147 bool inTopFrame() const { return getLocationContext()->inTopFrame(); } in inTopFrame()
174 return Pred->getLocationContext()->getAnalysisDeclContext(); in getCurrentAnalysisDeclContext()
196 return getState()->getSVal(S, getLocationContext()); in getSVal()
DExplodedGraph.h134 const LocationContext *getLocationContext() const { in getLocationContext() function
135 return getLocation().getLocationContext(); in getLocationContext()
139 return getLocationContext()->getCurrentStackFrame(); in getStackFrame()
142 const Decl &getCodeDecl() const { return *getLocationContext()->getDecl(); } in getCodeDecl()
144 CFG &getCFG() const { return *getLocationContext()->getCFG(); } in getCFG()
146 ParentMap &getParentMap() const {return getLocationContext()->getParentMap();} in getParentMap()
150 return *getLocationContext()->getAnalysis<T>(); in getAnalysis()
DCoreEngine.h187 : Eng(E), Block(B), LC(N->getLocationContext()) { assert(B); } in NodeBuilderContext()
384 Pred->getLocationContext(), tag);
394 Pred->getLocationContext(), tag);
489 const LocationContext *getLocationContext() const { in getLocationContext() function
490 return Pred->getLocationContext(); in getLocationContext()
542 const LocationContext *getLocationContext() const { in getLocationContext() function
543 return Pred->getLocationContext(); in getLocationContext()
DEnvironment.h41 const LocationContext *getLocationContext() const { return second; } in getLocationContext() function
47 ID.AddPointer(E.getLocationContext()); in Profile()

123