2 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
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…