/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 | 112 SValBuilder &svalBuilder = C.getSValBuilder();
|
CStringChecker.cpp | 226 SValBuilder &svalBuilder = C.getSValBuilder(); 297 SValBuilder &svalBuilder = C.getSValBuilder(); 361 SValBuilder &svalBuilder = C.getSValBuilder(); 458 SValBuilder &svalBuilder = C.getSValBuilder(); 570 SValBuilder &svalBuilder = C.getSValBuilder(); 685 SValBuilder &svalBuilder = C.getSValBuilder(); 757 SValBuilder &svalBuilder = C.getSValBuilder(); [all...] |
VLASizeChecker.cpp | 134 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 | 292 if (!definitelyReturnedError(AS->Region, State, C.getSValBuilder())) { 424 !definitelyDidnotReturnError(AS->Region, State, C.getSValBuilder())) { 568 definitelyReturnedError(I->second.Region, State, C.getSValBuilder()))
|
ArrayBoundCheckerV2.cpp | 100 SValBuilder &svalBuilder = checkerContext.getSValBuilder();
|
ExprInspectionChecker.cpp | 166 MR->getExtent(C.getSValBuilder()));
|
MallocChecker.cpp | 725 NonLoc ZeroFlag = C.getSValBuilder() 728 SVal MaskedFlagsUC = C.getSValBuilder().evalBinOpNN(State, BO_And, 741 SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy); [all...] |
StreamChecker.cpp | 213 SValBuilder &svalBuilder = C.getSValBuilder();
|
BasicObjCFoundationChecks.cpp | 579 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 | 495 SValBuilder &getSValBuilder() {
|
/external/clang/lib/StaticAnalyzer/Core/ |
CallEvent.cpp | 350 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 541 SValBuilder &SVB = StateMgr.getSValBuilder(); 611 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 652 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 | 606 X = getSValBuilder().evalCast(RHSVal, B->getType(), RHS->getType()); 609 X = getSValBuilder().makeIntVal(1, B->getType()); 614 X = getSValBuilder().makeIntVal(0, B->getType()); 663 V = getSValBuilder().makeZeroVal(T); [all...] |
SimpleConstraintManager.cpp | 73 SValBuilder &SVB = state->getStateManager().getSValBuilder();
|
Store.cpp | 25 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),
|
ExprEngine.cpp | 83 svalBuilder(StateMgr.getSValBuilder()), 240 V = getSValBuilder().conjureSymbolVal(Result, LC, TR->getValueType(), 509 SValBuilder &SVB = getSValBuilder(); 643 Loc ThisPtr = getSValBuilder().getCXXThis(CurDtor, 664 Loc ThisVal = getSValBuilder().getCXXThis(CurDtor, [all...] |
ExprEngineCallAndReturn.cpp | 554 SValBuilder &SVB = getSValBuilder(); [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
BugReporter.h | 542 SValBuilder& getSValBuilder() { 543 return getStateManager().getSValBuilder();
|
/external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
MPIChecker.cpp | 170 const NonLoc Idx = Ctx.getSValBuilder().makeArrayIndex(i);
|