| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 103 SValBuilder &getSValBuilder() {
104 return Eng.getSValBuilder();
108 return getSValBuilder().getSymbolManager();
|
| ExprEngine.h | 124 SValBuilder &getSValBuilder() { return svalBuilder; }
|
| ProgramState.h | 463 SValBuilder &getSValBuilder() {
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| AdjustedReturnValueChecker.cpp | 84 SValBuilder &svalBuilder = C.getSValBuilder();
|
| BuiltinFunctionChecker.cpp | 66 SValBuilder& svalBuilder = C.getSValBuilder();
|
| CastSizeChecker.cpp | 56 SValBuilder &svalBuilder = C.getSValBuilder();
|
| UndefCapturedBlockVarChecker.cpp | 78 VR = C.getSValBuilder().getRegionManager().getVarRegion(VD, LC);
|
| OSAtomicChecker.cpp | 155 SValBuilder &svalBuilder = Eng.getSValBuilder();
194 Res = Eng.getSValBuilder().makeTruthVal(true, T);
206 Res = Eng.getSValBuilder().makeTruthVal(false, CE->getType());
|
| CStringChecker.cpp | 218 SValBuilder &svalBuilder = C.getSValBuilder();
289 SValBuilder &svalBuilder = C.getSValBuilder();
352 SValBuilder &svalBuilder = C.getSValBuilder();
449 SValBuilder &svalBuilder = C.getSValBuilder();
563 SValBuilder &svalBuilder = C.getSValBuilder();
678 SValBuilder &svalBuilder = C.getSValBuilder();
736 SValBuilder &svalBuilder = C.getSValBuilder();
[all...] |
| BoolAssignmentChecker.cpp | 80 SValBuilder &svalBuilder = C.getSValBuilder();
|
| CallAndMessageChecker.cpp | 170 C.getSValBuilder().getRegionManager(),
338 SVal V = C.getSValBuilder().makeZeroVal(msg.getType(Ctx));
375 SVal V = C.getSValBuilder().makeZeroVal(msg.getType(Ctx));
|
| MacOSKeychainAPIChecker.cpp | 303 if (!definitelyReturnedError(AS->Region, State, C.getSValBuilder())) {
429 !definitelyDidnotReturnError(AS->Region, State, C.getSValBuilder())) {
579 definitelyReturnedError(I->second.Region, State, C.getSValBuilder()))
625 C.getSValBuilder())) {
|
| VLASizeChecker.cpp | 131 SValBuilder &svalBuilder = C.getSValBuilder();
|
| UnixAPIChecker.cpp | 111 cast<NonLoc>(C.getSValBuilder().makeIntVal(Val_O_CREAT.getValue(),
113 SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And,
|
| ArrayBoundCheckerV2.cpp | 100 SValBuilder &svalBuilder = checkerContext.getSValBuilder();
|
| BasicObjCFoundationChecks.cpp | 393 SValBuilder &svalBuilder = C.getSValBuilder();
|
| MallocChecker.cpp | 441 SValBuilder &svalBuilder = C.getSValBuilder();
729 SValBuilder &svalBuilder = C.getSValBuilder();
810 SValBuilder &svalBuilder = C.getSValBuilder();
[all...] |
| StreamChecker.cpp | 223 SValBuilder &svalBuilder = C.getSValBuilder();
|
| RetainCountChecker.cpp | [all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporter.h | 434 SValBuilder& getSValBuilder() {
435 return getStateManager().getSValBuilder();
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| ExprEngineObjC.cpp | 254 SValBuilder &SVB = getSValBuilder();
|
| Store.cpp | 23 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),
|
| ExprEngineCallAndReturn.cpp | 442 SValBuilder &SVB = Eng.getSValBuilder();
|
| ProgramState.cpp | 308 SValBuilder &svalBuilder = SM.getSValBuilder();
|
| ExprEngine.cpp | 80 svalBuilder(StateMgr.getSValBuilder()),
[all...] |
