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() local236 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) { in getValue()253 SValBuilder &svalBuilder) { in addValue()267 SValBuilder &svalBuilder, in computeOffset()
67 SValBuilder& svalBuilder = C.getSValBuilder(); in evalCall() local
213 SValBuilder &svalBuilder = C.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE() local284 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckLocation() local348 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess() local445 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap() local558 SValBuilder &svalBuilder = C.getSValBuilder(); in checkAdditionOverflow() local673 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLengthForRegion() local745 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLength() local1069 SValBuilder &svalBuilder = C.getSValBuilder(); in evalMemcmp() local1354 SValBuilder &svalBuilder = C.getSValBuilder(); in evalStrcpyCommon() local1722 SValBuilder &svalBuilder = C.getSValBuilder(); in evalStrcmpCommon() local
80 SValBuilder &svalBuilder = C.getSValBuilder(); in checkBind() local
115 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt() local
132 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt() local
866 SValBuilder &svalBuilder = C.getSValBuilder(); in MallocMemAux() local886 SValBuilder &svalBuilder = C.getSValBuilder(); in MallocMemAux() local1587 SValBuilder &svalBuilder = C.getSValBuilder(); in ReallocMem() local1680 SValBuilder &svalBuilder = C.getSValBuilder(); in CallocMem() local
213 SValBuilder &svalBuilder = C.getSValBuilder(); in OpenFileAux() local
580 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt() local
195 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, in evalBinOp()
315 SValBuilder &svalBuilder = SM.getSValBuilder(); in assumeInBound() local
654 SValBuilder &svalBuilder; member in __anonc04f3a860611::ClusterAnalysis
75 SValBuilder &svalBuilder; variable
457 std::unique_ptr<SValBuilder> svalBuilder; variable
426 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const { in getExtent()