Coccinelle archive on lore.kernel.org
 help / color / Atom feed
[Cocci] [PATCH] coccinelle: semantic patch to check for inappropriate do_div() calls
 2020-01-04  7:16 UTC  (3+ messages) - mbox.gz / Atom

[Cocci] transforming arguments to statement macros?
 2020-01-03 16:03 UTC  (3+ messages) - mbox.gz / Atom

[Cocci] Experiences around program transformations (including Java)
 2019-12-22 14:06 UTC  - mbox.gz / Atom

[Cocci] Automatic program repair workshop in London
 2019-12-16 16:27 UTC  - mbox.gz / Atom

[Cocci] Replacing printf/format calls based on the data-type
 2019-12-07  7:49 UTC  (31+ messages) - mbox.gz / Atom
  ` [Cocci] Replacing printf() parameters according to used data types
                ` [Cocci] Changing format string usage with SmPL?
                      ` [Cocci] Generation of expression lists by SmPL script rules?

[Cocci] [PATCH 0/2] cocci: Fix continue statement of death and similar cases
 2019-11-27 20:43 UTC  (5+ messages) - mbox.gz / Atom
` [Cocci] [PATCH 1/2] engine: remove circular references in MINUS/NOREPLACEMENT case
` [Cocci] [PATCH 2/2] tests: Add test case for statement removed and added

[Cocci] Coccinelle has some competition
 2019-11-27 20:42 UTC  (2+ messages) - mbox.gz / Atom

[Cocci] Problem writing simple patch
 2019-11-27  6:00 UTC  (6+ messages) - mbox.gz / Atom
  ` [Cocci] Specifying conditional compilation with SmPL

[Cocci] Concerns around type safety for usage of expressions
 2019-11-24 10:40 UTC  (16+ messages) - mbox.gz / Atom
                      ` [Cocci] Checking influence of variability with SmPL

[Cocci] "already tagged token" error?
 2019-11-21 20:42 UTC  (3+ messages) - mbox.gz / Atom
` [Cocci] Merging SmPL rules

[Cocci] [PATCH] net: Zeroing the structure ethtool_wolinfo in ethtool_get_wol()
 2019-11-21 20:40 UTC  (8+ messages) - mbox.gz / Atom

[Cocci] field access scoping / check who accesses certain struct members ?
 2019-11-21 16:04 UTC  (3+ messages) - mbox.gz / Atom

[Cocci] [PATCH 0/4 v2] improve platform_get_irq.cocci
 2019-11-20 14:33 UTC  (6+ messages) - mbox.gz / Atom
` [Cocci] [PATCH 1/4 v2] coccinelle: platform_get_irq: simplify context case
` [Cocci] [PATCH 2/4 v2] coccinelle: platform_get_irq: handle 2-statement branches
` [Cocci] [PATCH 3/4 v2] coccinelle: platform_get_irq: allow multiple dev_errs
` [Cocci] [PATCH 4/4 v2] coccinelle: platform_get_irq: drop unneeded metavariable

[Cocci] [PATCH 0/4] improve platform_get_irq.cocci
 2019-11-20  9:38 UTC  (9+ messages) - mbox.gz / Atom
