Searched defs:svalBuilder (Results 1 – 11 of 11) sorted by relevance
83 SValBuilder &svalBuilder = C.getSValBuilder(); checkBind() local
341 SValBuilder &svalBuilder = C.getSValBuilder(); REGISTER_MAP_WITH_PROGRAMSTATE() local 396 SValBuilder &svalBuilder = C.getSValBuilder(); CheckLocation() local 464 SValBuilder &svalBuilder = C.getSValBuilder(); CheckBufferAccess() local 556 SValBuilder &svalBuilder = C.getSValBuilder(); CheckOverlap() local 768 SValBuilder &svalBuilder = C.getSValBuilder(); checkAdditionOverflow() local 865 SValBuilder &svalBuilder = C.getSValBuilder(); getCStringLengthForRegion() local 925 SValBuilder &svalBuilder = C.getSValBuilder(); getCStringLength() local 1220 SValBuilder &svalBuilder = C.getSValBuilder(); memsetAux() local 1757 SValBuilder &svalBuilder = C.getSValBuilder(); evalStrcpyCommon() local 2179 SValBuilder &svalBuilder = C.getSValBuilder(); evalStrcmpCommon() local [all...]
113 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt() local
144 getSimplifiedOffsets(NonLoc offset,nonloc::ConcreteInt extent,SValBuilder & svalBuilder) getSimplifiedOffsets() argument
1387 SValBuilder &svalBuilder = C.getSValBuilder(); checkGMalloc0() local 2585 SValBuilder &svalBuilder = C.getSValBuilder(); ReallocMemAux() local 2683 SValBuilder &svalBuilder = C.getSValBuilder(); CallocMem() local [all...]
47 ExplodedNodeSet &dstLocation, SValBuilder &svalBuilder, in populateObjCForDestinationSet()
326 SValBuilder &svalBuilder = SM.getSValBuilder(); assumeInBoundDual() local
30 SVal Symbol, SVal Other, Expr* Expression, SValBuilder &svalBuilder, in conjureOffsetSymbolOnLocation() argument [all...]
703 SValBuilder &svalBuilder; member in __anonbdb300b20511::ClusterAnalysis [all...]
160 SValBuilder &svalBuilder; variable
524 std::unique_ptr<SValBuilder> svalBuilder; global() variable [all...]