/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
CheckerContext.h | 157 SValBuilder &getSValBuilder() { 158 return Eng.getSValBuilder(); 162 return getSValBuilder().getSymbolManager();
|
ExprEngine.h | 132 SValBuilder &getSValBuilder() { return svalBuilder; }
|
ProgramState.h | 487 SValBuilder &getSValBuilder() {
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
BuiltinFunctionChecker.cpp | 69 SValBuilder& svalBuilder = C.getSValBuilder();
|
CastSizeChecker.cpp | 56 SValBuilder &svalBuilder = C.getSValBuilder();
|
CStringChecker.cpp | 210 SValBuilder &svalBuilder = C.getSValBuilder(); 280 SValBuilder &svalBuilder = C.getSValBuilder(); 343 SValBuilder &svalBuilder = C.getSValBuilder(); 440 SValBuilder &svalBuilder = C.getSValBuilder(); 552 SValBuilder &svalBuilder = C.getSValBuilder(); 666 SValBuilder &svalBuilder = C.getSValBuilder(); 725 SValBuilder &svalBuilder = C.getSValBuilder(); [all...] |
BoolAssignmentChecker.cpp | 80 SValBuilder &svalBuilder = C.getSValBuilder();
|
CallAndMessageChecker.cpp | 182 C.getSValBuilder().getRegionManager(), 439 SVal V = C.getSValBuilder().makeZeroVal(RetTy); 477 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 | 298 if (!definitelyReturnedError(AS->Region, State, C.getSValBuilder())) { 426 !definitelyDidnotReturnError(AS->Region, State, C.getSValBuilder())) { 568 definitelyReturnedError(I->second.Region, State, C.getSValBuilder()))
|
ArrayBoundCheckerV2.cpp | 100 SValBuilder &svalBuilder = checkerContext.getSValBuilder();
|
BasicObjCFoundationChecks.cpp | 541 SValBuilder &svalBuilder = C.getSValBuilder(); 913 SValBuilder &SvalBuilder = C.getSValBuilder(); [all...] |
MallocChecker.cpp | 755 SValBuilder &svalBuilder = C.getSValBuilder(); 775 SValBuilder &svalBuilder = C.getSValBuilder(); [all...] |
StreamChecker.cpp | 211 SValBuilder &svalBuilder = C.getSValBuilder();
|
/external/clang/lib/StaticAnalyzer/Core/ |
CallEvent.cpp | 314 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 483 SValBuilder &SVB = StateMgr.getSValBuilder(); 560 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 584 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 875 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 926 SValBuilder &SVB = State->getStateManager().getSValBuilder(); [all...] |
ExprEngineCXX.cpp | 94 SValBuilder &SVB = State->getStateManager().getSValBuilder(); 145 Loc ThisPtr = getSValBuilder().getCXXThis(CurCtor, 171 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); 199 Loc ThisPtr = getSValBuilder().getCXXThis(CurCtor,
|
ExprEngineC.cpp | 558 X = getSValBuilder().evalCast(RHSVal, B->getType(), RHS->getType()); 561 X = getSValBuilder().makeIntVal(1, B->getType()); 566 X = getSValBuilder().makeIntVal(0, B->getType()); 617 V = getSValBuilder().makeZeroVal(T); [all...] |
Store.cpp | 25 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),
|
ExprEngine.cpp | 70 svalBuilder(StateMgr.getSValBuilder()), 227 V = getSValBuilder().conjureSymbolVal(Result, LC, TR->getValueType(), 487 SValBuilder &SVB = getSValBuilder(); 571 Loc ThisPtr = getSValBuilder().getCXXThis(CurDtor, 592 Loc ThisVal = getSValBuilder().getCXXThis(CurDtor, [all...] |
RangeConstraintManager.cpp | 331 return new RangeConstraintManager(Eng, StMgr.getSValBuilder());
|
ExprEngineCallAndReturn.cpp | 566 SValBuilder &SVB = getSValBuilder(); [all...] |
ProgramState.cpp | 336 SValBuilder &svalBuilder = SM.getSValBuilder();
|
RegionStore.cpp | 682 svalBuilder(StateMgr.getSValBuilder()), [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
BugReporter.h | 547 SValBuilder& getSValBuilder() { 548 return getStateManager().getSValBuilder();
|