Re: cocci script for detecting alloc_apertures mem leak

2018-02-01 Thread Julia Lawall
On Thu, 1 Feb 2018, Mathieu Malaterre wrote: > Hi cocci gurus, > > I am wondering if coccinelle can handle detection of kzalloc mem leak > (within alloc_apertures call) ? Typically: > > $ cat drivers/video/fbdev/vesafb.c > static int vesafb_probe(struct platform_device *dev) > [...] > info->ap

cocci script for detecting alloc_apertures mem leak

2018-02-01 Thread Mathieu Malaterre
Hi cocci gurus, I am wondering if coccinelle can handle detection of kzalloc mem leak (within alloc_apertures call) ? Typically: $ cat drivers/video/fbdev/vesafb.c static int vesafb_probe(struct platform_device *dev) [...] info->apertures = alloc_apertures(1); but then: static void vesafb_des