Coccinelle archive on
 help / color / Atom feed
* Re: [Cocci] Coccinelle: Handling of SmPL disjunctions
       [not found]                 ` <>
@ 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?

Cocci mailing list

^ 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] <>
     [not found] ` <>
     [not found]   ` <alpine.DEB.2.21.1905142146560.2612@hadrien>
     [not found]     ` <>
     [not found]       ` <alpine.DEB.2.21.1905150811310.2591@hadrien>
     [not found]         ` <>
     [not found]           ` <alpine.DEB.2.21.1905150908550.2591@hadrien>
     [not found]             ` <>
     [not found]               ` <alpine.DEB.2.20.1905151120370.3231@hadrien>
     [not found]                 ` <>
2019-07-09  9:52                   ` [Cocci] Coccinelle: Handling of SmPL disjunctions Markus Elfring

Coccinelle archive on

Archives are clonable:
	git clone --mirror 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/ \
	public-inbox-index cocci

Newsgroup available over NNTP:

AGPL code for this site: git clone public-inbox