Searched defs:svalBuilder (Results 1 – 9 of 9) sorted by relevance
113 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt() local
369 SValBuilder &svalBuilder = C.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE() local605 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess() local700 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap() local913 SValBuilder &svalBuilder = C.getSValBuilder(); in checkAdditionOverflow() local1010 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLengthForRegion() local1070 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLength() local1365 SValBuilder &svalBuilder = C.getSValBuilder(); in memsetAux() local1905 SValBuilder &svalBuilder = C.getSValBuilder(); in evalStrcpyCommon() local2327 SValBuilder &svalBuilder = C.getSValBuilder(); in evalStrcmpCommon() local
243 SValBuilder &svalBuilder) { in getSimplifiedOffsets()
1305 SValBuilder &svalBuilder = C.getSValBuilder(); in checkGMalloc0() local2633 SValBuilder &svalBuilder = C.getSValBuilder(); in ReallocMemAux() local2731 SValBuilder &svalBuilder = C.getSValBuilder(); in CallocMem() local
160 SValBuilder &svalBuilder; variable
526 std::unique_ptr<SValBuilder> svalBuilder; variable
30 SVal Symbol, SVal Other, Expr* Expression, SValBuilder &svalBuilder, in conjureOffsetSymbolOnLocation()
340 SValBuilder &svalBuilder = SM.getSValBuilder(); in assumeInBoundDual() local
703 SValBuilder &svalBuilder; member in __anonfa909ae00511::ClusterAnalysis