In ongoing work, we are developing an extension of incorrectness separation logic that allows for abstraction for data structure libraries (lists, sets, etc.) as found in traditional correctness logics such as separation logic. We give a brief outline of the current status of the work.