Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic

Antzeko izenburuak

• Blaiming the Client: On Data Refinement in the Presence of Pointers
  nork: Filipovic, I, et al.
  Argitaratua: (2010)
• Compositional Shape Analysis by means of Bi−abduction
  nork: Calcagno, C, et al.
  Argitaratua: (2009)
• Compositional Shape Analysis by Means of Bi-Abduction
  nork: Calcagno, C, et al.
  Argitaratua: (2011)
• Compositional Shape Analysis by means of Bi−abduction
  nork: Calcagno, C, et al.
  Argitaratua: (2011)
• Footprint Analysis: A Shape Analysis that Discovers Preconditions
  nork: Calcagno, C, et al.
  Argitaratua: (2007)