* Re: [Cocci] Coccinelle: Handling of SmPL disjunctions [not found] ` <e59c77a0-f1d7-2f4e-fba1-c8ed11f93669@web.de> @ 2019-07-09 9:52 ` Markus Elfring 0 siblings, 0 replies; only message in thread From: Markus Elfring @ 2019-07-09 9:52 UTC (permalink / raw) To: Julia Lawall, Coccinelle Cc: Yi Wang, Michal Marek, Nicolas Palix, LKML, Ma Jiang, Cheng Shengyu, Wen Yang >>> How do you think about to increase the matching granularity >>> for this functionality? >> >> No idea what this means. Disjunctions are expanded up to the level of the >> nodes in the control-flow graph. > > We have got different expectations for working with such nodes > for possible (data flow) analysis. Will the chances become better to clarify this functionality? Which software components are involved so far? Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci ^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2019-07-09 9:53 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <e30b9777-6440-b041-9df9-f1a27ce06c6c@web.de>
[not found] ` <112fa697-3073-1a95-eb5b-fa62ad9607fb@web.de>
[not found] ` <alpine.DEB.2.21.1905142146560.2612@hadrien>
[not found] ` <20b242a6-23a8-9b48-5cfe-c99df809dd24@web.de>
[not found] ` <alpine.DEB.2.21.1905150811310.2591@hadrien>
[not found] ` <1794c3af-cec4-8b28-a299-400b857f0644@web.de>
[not found] ` <alpine.DEB.2.21.1905150908550.2591@hadrien>
[not found] ` <020c9629-fa44-170b-b2b0-baf3ba636a71@web.de>
[not found] ` <alpine.DEB.2.20.1905151120370.3231@hadrien>
[not found] ` <e59c77a0-f1d7-2f4e-fba1-c8ed11f93669@web.de>
2019-07-09 9:52 ` [Cocci] Coccinelle: Handling of SmPL disjunctions 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).