` [Cocci] [PATCH 1/4] coccinelle: platform_get_irq: simplify context case
` [Cocci] [PATCH 2/4] coccinelle: platform_get_irq: handle 2-statement branches
      ` [Cocci] [2/4] "
` [Cocci] [PATCH 3/4] coccinelle: platform_get_irq: allow multiple dev_errs
` [Cocci] [PATCH 4/4] coccinelle: platform_get_irq: drop unneeded metavariable

[Cocci] [PATCH] Coccinelle: ptr_ret: drop PTR_ERR_OR_ZERO semantic patch
 2019-11-19 15:56 UTC  - mbox.gz / Atom

[Cocci] [PATCH] parsing_c: handle space and ctx newline around minus toks
 2019-11-19  9:34 UTC  - mbox.gz / Atom

[Cocci] Improve parsing for “sha1dc/sha1.c”
 2019-11-19  7:55 UTC  - mbox.gz / Atom

[Cocci] Data processing with pointer types/expressions
 2019-11-18 12:26 UTC  - mbox.gz / Atom

[Cocci] Relationships between kinds of metavariables?
 2019-11-18  7:08 UTC  - mbox.gz / Atom

[Cocci] Checking size determinations with SmPL
 2019-11-17 14:46 UTC  (3+ messages) - mbox.gz / Atom

[Cocci] git-coccinelle: adjustments for array.cocci?
 2019-11-16 18:29 UTC  (8+ messages) - mbox.gz / Atom

[Cocci] Using the same replacement for different source code
 2019-11-14 16:34 UTC  (7+ messages) - mbox.gz / Atom

[Cocci] Using a metavariable type for function calls?
 2019-11-14 16:23 UTC  (5+ messages) - mbox.gz / Atom

[Cocci] Checking data processing for parentheses in SmPL scripts
 2019-11-12 16:07 UTC  (5+ messages) - mbox.gz / Atom

[Cocci] Using the same replacement for different source code
 2019-11-12 12:15 UTC  - mbox.gz / Atom

[Cocci] [PATCH v7] coccicheck: Support search for SmPL scripts within selected directory hierarchy
 2019-11-12  1:06 UTC  (3+ messages) - mbox.gz / Atom
` [Cocci] [v7] "
  ` [Cocci] [v7] coccicheck: Support search for SmPL scripts within selecteddirectory hierarchy

[Cocci] RDMA/hns: Checking two kfree() calls in hns_roce_v1_release_lp_qp()
 2019-11-08 15:40 UTC  - mbox.gz / Atom

[Cocci] Fixing SmPL scripts for data output according to structured file formats
 2019-11-08 13:05 UTC  (3+ messages) - mbox.gz / Atom

[Cocci] Checking data processing for clk_put.cocci
 2019-11-06 17:48 UTC  - mbox.gz / Atom

[Cocci] Checking data processing around invalidate_aliases()
 2019-11-05  9:12 UTC  - mbox.gz / Atom

[Cocci] [PATCH v6] coccicheck: Support search for SmPL scripts within selected directory hierarchy
 2019-11-04 15:40 UTC  (2+ messages) - mbox.gz / Atom

[Cocci] Coccinelle: zalloc-simple: Checking data processing for a bigger SmPL disjunction
 2019-11-04 13:45 UTC  (3+ messages) - mbox.gz / Atom

[Cocci] [PATCH] Coccinelle: zalloc-simple: Adjust a message construction
 2019-11-03 21:00 UTC  (3+ messages) - mbox.gz / Atom
  ` [Cocci] "

[Cocci] Detecting functions with dummy return value
 2019-11-02  6:40 UTC  (4+ messages) - mbox.gz / Atom

[Cocci] Moving exception handling code to the end of a function implementation with SmPL?
 2019-11-01 16:12 UTC  (10+ messages) - mbox.gz / Atom
  ` [Cocci] Checking the occurrence of trailing spaces in a semantic patch
      ` [Cocci] Checking code layout for adding jump targets with SmPL

[Cocci] [PATCH v4] coccicheck: Support search for SmPL scripts within selected directory hierarchy
 2019-11-01  8:20 UTC  (9+ messages) - mbox.gz / Atom
    ` [Cocci] [PATCH v4] coccicheck: Support search for SmPL scripts withinselected "
      ` [Cocci] [v4] coccicheck: Support search for SmPL scripts within selected "
        ` [Cocci] [v4] coccicheck: Support search for SmPL scripts within selecteddirectory hierarchy

[Cocci] [PATCH v5] coccicheck: Support search for SmPL scripts within selected directory hierarchy
 2019-11-01  2:25 UTC  (3+ messages) - mbox.gz / Atom
  ` [Cocci] [PATCH v5] coccicheck: Support search for SmPL scripts withinselected "

[Cocci] phy: tegra: xusb: Complete exception handling in probe functions
 2019-10-31  8:12 UTC  (8+ messages) - mbox.gz / Atom
  ` [Cocci] drivers/phy/tegra: Completion for exception handling in probe functions with SmPL?
    ` [Cocci] xusb-tegra186: Renaming known jump labels "
    ` [Cocci] xusb-tegra186: Adding a function call behind a label "

[Cocci] Warning message from 'make nsdeps' when namespace is lower cases
 2019-10-29 14:45 UTC  (4+ messages) - mbox.gz / Atom

[Cocci] coccinelle: api/devm_platform_ioremap_resource: remove useless script
 2019-10-29  8:55 UTC  (8+ messages) - mbox.gz / Atom

[Cocci] Searching designated initialisers with SmPL
 2019-10-27 17:17 UTC  (6+ messages) - mbox.gz / Atom

[Cocci] Checking pretty-printing around a transformation for array_size()
 2019-10-26 13:18 UTC  (4+ messages) - mbox.gz / Atom
` [Cocci] Checking placement of spaces for code changes with SmPL

[Cocci] [PATCH v3] coccicheck: Support search for SmPL scripts within selected directory hierarchy
 2019-10-26  2:31 UTC  (4+ messages) - mbox.gz / Atom
` [Cocci] [PATCH v3] coccicheck: Support search for SmPL scripts withinselected "
  ` [Cocci] [v3] coccicheck: Support search for SmPL scripts within selected "

page:   latest

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
	public-inbox-index cocci

Example config snippet for mirrors

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.git