@misc{indiciae13928e507d4b,
  title = {Hierarchical Shape Abstraction for Analysis of Free-List Memory Allocators},
  author = {Bin Fang and Mihaela Sighireanu},
  year = {2016},
  url = {https://arxiv.org/abs/1608.05676},
  note = {Source identifier: 1608.05676}
}