reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2406 SVal Arg0Val = C.getSVal(arg0Expr); 2411 SValBuilder &svalBuilder = C.getSValBuilder(); 2420 SVal TotalSize = C.getSVal(Arg1); 2422 TotalSize = evalMulForBufferSize(C, Arg1, CE->getArg(2)); 2443 ProgramStateRef stateMalloc = MallocMemAux(C, CE, TotalSize, 2454 SVal RetVal = C.getSVal(CE); 2468 FreeMemAux(C, CE, StateSizeIsZero, 0, false, IsKnownToBeAllocated)) 2473 FreeMemAux(C, CE, State, 0, false, IsKnownToBeAllocated)) { 2475 ProgramStateRef stateRealloc = MallocMemAux(C, CE, TotalSize, 2491 C.getSymbolManager().addSymbolDependency(ToPtr, FromPtr);