Coccinelle archive on lore.kernel.org
 help / color / Atom feed
[Cocci] Munich, Germany, Oct. 8th: Intro to Semantic Patching with Coccinelle
 2019-09-21  6:31 UTC  - mbox.gz / Atom

[Cocci] Compiling with OCaml 4.08
 2019-09-19  9:29 UTC  (10+ messages) - mbox.gz / Atom
    ` [Cocci] Compiling with OCaml 4.09

[Cocci] [PATCH] coccinelle: api: add devm_platform_ioremap_resource script
 2019-09-19  7:21 UTC  (4+ messages) - mbox.gz / Atom
` [Cocci] Coccinelle: "

[Cocci] Coccinelle: pci_free_consistent: Checking when constraints
 2019-09-16  6:24 UTC  (5+ messages) - mbox.gz / Atom

[Cocci] const in parameter lists
 2019-09-15 11:38 UTC  (9+ messages) - mbox.gz / Atom

[Cocci] continue statement of death?
 2019-09-12 14:51 UTC  (5+ messages) - mbox.gz / Atom

[Cocci] Checking parsing difficulties around SmPL when constraints
 2019-09-11  9:09 UTC  (3+ messages) - mbox.gz / Atom

[Cocci] Adjusting SmPL script “tests/nest3.cocci”?
 2019-09-11  8:28 UTC  (2+ messages) - mbox.gz / Atom

[Cocci] Adjusting SmPL script “ptr_ret.cocci”?
 2019-09-07 16:40 UTC  (4+ messages) - mbox.gz / Atom
  ` [Cocci] [PATCH] Coccinelle: Reduce rules in SmPL script “ptr_ret.cocci”

[Cocci] [PATCH] scripts: coccinelle: check for !(un)?likely usage
 2019-09-07  8:05 UTC  (25+ messages) - mbox.gz / Atom
` [Cocci] [PATCH v2] "
      ` [Cocci] [v2] "

[Cocci] [PATCH -next] coccinelle: platform_get_irq: Fix parse error
 2019-09-06  6:59 UTC  (5+ messages) - mbox.gz / Atom

[Cocci] [RFC PATCH] coccinelle: check for integer overflow in binary search
 2019-09-05 14:23 UTC  (6+ messages) - mbox.gz / Atom

[Cocci] Matching variable declarations
 2019-09-05 14:08 UTC  (3+ messages) - mbox.gz / Atom

[Cocci] [PATCH v2 0/10] Symbol namespaces - RFC
 2019-08-29 12:13 UTC  (9+ messages) - mbox.gz / Atom
  ` [Cocci] [PATCH v2 08/10] scripts: Coccinelle script for namespace dependencies
    ` [Cocci] [v2 "
      ` [Cocci] [PATCH v3 08/11] "

[Cocci] Challenges around asterisk usage in SmPL code
 2019-08-28 11:50 UTC  (15+ messages) - mbox.gz / Atom
      ` [Cocci] Searching for unary operations with SmPL
            ` [Cocci] Checking information from “--parse-cocci”
          ` [Cocci] Checking null pointer handling with SmPL

[Cocci] SmPL highlighting on GitHub and GitLab
 2019-08-28  7:40 UTC  (3+ messages) - mbox.gz / Atom

[Cocci] Rule for turning !unlikely to likely
 2019-08-24 13:01 UTC  (3+ messages) - mbox.gz / Atom

[Cocci] [PATCH] floppy: fix usercopy direction
 2019-08-13  7:50 UTC  (8+ messages) - mbox.gz / Atom
      ` [Cocci] "

[Cocci] Make rule depend on comment
 2019-08-09 15:07 UTC  (10+ messages) - mbox.gz / Atom

[Cocci] Remove entire multidecl
 2019-08-09  6:33 UTC  (3+ messages) - mbox.gz / Atom

[Cocci] [PATCH v5 0/3] Add error message to platform_get_irq*()
 2019-08-08  7:51 UTC  (7+ messages) - mbox.gz / Atom
` [Cocci] [PATCH v5 3/3] coccinelle: Add script to check for platform_get_irq() excessive prints

[Cocci] How to match all conditions in if-else if blocks?
 2019-07-31 11:27 UTC  (2+ messages) - mbox.gz / Atom

[Cocci] [PATCH v6 00/57] Add error message to platform_get_irq*()
 2019-07-31  8:23 UTC  - mbox.gz / Atom

[Cocci] patch "coccinelle: Add script to check for platform_get_irq() excessive" added to driver-core-next
 2019-07-31  6:44 UTC  - mbox.gz / Atom

[Cocci] [Fwd: [PATCH 1/2] string: Add stracpy and stracpy_pad mechanisms]
 2019-07-29 16:28 UTC  (24+ messages) - mbox.gz / Atom
                    ` [Cocci] [PATCH 1/2] string: Add stracpy and stracpy_pad mechanisms
                        ` [Cocci] [1/2] "

[Cocci] [PATCH] coccinelle: api/atomic_as_refcounter: add SPDX License Identifier
 2019-07-25 11:21 UTC  (3+ messages) - mbox.gz / Atom

[Cocci] Coccinelle for Go
 2019-07-24 22:24 UTC  (5+ messages) - mbox.gz / Atom

[Cocci] [PATCH v4 0/3] Add error message to platform_get_irq*()
 2019-07-24 18:45 UTC  (8+ messages) - mbox.gz / Atom
` [Cocci] [PATCH v4 3/3] coccinelle: Add script to check for platform_get_irq() excessive prints
      ` [Cocci] [v4 "

[Cocci] [v4 2/3] treewide: Remove dev_err() usage after platform_get_irq()
 2019-07-24 11:17 UTC  - mbox.gz / Atom

[Cocci] force usage of stdbool in C programs
 2019-07-23 16:11 UTC  (2+ messages) - mbox.gz / Atom

[Cocci] spatch inserting the following rule into the patch
 2019-07-22 14:54 UTC  (4+ messages) - mbox.gz / Atom

[Cocci] How to write a pattern which crosses two functions?
 2019-07-20 10:11 UTC  (2+ messages) - mbox.gz / Atom

[Cocci] [PATCH v3] coccinelle: semantic code search for missing of_node_put
 2019-07-18 12:54 UTC  (9+ messages) - mbox.gz / Atom
    ` [Cocci] [v3] "
  ` [Cocci] [PATCH v3] coccinelle: semantic code search for missingof_node_put
` [Cocci] [v3] Coccinelle: semantic code search for “use after …”

[Cocci] [PATCH] scripts: coccinelle: add check for uncessary double unlikely() calls
 2019-07-15 19:50 UTC  - mbox.gz / Atom

[Cocci] [PULL] stream_open bits for Linux 5.3
 2019-07-15  7:33 UTC  (2+ messages) - 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