| /external/clang/lib/StaticAnalyzer/Checkers/ |
| BuiltinFunctionChecker.cpp | 70 SValBuilder& svalBuilder = C.getSValBuilder();
88 SValBuilder &SVB = C.getSValBuilder();
|
| BoolAssignmentChecker.cpp | 80 SValBuilder &svalBuilder = C.getSValBuilder();
|
| CastSizeChecker.cpp | 115 SValBuilder &svalBuilder = C.getSValBuilder();
|
| CStringChecker.cpp | 222 SValBuilder &svalBuilder = C.getSValBuilder();
293 SValBuilder &svalBuilder = C.getSValBuilder();
357 SValBuilder &svalBuilder = C.getSValBuilder();
454 SValBuilder &svalBuilder = C.getSValBuilder();
566 SValBuilder &svalBuilder = C.getSValBuilder();
681 SValBuilder &svalBuilder = C.getSValBuilder();
753 SValBuilder &svalBuilder = C.getSValBuilder();
835 SValBuilder &svalBuilder = C.getSValBuilder();
[all...] |
| VLASizeChecker.cpp | 135 SValBuilder &svalBuilder = C.getSValBuilder();
|
| UnixAPIChecker.cpp | 138 NonLoc ocreateFlag = C.getSValBuilder()
140 SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And,
|
| CallAndMessageChecker.cpp | 264 C.getSValBuilder().getRegionManager(),
543 SVal V = C.getSValBuilder().makeZeroVal(RetTy);
581 SVal V = C.getSValBuilder().makeZeroVal(RetTy);
|
| MacOSKeychainAPIChecker.cpp | 300 if (!definitelyReturnedError(AS->Region, State, C.getSValBuilder())) {
432 !definitelyDidnotReturnError(AS->Region, State, C.getSValBuilder())) {
576 definitelyReturnedError(I->second.Region, State, C.getSValBuilder()))
|
| ArrayBoundCheckerV2.cpp | 100 SValBuilder &svalBuilder = checkerContext.getSValBuilder();
|
| MallocChecker.cpp | 715 NonLoc ZeroFlag = C.getSValBuilder()
718 SVal MaskedFlagsUC = C.getSValBuilder().evalBinOpNN(State, BO_And,
731 SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy);
[all...] |
| StreamChecker.cpp | 213 SValBuilder &svalBuilder = C.getSValBuilder();
|
| BasicObjCFoundationChecks.cpp | 580 SValBuilder &svalBuilder = C.getSValBuilder();
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 157 SValBuilder &getSValBuilder() {
158 return Eng.getSValBuilder();
162 return getSValBuilder().getSymbolManager();
|
| ExprEngine.h | 131 SValBuilder &getSValBuilder() { return svalBuilder; }
|
| ProgramState.h | 494 SValBuilder &getSValBuilder() {
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| CallEvent.cpp | 340 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
531 SValBuilder &SVB = StateMgr.getSValBuilder();
601 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
642 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
[all...] |
| ExprEngineCXX.cpp | 94 SValBuilder &SVB = State->getStateManager().getSValBuilder();
131 getSValBuilder().getCXXThis(CurCtor, LCtx->getCurrentStackFrame());
155 MemRegionManager &MRMgr = getSValBuilder().getRegionManager();
272 Loc ThisPtr = getSValBuilder().getCXXThis(CurCtor,
|
| ExprEngineC.cpp | 595 X = getSValBuilder().evalCast(RHSVal, B->getType(), RHS->getType());
598 X = getSValBuilder().makeIntVal(1, B->getType());
603 X = getSValBuilder().makeIntVal(0, B->getType());
652 V = getSValBuilder().makeZeroVal(T);
[all...] |
| SimpleConstraintManager.cpp | 73 SValBuilder &SVB = state->getStateManager().getSValBuilder();
|
| Store.cpp | 25 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),
|
| ExprEngine.cpp | 82 svalBuilder(StateMgr.getSValBuilder()),
239 V = getSValBuilder().conjureSymbolVal(Result, LC, TR->getValueType(),
508 SValBuilder &SVB = getSValBuilder();
642 Loc ThisPtr = getSValBuilder().getCXXThis(CurDtor,
663 Loc ThisVal = getSValBuilder().getCXXThis(CurDtor,
[all...] |
| ExprEngineCallAndReturn.cpp | 567 SValBuilder &SVB = getSValBuilder();
[all...] |
| ProgramState.cpp | 315 SValBuilder &svalBuilder = SM.getSValBuilder();
|
| RangeConstraintManager.cpp | 364 return llvm::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder());
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporter.h | 542 SValBuilder& getSValBuilder() {
543 return getStateManager().getSValBuilder();
|
