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()
222 SValBuilder &svalBuilder = C.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE() local293 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckLocation() local357 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess() local454 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap() local566 SValBuilder &svalBuilder = C.getSValBuilder(); in checkAdditionOverflow() local681 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLengthForRegion() local753 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLength() local835 SValBuilder &svalBuilder = C.getSValBuilder(); in IsFirstBufInBound() local1155 SValBuilder &svalBuilder = C.getSValBuilder(); in evalMemcmp() local1440 SValBuilder &svalBuilder = C.getSValBuilder(); in evalStrcpyCommon() local[all …]
70 SValBuilder& svalBuilder = C.getSValBuilder(); in evalCall() 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
1088 SValBuilder &svalBuilder = C.getSValBuilder(); in MallocMemAux() local1104 SValBuilder &svalBuilder = C.getSValBuilder(); in MallocMemAux() local1901 SValBuilder &svalBuilder = C.getSValBuilder(); in ReallocMem() local1997 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
649 SValBuilder &svalBuilder; member in __anon53e1adc20611::ClusterAnalysis
75 SValBuilder &svalBuilder; variable
465 std::unique_ptr<SValBuilder> svalBuilder; variable
426 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const { in getExtent()