cocci.inria.fr archive mirror

 messages from 2019-10-18 12:01:04 to 2019-11-22 15:10:46 UTC [more...]

[Cocci] Concerns around type safety for usage of expressions
 2019-11-22 15:10 UTC  (12+ messages)

[Cocci] [PATCH] net: Zeroing the structure ethtool_wolinfo in ethtool_get_wol()
 2019-11-21 20:40 UTC  (8+ 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)

[Cocci] Using the same replacement for different source code
 2019-11-12 12:15 UTC 

[Cocci] [PATCH v7] coccicheck: Support search for SmPL scripts within selected directory hierarchy
 2019-11-12  1:06 UTC  (3+ messages)
` [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 

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

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

[Cocci] Checking data processing around invalidate_aliases()
 2019-11-05  9:12 UTC 

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

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

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

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

[Cocci] Moving exception handling code to the end of a function implementation with SmPL?
 2019-11-01 16:12 UTC  (10+ messages)
  ` [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)
    ` [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)
  ` [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)
  ` [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)

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

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

[Cocci] Checking pretty-printing around a transformation for array_size()
 2019-10-26 13:18 UTC  (4+ messages)
` [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  (5+ messages)
  ` [Cocci] [PATCH v3] coccicheck: Support search for SmPL scripts withinselected "
    ` [Cocci] [v3] coccicheck: Support search for SmPL scripts within selected "

[Cocci] [PATCH v2] coccicheck:support $COCCI being defined as a directory
 2019-10-24 10:52 UTC  (11+ messages)
  ` [Cocci] [PATCH v2] coccicheck: support "
      ` [Cocci] [v2] "
  ` [Cocci] [PATCH v2] coccicheck:support $COCCI being defined as adirectory
  ` [Cocci] [PATCH v2] coccicheck: support "
    ` [Cocci] [v2] "

[Cocci] [PATCH] Configuring COCCI parameter as a directory is supportted
 2019-10-23 14:08 UTC  (5+ messages)
  ` [Cocci] [PATCH] Configuring COCCI parameter as a directory issupportted
  ` [Cocci] [PATCH] coccicheck: Configuring COCCI parameter for supporting a directory search

[Cocci] Checking the “display” of last two statements in code blocks
 2019-10-22 15:19 UTC  (3+ messages)
` [Cocci] Searching for "

[Cocci] Software analysis with SmPL around unchecked function calls
 2019-10-20  9:22 UTC  (23+ messages)
  ` [Cocci] Software analysis with SmPL around unchecked pointer "

[Cocci] [PATCH] coccinelle: api/devm_platform_ioremap_resource: remove useless script
 2019-10-19 16:36 UTC  (5+ messages)
    ` [Cocci] "

[Cocci] Checking function signatures with SmPL
 2019-10-18 12:43 UTC  (2+ messages)