Applying bi-abduction to Java memory leaks

Ok guys, here there is a new idea. Well, new for you at least. Definitely not for Ivana and me that have been thinking this for quite some time now. But recently, we decided (finally!!) to write it down in a draft paper (currently submitted). It's yet another brand-new application of bi-abduction (these days is not surprising, isn't it?). This time is all about detecting objects which are allocated, not used anymore in the program, but which cannot be garbage collected (sometimes called Java memory leaks). I quite like the idea and I thought it was time to put it out there...

Here there is the draft, hope you enjoy it....