Home
last modified time | relevance | path

Searched refs:getSVal (Results 1 – 25 of 67) sorted by relevance

123

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DUndefResultChecker.cpp44 SVal Loc = C.getSVal(Ex); in isArrayIndexOutOfBounds()
70 const llvm::APSInt *LHS = SB.getKnownValue(State, C.getSVal(B->getLHS())); in isLeftShiftResultUnrepresentable()
71 const llvm::APSInt *RHS = SB.getKnownValue(State, C.getSVal(B->getRHS())); in isLeftShiftResultUnrepresentable()
78 if (C.getSVal(B).isUndef()) { in checkPostStmt()
102 if (C.getSVal(B->getLHS()).isUndef()) { in checkPostStmt()
106 else if (C.getSVal(B->getRHS()).isUndef()) { in checkPostStmt()
139 SB.getKnownValue(C.getState(), C.getSVal(B->getRHS())); in checkPostStmt()
159 SB.getKnownValue(State, C.getSVal(B->getLHS())); in checkPostStmt()
161 SB.getKnownValue(State, C.getSVal(B->getRHS())); in checkPostStmt()
H A DStreamChecker.cpp245 if (!CheckNullStream(C.getSVal(CE->getArg(3)), state, C)) in Fread()
251 if (!CheckNullStream(C.getSVal(CE->getArg(3)), state, C)) in Fwrite()
283 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C)) in Ftell()
289 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C)) in Rewind()
295 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C)) in Fgetpos()
301 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C)) in Fsetpos()
307 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C)) in Clearerr()
313 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C)) in Feof()
319 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C)) in Ferror()
325 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C)) in Fileno()
[all …]
H A DPointerArithChecker.cpp110 SVal S = State->getSVal(Region); in getPointedRegion()
157 const MemRegion *Region = C.getSVal(E).getAsRegion(); in reportPointerArithMisuse()
229 SVal SV = C.getSVal(CE); in checkPostStmt()
250 SVal AllocedVal = C.getSVal(NE); in checkPostStmt()
265 SVal CastedVal = C.getSVal(CastedExpr); in checkPostStmt()
283 SVal CastedVal = C.getSVal(CastedExpr); in checkPreStmt()
306 SVal Idx = C.getSVal(SubsExpr->getIdx()); in checkPreStmt()
329 SVal RHSVal = C.getSVal(Rhs); in checkPreStmt()
336 SVal LHSVal = C.getSVal(Lhs); in checkPreStmt()
H A DTestAfterDivZeroChecker.cpp116 SVal S = Succ->getSVal(E); in REGISTER_SET_WITH_PROGRAMSTATE()
206 SVal S = C.getSVal(B->getRHS()); in checkPreStmt()
227 SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS()); in checkBranchCondition()
236 Val = C.getSVal(I->getSubExpr()); in checkBranchCondition()
241 Val = C.getSVal(U->getSubExpr()); in checkBranchCondition()
248 SVal Val = C.getSVal(IE->getSubExpr()); in checkBranchCondition()
253 SVal Val = C.getSVal(Condition); in checkBranchCondition()
H A DCStringChecker.cpp355 SVal BufVal = C.getSVal(FirstBuf); in CheckBufferAccess()
367 SVal LengthVal = C.getSVal(Size); in CheckBufferAccess()
1012 SVal MemVal = C.getSVal(DstBuffer); in memsetAux()
1013 SVal SizeVal = C.getSVal(Size); in memsetAux()
1374 SVal ArgVal = state->getSVal(Arg, LCtx); in evalstrLengthCommon()
1549 SVal DstVal = state->getSVal(Dst, LCtx); in evalStrcpyCommon()
1925 SVal s1Val = state->getSVal(s1, LCtx); in evalStrcmpCommon()
1932 SVal s2Val = state->getSVal(s2, LCtx); in evalStrcmpCommon()
2207 SVal SizeVal = C.getSVal(Size); in evalBzero()
2222 SVal MemVal = C.getSVal(Mem); in evalBzero()
[all …]
H A DPthreadLockChecker.cpp122 AcquireLock(C, CE, C.getSVal(CE->getArg(0)), false, PthreadSemantics); in REGISTER_LIST_WITH_PROGRAMSTATE()
126 AcquireLock(C, CE, C.getSVal(CE->getArg(0)), false, XNUSemantics); in REGISTER_LIST_WITH_PROGRAMSTATE()
130 AcquireLock(C, CE, C.getSVal(CE->getArg(0)), in REGISTER_LIST_WITH_PROGRAMSTATE()
135 AcquireLock(C, CE, C.getSVal(CE->getArg(0)), true, XNUSemantics); in REGISTER_LIST_WITH_PROGRAMSTATE()
140 ReleaseLock(C, CE, C.getSVal(CE->getArg(0))); in REGISTER_LIST_WITH_PROGRAMSTATE()
142 DestroyLock(C, CE, C.getSVal(CE->getArg(0)), PthreadSemantics); in REGISTER_LIST_WITH_PROGRAMSTATE()
144 DestroyLock(C, CE, C.getSVal(CE->getArg(0)), XNUSemantics); in REGISTER_LIST_WITH_PROGRAMSTATE()
146 InitLock(C, CE, C.getSVal(CE->getArg(0))); in REGISTER_LIST_WITH_PROGRAMSTATE()
230 SVal X = C.getSVal(CE); in AcquireLock()
366 SymbolRef sym = C.getSVal(CE).getAsSymbol(); in DestroyLock()
H A DObjCContainersChecker.cpp42 SVal ArrayRef = C.getSVal(E); in getArraySym()
72 SVal SizeV = C.getSVal(Size); in REGISTER_MAP_WITH_PROGRAMSTATE()
78 SVal ArrayRef = C.getSVal(Array); in REGISTER_MAP_WITH_PROGRAMSTATE()
134 SVal IdxVal = C.getSVal(IdxExpr); in checkPreStmt()
H A DExprInspectionChecker.cpp109 SVal AssertionVal = State->getSVal(Assertion, LC); in getArgumentValueString()
199 SVal V = C.getSVal(CE->getArg(0)); in analyzerExplain()
211 SVal V = C.getSVal(CE->getArg(0)); in analyzerDump()
226 auto MR = dyn_cast_or_null<SubRegion>(C.getSVal(CE->getArg(0)).getAsRegion()); in analyzerGetExtent()
247 SVal Val = C.getSVal(CE->getArg(0)); in analyzerWarnOnDeadSymbol()
318 SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol(); in analyzerDenote()
393 SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol(); in analyzerExpress()
H A DBuiltinFunctionChecker.cpp46 SVal ArgSVal = C.getSVal(CE->getArg(0)); in evalCall()
71 SVal X = C.getSVal(*(CE->arg_begin())); in evalCall()
86 auto Size = C.getSVal(*(CE->arg_begin())).castAs<DefinedOrUnknownSVal>(); in evalCall()
H A DObjCSelfInitChecker.cpp135 SVal exprVal = C.getSVal(E); in isInvalidSelf()
186 SVal V = C.getSVal(Msg.getOriginExpr()); in checkPostObjCMessage()
255 unsigned selfFlags = getSelfFlags(state->getSVal(argV.castAs<Loc>()), C); in checkPreCall()
286 addSelfFlag(state, state->getSVal(argV.castAs<Loc>()), prevFlags, C); in checkPostCall()
312 addSelfFlag(state, state->getSVal(location.castAs<Loc>()), SelfFlag_Self, in checkLocation()
H A DCXXSelfAssignmentChecker.cpp51 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in checkBeginFunction()
53 auto ParamVal = State->getSVal(Param); in checkBeginFunction()
H A DPointerSubChecker.cpp42 SVal LV = C.getSVal(B->getLHS()); in checkPreStmt()
43 SVal RV = C.getSVal(B->getRHS()); in checkPreStmt()
H A DUndefBranchChecker.cpp50 return St->getSVal(Ex, LCtx).isUndef(); in MatchesCriteria()
62 SVal X = Ctx.getSVal(Condition); in checkBranchCondition()
H A DUndefCapturedBlockVarChecker.cpp58 auto *R = cast<BlockDataRegion>(C.getSVal(BE).getAsRegion()); in checkPostStmt()
74 state->getSVal(I.getOriginalRegion()).getAs<UndefinedVal>()) { in checkPostStmt()
H A DBasicObjCFoundationChecks.cpp142 if (State->isNull(C.getSVal(E)).isConstrainedTrue()) { in warnIfNilExpr()
445 SVal TheTypeVal = C.getSVal(CE->getArg(1)); in checkPreStmt()
465 SVal TheValueExpr = C.getSVal(CE->getArg(2)); in checkPreStmt()
861 SVal CollectionVal = C.getSVal(FCS->getCollection()); in checkCollectionNonNil()
900 ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>(); in checkElementNonNil()
907 SVal Val = State->getSVal(*ElementLoc); in checkElementNonNil()
951 SymbolRef CollectionS = C.getSVal(FCS->getCollection()).getAsSymbol(); in assumeCollectionNonEmpty()
981 SVal CollectionSentinel = C.getSVal(FCS); in checkPostStmt()
1037 SymbolRef CountS = C.getSVal(MsgExpr).getAsSymbol(); in checkPostObjCMessage()
1179 SVal Val = C.getSVal(NonNullExpr); in assumeExprIsNonNull()
H A DDeleteWithNonVirtualDtorChecker.cpp65 const MemRegion *MR = C.getSVal(DeletedObj).getAsRegion(); in checkPreStmt()
128 const MemRegion *M = N->getSVal(CastE).getAsRegion(); in VisitNode()
H A DVirtualCallChecker.cpp109 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in REGISTER_MAP_WITH_PROGRAMSTATE()
232 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in registerCtorDtorCallInState()
246 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in registerCtorDtorCallInState()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp59 SVal LeftV = state->getSVal(LHS, LCtx); in VisitBinaryOperator()
60 SVal RightV = state->getSVal(RHS, LCtx); in VisitBinaryOperator()
138 SVal V = state->getSVal(LHS, LCtx); in VisitBinaryOperator()
268 SVal OrigV = state->getSVal(Ex, LCtx); in handleLValueBitCast()
356 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
363 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
385 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
426 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
514 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
977 SVal V = state->getSVal(Ex, LCtx); in VisitUnaryOperator()
[all …]
H A DCheckerContext.cpp24 SVal L = Pred->getSVal(Callee); in getCalleeDecl()
126 return evalComparison(getSVal(E), BO_GE, V, getState()); in isGreaterOrEqual()
131 return evalComparison(getSVal(E), BO_LT, V, getState()); in isNegative()
H A DExprEngineCXX.cpp79 V = Pred->getState()->getSVal(*L); in performTrivialCopy()
145 SVal ThisVal = State->getSVal(ThisPtr); in prepareForObjectConstruction()
406 State = State->BindExpr(CE, LCtx, State->getSVal(*L, CE->getType())); in VisitCXXConstructExpr()
468 SVal ThisVal = State->getSVal(ThisPtr); in VisitCXXConstructExpr()
676 SVal RetVal = State->getSVal(CNE, LCtx); in VisitCXXNewAllocatorCall()
793 SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx); in VisitCXXNewExpr()
810 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()
854 SVal V = state->getSVal(loc::MemRegionVal(R)); in VisitCXXThisExpr()
882 InitVal = State->getSVal(InitExpr, LocCtxt); in VisitLambdaExpr()
888 InitVal = State->getSVal(SizeExpr, LocCtxt); in VisitLambdaExpr()
[all …]
H A DBugReporterVisitors.cpp380 S = State->getSVal(R, PT); in VisitNode()
420 const SVal V = State->getSVal(FR);
826 SVal RetVal = Node->getSVal(S); in addVisitorIfNecessary()
831 RetVal = State->getSVal(*LValue); in addVisitorIfNecessary()
1294 SVal V = StoreSite->getSVal(S); in VisitNode()
1620 SVal LVal = LVNode->getSVal(Inner); in trackExpressionValue()
1725 SVal V = N->getSVal(Receiver); in getNilReceiver()
1788 SVal V = N->getSVal(S); in registerStatementVarDecls()
2031 SVal V = state->getSVal(R); in patternMatch()
2219 SVal V = state->getSVal(R); in VisitTrueTest()
[all …]
H A DExprEngine.cpp244 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState()
267 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState()
284 SVal V = state->getSVal(L); in getInitialState()
409 SVal InitVal = State->getSVal(Init, LC); in createTemporaryRegionIfNeeded()
818 InitVal = State->getSVal(*LValueLoc); in ProcessInitializer()
942 SVal ArgVal = State->getSVal(Arg, LCtx); in ProcessDeleteDtor()
1428 SVal Val = State->getSVal(Child, LCtx); in Visit()
1968 return state->getSVal(Ex, LCtx); in RecoverCastedSymbol()
2396 SVal CXXThisVal = state->getSVal(CXXThis); in VisitCommonDeclRefExpr()
2411 V = state->getSVal(R); in VisitCommonDeclRefExpr()
[all …]
H A DCallEvent.cpp405 return getSVal(ArgE); in getArgSVal()
419 return getSVal(E); in getReturnValue()
652 return getSVal(getOriginExpr()->getCallee()).getAsFunctionDecl(); in getDecl()
664 return getSVal(CE->getCallee()).getAsFunctionDecl(); in getDecl()
704 SVal ThisVal = getSVal(Base); in getCXXThisVal()
832 const MemRegion *DataReg = getSVal(Callee).getAsRegion(); in getBlockRegion()
957 return getState()->getSVal(getState()->getRegion(SelfDecl, LCtx)); in getSelfSVal()
966 return getSVal(RecE); in getReceiverSVal()
984 SVal RecVal = getSVal(getOriginExpr()->getInstanceReceiver()); in isReceiverSelfOrSuper()
1382 SVal ThisVal = State->getSVal(ThisPtr); in getCaller()
[all …]
H A DExprEngineObjC.cpp27 SVal baseVal = state->getSVal(Ex->getBase(), LCtx); in VisitLvalObjCIvarRefExpr()
118 SVal collectionV = state->getSVal(collection, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
126 elementV = state->getSVal(elem, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp142 SVal V = State->getSVal(FR); in isDereferencableUninit()
207 SVal PointeeV = State->getSVal(R); in isDereferencableUninit()
228 SVal V = State->getSVal(FR); in dereference()
247 while (const MemRegion *Tmp = State->getSVal(R, DynT).getAsRegion()) { in dereference()

123