A Heap of Problems

A Heap of Problems is a wiki↑ collecting benchmark examples aimed at improving communication between developers in the area of tools for separation logic and shape analysis.