> Could we use it to find out as many bugs as possible in the current kernel
How do you think about to work with any more source code analysis approaches? > and then modify it? I guess that you do not need to wait for a solution so long. Variables which get reassigned in unwanted ways (before the desired call of a resource release function in the discussed use case) can be found also with the help of the semantic patch language (Coccinelle software). Regards, Markus
