Coccinelle archive on lore.kernel.org
 help / color / Atom feed
* 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, back to index

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

Coccinelle archive on lore.kernel.org

Archives are clonable:
	git clone --mirror https://lore.kernel.org/cocci/0 cocci/git/0.git

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V2 cocci cocci/ https://lore.kernel.org/cocci \
		cocci@systeme.lip6.fr cocci@archiver.kernel.org
	public-inbox-index cocci


Newsgroup available over NNTP:
	nntp://nntp.lore.kernel.org/fr.lip6.systeme.cocci


AGPL code for this site: git clone https://public-inbox.org/ public-inbox