Lines Matching refs:getSVal
1099 const SVal V = C.getSVal(FlagsEx); in performKernelMalloc()
1134 SVal BlocksVal = C.getSVal(Blocks); in evalMulForBufferSize()
1135 SVal BlockBytesVal = C.getSVal(BlockBytes); in evalMulForBufferSize()
1498 State->getSVal(Arg, Call.getLocationContext()).getAs<DefinedSVal>(); in ProcessZeroAllocCheck()
1601 checkTaintedness(C, Call, C.getSVal(*SizeEx), State, AF_CXXNewArray); in processNewAllocation()
1693 return MallocMemAux(C, Call, C.getSVal(SizeEx), Init, State, Family); in MallocMemAux()
1802 RetVal = C.getSVal(E); in MallocUpdateRefState()
1954 SVal ArgVal = ArgValOpt.value_or(C.getSVal(ArgExpr)); in FreeMemAux()
2095 SVal RetVal = C.getSVal(ParentExpr); in FreeMemAux()
2628 SVal Arg0Val = C.getSVal(arg0Expr); in ReallocMemAux()
2642 SVal TotalSize = C.getSVal(Arg1); in ReallocMemAux()
2705 SVal RetVal = C.getSVal(CE); in ReallocMemAux()
2757 SVal Val = State->getSVal(MR); in getAllocationSite()
2910 if (SymbolRef Sym = C.getSVal(DE->getArgument()).getAsSymbol()) in checkPreCall()
2993 SVal RetVal = C.getSVal(E); in checkEscapeOnReturn()
3023 cast<BlockDataRegion>(C.getSVal(BE).getAsRegion()); in checkPostStmt()
3073 if (SymbolRef Sym = C.getSVal(Arg).getAsSymbol()) in suppressDeallocationsInSuspiciousContexts()