lkml.org 
[lkml]   [2019]   [May]   [15]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
SubjectRe: [4/5] Coccinelle: put_device: Extend when constraints for two SmPL ellipses
From
Date
> 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

\
 
 \ /
  Last update: 2019-05-15 19:11    [W:0.032 / U:0.112 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site