| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 161 SValBuilder &getSValBuilder() {
162 return Eng.getSValBuilder();
166 return getSValBuilder().getSymbolManager();
|
| ExprEngine.h | 132 SValBuilder &getSValBuilder() { return svalBuilder; }
|
| ProgramState.h | 482 SValBuilder &getSValBuilder() {
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| BuiltinFunctionChecker.cpp | 66 SValBuilder& svalBuilder = C.getSValBuilder();
|
| CastSizeChecker.cpp | 56 SValBuilder &svalBuilder = C.getSValBuilder();
|
| CStringChecker.cpp | 208 SValBuilder &svalBuilder = C.getSValBuilder();
278 SValBuilder &svalBuilder = C.getSValBuilder();
341 SValBuilder &svalBuilder = C.getSValBuilder();
438 SValBuilder &svalBuilder = C.getSValBuilder();
550 SValBuilder &svalBuilder = C.getSValBuilder();
664 SValBuilder &svalBuilder = C.getSValBuilder();
723 SValBuilder &svalBuilder = C.getSValBuilder();
[all...] |
| BoolAssignmentChecker.cpp | 80 SValBuilder &svalBuilder = C.getSValBuilder();
|
| CallAndMessageChecker.cpp | 181 C.getSValBuilder().getRegionManager(),
409 SVal V = C.getSValBuilder().makeZeroVal(RetTy);
446 SVal V = C.getSValBuilder().makeZeroVal(RetTy);
|
| VLASizeChecker.cpp | 131 SValBuilder &svalBuilder = C.getSValBuilder();
|
| UnixAPIChecker.cpp | 111 NonLoc ocreateFlag = C.getSValBuilder()
113 SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And,
|
| MacOSKeychainAPIChecker.cpp | 297 if (!definitelyReturnedError(AS->Region, State, C.getSValBuilder())) {
425 !definitelyDidnotReturnError(AS->Region, State, C.getSValBuilder())) {
567 definitelyReturnedError(I->second.Region, State, C.getSValBuilder()))
|
| ArrayBoundCheckerV2.cpp | 100 SValBuilder &svalBuilder = checkerContext.getSValBuilder();
|
| MallocChecker.cpp | 577 SValBuilder &svalBuilder = C.getSValBuilder();
597 SValBuilder &svalBuilder = C.getSValBuilder();
[all...] |
| BasicObjCFoundationChecks.cpp | 426 SValBuilder &svalBuilder = C.getSValBuilder();
|
| StreamChecker.cpp | 211 SValBuilder &svalBuilder = C.getSValBuilder();
|
| RetainCountChecker.cpp | [all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| ExprEngineCXX.cpp | 128 getSValBuilder().makeZeroArrayIndex(),
145 Loc ThisPtr = getSValBuilder().getCXXThis(CurCtor,
164 MemRegionManager &MRMgr = getSValBuilder().getRegionManager();
174 Loc ThisPtr = getSValBuilder().getCXXThis(CurCtor,
240 Dest = State->getLValue(ObjectType, getSValBuilder().makeZeroArrayIndex(),
|
| CallEvent.cpp | 327 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
497 SValBuilder &SVB = StateMgr.getSValBuilder();
574 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
598 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
890 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
941 SValBuilder &SVB = State->getStateManager().getSValBuilder();
[all...] |
| ExprEngineC.cpp | 569 X = getSValBuilder().evalCast(RHSVal, B->getType(), RHS->getType());
572 X = getSValBuilder().makeIntVal(1, B->getType());
577 X = getSValBuilder().makeIntVal(0, B->getType());
625 V = getSValBuilder().makeZeroVal(T);
[all...] |
| Store.cpp | 25 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),
|
| ExprEngine.cpp | 69 svalBuilder(StateMgr.getSValBuilder()),
511 Loc ThisPtr = getSValBuilder().getCXXThis(CurDtor,
532 Loc ThisVal = getSValBuilder().getCXXThis(CurDtor,
[all...] |
| ExprEngineCallAndReturn.cpp | 563 SValBuilder &SVB = getSValBuilder();
[all...] |
| ProgramState.cpp | 292 SValBuilder &svalBuilder = SM.getSValBuilder();
|
| RegionStore.cpp | 620 svalBuilder(StateMgr.getSValBuilder()),
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporter.h | 552 SValBuilder& getSValBuilder() {
553 return getStateManager().getSValBuilder();
|
