reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1548 SVal DstVal = state->getSVal(Dst, LCtx); 1556 SVal srcVal = state->getSVal(srcExpr, LCtx); 1588 SVal lenVal = state->getSVal(lenExpr, LCtx); 1657 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal); 1659 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, *lenValNL); 1874 Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); 1878 state = state->BindExpr(CE, LCtx, Result);