Home
last modified time | relevance | path

Searched defs:svalBuilder (Results 1 – 15 of 15) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DArrayBoundCheckerV2.cpp68 static SVal computeExtentBegin(SValBuilder &svalBuilder, in computeExtentBegin()
100 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); in checkLocation() local
226 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) { in getValue()
243 SValBuilder &svalBuilder) { in addValue()
257 SValBuilder &svalBuilder, in computeOffset()
DBuiltinFunctionChecker.cpp70 SValBuilder& svalBuilder = C.getSValBuilder(); in evalCall() local
DCStringChecker.cpp226 SValBuilder &svalBuilder = C.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE() local
297 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckLocation() local
361 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess() local
458 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap() local
570 SValBuilder &svalBuilder = C.getSValBuilder(); in checkAdditionOverflow() local
685 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLengthForRegion() local
757 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLength() local
839 SValBuilder &svalBuilder = C.getSValBuilder(); in IsFirstBufInBound() local
1159 SValBuilder &svalBuilder = C.getSValBuilder(); in evalMemcmp() local
1444 SValBuilder &svalBuilder = C.getSValBuilder(); in evalStrcpyCommon() local
[all …]
DBoolAssignmentChecker.cpp80 SValBuilder &svalBuilder = C.getSValBuilder(); in checkBind() local
DCastSizeChecker.cpp112 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt() local
DVLASizeChecker.cpp134 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt() local
DMallocChecker.cpp1096 SValBuilder &svalBuilder = C.getSValBuilder(); in MallocMemAux() local
1112 SValBuilder &svalBuilder = C.getSValBuilder(); in MallocMemAux() local
1909 SValBuilder &svalBuilder = C.getSValBuilder(); in ReallocMem() local
2005 SValBuilder &svalBuilder = C.getSValBuilder(); in CallocMem() local
DStreamChecker.cpp213 SValBuilder &svalBuilder = C.getSValBuilder(); in OpenFileAux() local
DBasicObjCFoundationChecks.cpp579 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt() local
/external/clang/lib/StaticAnalyzer/Core/
DSVals.cpp195 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, in evalBinOp()
DProgramState.cpp315 SValBuilder &svalBuilder = SM.getSValBuilder(); in assumeInBound() local
DRegionStore.cpp651 SValBuilder &svalBuilder; member in __anon38c42dcb0611::ClusterAnalysis
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DExprEngine.h75 SValBuilder &svalBuilder; variable
DProgramState.h466 std::unique_ptr<SValBuilder> svalBuilder; variable
DMemRegion.h422 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const { in getExtent()