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() local225 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) { in getValue()242 SValBuilder &svalBuilder) { in addValue()256 SValBuilder &svalBuilder, in computeOffset()
69 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() local1074 SValBuilder &svalBuilder = C.getSValBuilder(); in evalMemcmp() local1359 SValBuilder &svalBuilder = C.getSValBuilder(); in evalStrcpyCommon() local1727 SValBuilder &svalBuilder = C.getSValBuilder(); in evalStrcmpCommon() local
80 SValBuilder &svalBuilder = C.getSValBuilder(); in checkBind() local
115 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt() local
135 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt() local
1084 SValBuilder &svalBuilder = C.getSValBuilder(); in MallocMemAux() local1100 SValBuilder &svalBuilder = C.getSValBuilder(); in MallocMemAux() local1893 SValBuilder &svalBuilder = C.getSValBuilder(); in ReallocMem() local1989 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
655 SValBuilder &svalBuilder; member in __anon53e1adc20611::ClusterAnalysis
75 SValBuilder &svalBuilder; variable
458 std::unique_ptr<SValBuilder> svalBuilder; variable
426 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const { in getExtent()