An implementation of the paper: M. Orlovich and R. Rugina. “Memory Leak Analysis by Contradi ction,” Static Analysis Sympo- sium, 2006”. http://citeseer.ist.psu.edu/viewdoc/summ ary?doi=10.1.1.120.5186