| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | CStringChecker.cpp | 226 SValBuilder &svalBuilder = C.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE()
297 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckLocation()
361 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess()
458 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap()
570 SValBuilder &svalBuilder = C.getSValBuilder(); in checkAdditionOverflow()
685 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLengthForRegion()
757 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLength()
839 SValBuilder &svalBuilder = C.getSValBuilder(); in IsFirstBufInBound()
1057 SValBuilder &SvalBuilder = C.getSValBuilder(); in evalCopyCommon()
1062 SVal lastElement = C.getSValBuilder().evalBinOpLN(state, BO_Add, in evalCopyCommon()
[all …]
|
| D | BuiltinFunctionChecker.cpp | 70 SValBuilder& svalBuilder = C.getSValBuilder(); in evalCall()
88 SValBuilder &SVB = C.getSValBuilder(); in evalCall()
|
| D | UnixAPIChecker.cpp | 138 NonLoc ocreateFlag = C.getSValBuilder() in CheckOpen()
140 SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And, in CheckOpen()
|
| D | MacOSKeychainAPIChecker.cpp | 292 if (!definitelyReturnedError(AS->Region, State, C.getSValBuilder())) { in checkPreStmt()
424 !definitelyDidnotReturnError(AS->Region, State, C.getSValBuilder())) { in checkPreStmt()
568 definitelyReturnedError(I->second.Region, State, C.getSValBuilder())) in checkDeadSymbols()
|
| D | CallAndMessageChecker.cpp | 264 C.getSValBuilder().getRegionManager(), in PreVisitProcessArg()
543 SVal V = C.getSValBuilder().makeZeroVal(RetTy); in HandleNilReceiver()
581 SVal V = C.getSValBuilder().makeZeroVal(RetTy); in HandleNilReceiver()
|
| D | BoolAssignmentChecker.cpp | 80 SValBuilder &svalBuilder = C.getSValBuilder(); in checkBind()
|
| D | CastSizeChecker.cpp | 112 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt()
|
| D | VLASizeChecker.cpp | 134 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt()
|
| D | MallocChecker.cpp | 725 NonLoc ZeroFlag = C.getSValBuilder() in performKernelMalloc()
728 SVal MaskedFlagsUC = C.getSValBuilder().evalBinOpNN(State, BO_And, in performKernelMalloc()
741 SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy); in performKernelMalloc()
892 SValBuilder &SvalBuilder = C.getSValBuilder(); in ProcessZeroAllocation()
1096 SValBuilder &svalBuilder = C.getSValBuilder(); in MallocMemAux()
1112 SValBuilder &svalBuilder = C.getSValBuilder(); in MallocMemAux()
1909 SValBuilder &svalBuilder = C.getSValBuilder(); in ReallocMem()
2005 SValBuilder &svalBuilder = C.getSValBuilder(); in CallocMem()
2276 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
|
| D | ExprInspectionChecker.cpp | 166 MR->getExtent(C.getSValBuilder())); in analyzerGetExtent()
|
| D | ArrayBoundCheckerV2.cpp | 100 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); in checkLocation()
|
| D | BasicObjCFoundationChecks.cpp | 579 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt()
955 SValBuilder &SvalBuilder = C.getSValBuilder(); in assumeCollectionNonEmpty()
|
| D | StreamChecker.cpp | 213 SValBuilder &svalBuilder = C.getSValBuilder(); in OpenFileAux()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CheckerContext.h | 157 SValBuilder &getSValBuilder() { in getSValBuilder() function
158 return Eng.getSValBuilder(); in getSValBuilder()
162 return getSValBuilder().getSymbolManager(); in getSymbolManager()
|
| D | ExprEngine.h | 131 SValBuilder &getSValBuilder() { return svalBuilder; } in getSValBuilder() function
|
| D | ProgramState.h | 495 SValBuilder &getSValBuilder() { in getSValBuilder() function
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CallEvent.cpp | 350 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
541 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents()
611 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
652 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1022 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1073 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
1099 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
|
| D | ExprEngineCXX.cpp | 94 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeZeroElementRegion()
131 getSValBuilder().getCXXThis(CurCtor, LCtx->getCurrentStackFrame()); in getRegionForConstructedObject()
155 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in getRegionForConstructedObject()
272 Loc ThisPtr = getSValBuilder().getCXXThis(CurCtor, in VisitCXXConstructExpr()
|
| D | ExprEngineC.cpp | 606 X = getSValBuilder().evalCast(RHSVal, B->getType(), RHS->getType()); in VisitLogicalExpr()
609 X = getSValBuilder().makeIntVal(1, B->getType()); in VisitLogicalExpr()
614 X = getSValBuilder().makeIntVal(0, B->getType()); in VisitLogicalExpr()
663 V = getSValBuilder().makeZeroVal(T); in VisitInitListExpr()
|
| D | SimpleConstraintManager.cpp | 73 SValBuilder &SVB = state->getStateManager().getSValBuilder(); in assume()
|
| D | Store.cpp | 25 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr), in StoreManager()
|
| D | ExprEngine.cpp | 83 svalBuilder(StateMgr.getSValBuilder()), in ExprEngine()
240 V = getSValBuilder().conjureSymbolVal(Result, LC, TR->getValueType(), in createTemporaryRegionIfNeeded()
509 SValBuilder &SVB = getSValBuilder(); in ProcessInitializer()
643 Loc ThisPtr = getSValBuilder().getCXXThis(CurDtor, in ProcessBaseDtor()
664 Loc ThisVal = getSValBuilder().getCXXThis(CurDtor, in ProcessMemberDtor()
|
| D | ProgramState.cpp | 315 SValBuilder &svalBuilder = SM.getSValBuilder(); in assumeInBound()
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | BugReporter.h | 542 SValBuilder& getSValBuilder() {
543 return getStateManager().getSValBuilder();
|
| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| D | MPIChecker.cpp | 170 const NonLoc Idx = Ctx.getSValBuilder().makeArrayIndex(i); in allRegionsUsedByWait()
|