On 08/18/2015 10:03 AM, Kenneth Adam Miller wrote: > @leo If kmemleak is not a language based approach, I ardently question the > completeness of such a verification. this is not a rational approach