Coccinelle archive on lore.kernel.org
 help / Atom feed
[Cocci] Does coccinelle support non-standard C?
 2019-05-22 11:57 UTC  (5+ messages) - mbox.gz / Atom

[Cocci] Continuation for a code search after a common SmPL rule?
 2019-05-21  6:15 UTC  (3+ messages) - mbox.gz / Atom

[Cocci] Coccinelle: semantic patch for missing of_node_put
 2019-05-20 20:11 UTC  (6+ messages) - mbox.gz / Atom

[Cocci] [PATCH] coccinelle: put_device: reduce false positives
 2019-05-14  9:51 UTC  (39+ messages) - mbox.gz / Atom
              ` [Cocci] Coccinelle: "
` [Cocci] [PATCH 0/5] Coccinelle: put_device: Adjustments for a SmPL script
  ` [Cocci] [PATCH 1/5] Coccinelle: put_device: Adjust a message construction
      ` [Cocci] [1/5] "
  ` [Cocci] [PATCH 2/5] Coccinelle: put_device: Add a cast to an expression for an assignment
  ` [Cocci] [PATCH 3/5] Coccinelle: put_device: Merge four SmPL when constraints into one
      ` [Cocci] [3/5] "
  ` [Cocci] [PATCH 4/5] Coccinelle: put_device: Extend when constraints for two SmPL ellipses
      ` [Cocci] [4/5] "
            ` [Cocci] [4/5] Coccinelle: put_device: Extend when constraints for twoSmPL ellipses
  ` [Cocci] [PATCH 5/5] Coccinelle: put_device: Merge two SmPL when constraints into one
      ` [Cocci] [5/5] "

[Cocci] [PATCH] coccinelle: semantic patch for missing of_node_put
 2019-05-09  8:10 UTC  (4+ messages) - mbox.gz / Atom
    ` [Cocci] Coccinelle: "

[Cocci] Coccinelle question
 2019-05-09  7:13 UTC  (2+ messages) - mbox.gz / Atom

[Cocci] Matching more than one declaration?
 2019-05-03 20:44 UTC  (5+ messages) - mbox.gz / Atom

[Cocci] detecting false positive sparse with coccinelle
 2019-04-30 10:56 UTC  (5+ messages) - mbox.gz / Atom
` [Cocci] Detecting false positive sparse with Coccinelle

[Cocci] Checking import of code search results into a table by parallel SmPL data processing
 2019-04-30  8:55 UTC  (10+ messages) - mbox.gz / Atom
` [Cocci] Rejecting parallel execution of SmPL scripts
` [Cocci] Data exchange over network interfaces by "
` [Cocci] Data exchange through message queue "

[Cocci] [Patch] Add dowhile support in SmPL
 2019-04-24 18:21 UTC  (4+ messages) - mbox.gz / Atom
` [Cocci] Addition of do-while support for SmPL

[Cocci] Checking uniqueness for source code positions during SmPL data processing
 2019-04-22  9:26 UTC  (5+ messages) - mbox.gz / Atom

[Cocci] Navigation for source code positions from error messages
 2019-04-21 16:33 UTC  - mbox.gz / Atom

[Cocci] Checking the “display” of last two statements in code blocks
 2019-04-20  8:11 UTC  (12+ messages) - mbox.gz / Atom
      ` [Cocci] Clarification for SmPL asterisk functionality
` [Cocci] Searching for last two statements in code blocks
` [Cocci] Checking the search for duplicate statements at the end of if branches
  ` [Cocci] Checking execution environment for Python code in SmPL scripts

[Cocci] Add code after local variable declarations ?
 2019-04-17 16:42 UTC  (9+ messages) - mbox.gz / Atom
  ` [Cocci] Add code after local variable declarations?

[Cocci] Working with backreferences in SmPL scripts?
 2019-04-17  8:23 UTC  (3+ messages) - mbox.gz / Atom

[Cocci] Can coccinelle differentiate between a string literal and a string variable?
 2019-04-16 21:48 UTC  (2+ messages) - mbox.gz / Atom

[Cocci] Searching for duplicate statements in if branches (with SmPL)?
 2019-04-14  8:27 UTC  (19+ messages) - mbox.gz / Atom
  ` [Cocci] Checking influence of loops?
                          ` [Cocci] Clarification for SmPL ellipsis functionality
                          ` [Cocci] Clarification for SmPL functionality around position variables

[Cocci] [PATCH] add __printf and __must_hold macro
 2019-04-08 19:57 UTC  (2+ messages) - mbox.gz / Atom

[Cocci] [PATCH] Coccinelle: kstrdup: Fix typo in warning messages
 2019-04-08 19:19 UTC  - mbox.gz / Atom

[Cocci] Type propagation of unknown field types in arithmetic operations
 2019-04-07 21:28 UTC  - mbox.gz / Atom

[Cocci] ormatting problems when introducing a function with coccinelle
 2019-04-07 20:17 UTC  (7+ messages) - mbox.gz / Atom

[Cocci] [PATCH] coccinelle: api: add devm_platform_ioremap_resource script
 2019-04-06 12:36 UTC  (4+ messages) - mbox.gz / Atom

[Cocci] A complex set of rules: can it be done ?
 2019-03-31 17:42 UTC  (5+ messages) - mbox.gz / Atom
  ` [Cocci] Introduction of HWMON_CHANNEL_INFO() macro with SmPL?

[Cocci] [PATCH] scripts: coccinelle: Fix description of badty.cocci
 2019-03-28 13:23 UTC  (3+ messages) - mbox.gz / Atom

[Cocci] Capturing all array initializers?
 2019-03-27 10:30 UTC  (5+ messages) - mbox.gz / Atom

[Cocci] RFC catching hidden code in if conditions
 2019-03-26 19:04 UTC  (3+ messages) - mbox.gz / Atom

[Cocci] [PATCH v5] coccinelle: semantic code search for missing put_device()
 2019-03-26  9:58 UTC  (9+ messages) - mbox.gz / Atom
  ` [Cocci] [v5] "

[Cocci] modifying C99 initializers?
 2019-03-21 20:22 UTC  (6+ messages) - mbox.gz / Atom

[Cocci] Changing function pointer typedef
 2019-03-17 18:43 UTC  (6+ messages) - mbox.gz / Atom

[Cocci] [PATCH] coccinelle: semantic patch for missing of_node_put
 2019-03-15 16:24 UTC  (3+ messages) - mbox.gz / Atom

[Cocci] Substitution of function call to structure parameter
 2019-03-12 13:58 UTC  (8+ messages) - mbox.gz / Atom

[Cocci] Coccinelle is confuse by extern __printf macro (ie attribute)
 2019-03-08 18:15 UTC  (3+ messages) - mbox.gz / Atom

[Cocci] [v6] coccinelle: semantic code search for missing put_device()
 2019-03-06 11:18 UTC  (2+ messages) - mbox.gz / Atom

[Cocci] Splitting a source code search specification from a SmPL rule into more rules?
 2019-03-06  9:40 UTC  - mbox.gz / Atom

page: 

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