cocci.inria.fr archive mirror

 messages from 2019-11-12 13:24:03 to 2020-01-16 13:03:04 UTC [more...]

[Cocci] [PATCH] parsing_c: Add space for tokens after *
 2020-01-16 13:02 UTC  (6+ messages)
  ` [Cocci] "

[Cocci] [PATCH] parsing_c: Add space for tokens after *
 2020-01-16 10:44 UTC  (5+ messages)
` [Cocci] [PATCH 0/2] cocci: "
  ` [Cocci] [PATCH 1/2] parsing_c: "
  ` [Cocci] [PATCH 2/2] tests: Add test case for * const *

[Cocci] Q: does spatch understand typeof?
 2020-01-15 16:00 UTC  (8+ messages)

[Cocci] Concatenating parameters into a string
 2020-01-14  7:16 UTC  (6+ messages)

[Cocci] [PATCH v3] coccinelle: semantic patch to check for inappropriate do_div() calls
 2020-01-12  8:49 UTC  (10+ messages)
    ` [Cocci] [v3] "

[Cocci] [PATCH 0/2] cocci: Support user comments attached to identifiers
 2020-01-11  9:18 UTC  (5+ messages)
` [Cocci] [PATCH 1/2] parsing_c: Support user comments attached to identifier
` [Cocci] [PATCH 2/2] tests: Add test case for user comments attached to ident
  ` [Cocci] [PATCH 2/2] tests: Add test case for user comments attached to identifiers
  ` [Cocci] [2/2] "

[Cocci] [PATCH v2] coccinelle: semantic patch to check for inappropriate do_div() calls
 2020-01-10 15:46 UTC  (13+ messages)
    ` [Cocci] [v2] "
    ` [Cocci] [v2] coccinelle: semantic code search "

[Cocci] Coccinelle (software): Request for permission to use on Wikipedia
 2020-01-10 15:00 UTC 

[Cocci] [PATCH] parsing_c: Handle case of annotation in function proto/def
 2020-01-09 10:47 UTC  (2+ messages)

[Cocci] transforming arguments to statement macros?
 2020-01-08 22:05 UTC  (11+ messages)
        ` [Cocci] Adding semicolons after macro calls
            ` [Cocci] Improving support for data processing around "

[Cocci] [PATCH] parsing_c: Handle case of annotation and ; or = after ident
 2020-01-08 13:00 UTC  (2+ messages)

[Cocci] [PATCH] coccinnelle: Remove ptr_ret script
 2020-01-07 10:29 UTC  (2+ messages)

[Cocci] [PATCH] coccinelle: semantic patch to check for inappropriate do_div() calls
 2020-01-05 12:07 UTC  (10+ messages)
    ` [Cocci] "

[Cocci] Experiences around program transformations (including Java)
 2019-12-22 14:06 UTC 

[Cocci] Automatic program repair workshop in London
 2019-12-16 16:27 UTC 

[Cocci] Replacing printf/format calls based on the data-type
 2019-12-07  7:49 UTC  (31+ messages)
  ` [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)
` [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)

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

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

[Cocci] [PATCH] net: Zeroing the structure ethtool_wolinfo in ethtool_get_wol()
 2019-11-21 20:40 UTC  (7+ messages)

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

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

[Cocci] [PATCH 0/4 v2] improve platform_get_irq.cocci
 2019-11-20 14:33 UTC  (6+ messages)
` [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)
` [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 

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

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

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

[Cocci] Relationships between kinds of metavariables?
 2019-11-18  7:08 UTC 

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

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

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

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

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