Probleme mit Zeigern

• verschiedene Namen für gleiche Objekte (aliasing) erschweren Programmanalyse
• tote Zeiger (wg. verfrühter Freigabe)

  T *p = malloc (...); T *q = p; free (p); .. *q ..
  

• Speichermüll (wg. vergessener Freigabe)

  while (.. ) 
    { T *p = malloc (...); .. *p .. }