Messages in this thread | | | Subject | Re: [4/5] Coccinelle: put_device: Extend when constraints for two SmPL ellipses | From | Markus Elfring <> | Date | Wed, 15 May 2019 19:09:55 +0200 |
| |
> 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
| |