2 citations · 2 across the 1 of their papers we have counts for
1 paper
Bin Fang, Mihaela Sighireanu
We propose a hierarchical abstract domain for the analysis of free-list memory allocators that tracks shape and numerical properties about both the heap and the free lists. Our dom…