Searched defs:svalBuilder (Results 1 – 11 of 11) sorted by relevance
72 static SVal computeExtentBegin(SValBuilder &svalBuilder, in computeExtentBegin()87 SValBuilder &svalBuilder) { in getSimplifiedOffsets()132 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); in checkLocation() local277 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) { in getValue()294 SValBuilder &svalBuilder) { in addValue()308 SValBuilder &svalBuilder, in computeOffset()
326 SValBuilder &svalBuilder = C.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE() local381 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckLocation() local449 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess() local535 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap() local744 SValBuilder &svalBuilder = C.getSValBuilder(); in checkAdditionOverflow() local841 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLengthForRegion() local901 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLength() local971 SValBuilder &svalBuilder = C.getSValBuilder(); in IsFirstBufInBound() local1142 SValBuilder &svalBuilder = C.getSValBuilder(); in memsetAux() local1669 SValBuilder &svalBuilder = C.getSValBuilder(); in evalStrcpyCommon() local[all …]
86 SValBuilder &svalBuilder = C.getSValBuilder(); in checkBind() local
113 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt() local
1381 SValBuilder &svalBuilder = C.getSValBuilder(); in checkGMalloc0() local1728 SValBuilder &svalBuilder = C.getSValBuilder(); in MallocMemAux() local2580 SValBuilder &svalBuilder = C.getSValBuilder(); in ReallocMemAux() local2678 SValBuilder &svalBuilder = C.getSValBuilder(); in CallocMem() local
47 ExplodedNodeSet &dstLocation, SValBuilder &svalBuilder, in populateObjCForDestinationSet()
327 SValBuilder &svalBuilder = SM.getSValBuilder(); in assumeInBoundDual() local
30 SVal Symbol, SVal Other, Expr* Expression, SValBuilder &svalBuilder, in conjureOffsetSymbolOnLocation()
704 SValBuilder &svalBuilder; member in __anon943ea7f70511::ClusterAnalysis
160 SValBuilder &svalBuilder; variable
524 std::unique_ptr<SValBuilder> svalBuilder; variable