LKML Archive on lore.kernel.org
help / color / mirror / Atom feed
* 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).