Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators.

Bin Fang, Mihaela Sighireanu

Browse the full LOPSTR paper archive.