* Re: [4/5] Coccinelle: put_device: Extend when constraints for twoSmPL ellipses [not found] <201905141718583344787@zte.com.cn> @ 2019-05-14 9:51 ` Markus Elfring 2019-05-15 17:09 ` [4/5] Coccinelle: put_device: Extend when constraints for two SmPL ellipses Markus Elfring 1 sibling, 0 replies; 2+ messages in thread From: Markus Elfring @ 2019-05-14 9:51 UTC (permalink / raw) To: Wen Yang Cc: Julia Lawall, Gilles Muller, Masahiro Yamada, Michal Marek, Nicolas Palix, Yi Wang, LKML, Coccinelle > I did another experiment at that time and found that this modification will > reduce the false positive rate, Thanks for such feedback. Will my update suggestion influence the current (or future) software situation? > but it may also reduce the recall rate. Would you like to explain this information a bit more? > Could we use it to find out as many bugs as possible in the current kernel > and then modify it? I hope so. * Will the false positive rate influence change acceptance considerably? * Would you like to work with source code analysis approaches based on adjusted confidence settings? Regards, Markus ^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [4/5] Coccinelle: put_device: Extend when constraints for two SmPL ellipses [not found] <201905141718583344787@zte.com.cn> 2019-05-14 9:51 ` [4/5] Coccinelle: put_device: Extend when constraints for twoSmPL ellipses Markus Elfring @ 2019-05-15 17:09 ` Markus Elfring 1 sibling, 0 replies; 2+ messages in thread From: Markus Elfring @ 2019-05-15 17:09 UTC (permalink / raw) To: Wen Yang Cc: Julia Lawall, Gilles Muller, Masahiro Yamada, Michal Marek, Nicolas Palix, Yi Wang, Coccinelle, LKML > 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 ^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2019-05-15 17:10 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <201905141718583344787@zte.com.cn>
2019-05-14 9:51 ` [4/5] Coccinelle: put_device: Extend when constraints for twoSmPL ellipses Markus Elfring
2019-05-15 17:09 ` [4/5] Coccinelle: put_device: Extend when constraints for two SmPL ellipses Markus Elfring
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).