Searched defs:svalBuilder (Results 1 – 15 of 15) sorted by relevance
68 static SVal computeExtentBegin(SValBuilder &svalBuilder, in computeExtentBegin()100 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); in checkLocation() local226 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) { in getValue()243 SValBuilder &svalBuilder) { in addValue()257 SValBuilder &svalBuilder, in computeOffset()
70 SValBuilder& svalBuilder = C.getSValBuilder(); in evalCall() local
226 SValBuilder &svalBuilder = C.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE() local297 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckLocation() local361 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess() local458 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap() local570 SValBuilder &svalBuilder = C.getSValBuilder(); in checkAdditionOverflow() local685 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLengthForRegion() local757 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLength() local839 SValBuilder &svalBuilder = C.getSValBuilder(); in IsFirstBufInBound() local1159 SValBuilder &svalBuilder = C.getSValBuilder(); in evalMemcmp() local1444 SValBuilder &svalBuilder = C.getSValBuilder(); in evalStrcpyCommon() local[all …]
80 SValBuilder &svalBuilder = C.getSValBuilder(); in checkBind() local
112 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt() local
134 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt() local
1096 SValBuilder &svalBuilder = C.getSValBuilder(); in MallocMemAux() local1112 SValBuilder &svalBuilder = C.getSValBuilder(); in MallocMemAux() local1909 SValBuilder &svalBuilder = C.getSValBuilder(); in ReallocMem() local2005 SValBuilder &svalBuilder = C.getSValBuilder(); in CallocMem() local
213 SValBuilder &svalBuilder = C.getSValBuilder(); in OpenFileAux() local
579 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt() local
195 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, in evalBinOp()
315 SValBuilder &svalBuilder = SM.getSValBuilder(); in assumeInBound() local
651 SValBuilder &svalBuilder; member in __anon1ac6f48d0611::ClusterAnalysis
75 SValBuilder &svalBuilder; variable
466 std::unique_ptr<SValBuilder> svalBuilder; variable
422 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const { in getExtent()