cocci.inria.fr archive mirror

 messages from 2022-06-04 14:51:05 to 2022-10-05 10:25:32 UTC [more...]

[cocci] Matching against struct_group()
 2022-10-05 10:25 UTC  (4+ messages)

[cocci] usage of locks
 2022-10-03 12:52 UTC  (22+ messages)
` [cocci] Checking the usage of locks with SmPL
` [cocci] Checking explanations for SmPL functionality

[cocci] spatch --jobs N missing matches?
 2022-09-28  5:23 UTC  (7+ messages)

[cocci] [PATCH v3 0/2] coccinelle: Introduce cocci script to detect missing mutext and spin lock initialization
 2022-09-25 20:33 UTC  (14+ messages)
` [cocci] [PATCH v3 1/2] coccinelle: locks: add missing_mutex_init.cocci script
      ` [cocci] [v3 "
` [cocci] [PATCH v3 2/2] coccinelle: locks: add missing_spin_lock_init.cocci script

[cocci] [PATCH v2 1/2] coccinelle: locks: add missing_mutex_init.cocci script
 2022-09-22 12:27 UTC  (9+ messages)
` [cocci] [PATCH v2 2/2] coccinelle: locks: add missing_spin_lock_init.cocci script
    ` [cocci] [v2 1/2] coccinelle: locks: add missing_mutex_init.cocci script

[cocci] [PATCH] scripts: coccicheck: use "grep -E" instead of "egrep"
 2022-09-21 19:26 UTC  (2+ messages)

[cocci] pcre vs pcre2
 2022-09-20 13:46 UTC  (4+ messages)

[cocci] [PATCH 1/2] coccinelle: locks: add missing_mutex_init.cocci script
 2022-09-19  8:10 UTC  (8+ messages)
` [cocci] [PATCH 2/2] coccinelle: locks: add missing_spin_lock_init.cocci script

[cocci] [PATCH] Exit with non-zero status when spatch on a directory fails
 2022-09-05 21:28 UTC  (13+ messages)
  ` [cocci] [PATCH v2] "

[cocci]
 2022-09-05  9:02 UTC 

[cocci] [PATCH 1/2] engine/postprocess_transinfo.ml: Fix indentation
 2022-09-03  9:38 UTC  (2+ messages)
` [cocci] [PATCH 2/2] Distinguish script-based fresh ids with differing args

[cocci] Optimizing *.cocci rules by concat'ing them
 2022-09-01 18:12 UTC  (3+ messages)
` [cocci] Checking consequences from concatenation of SmPL rules

[cocci] match arbitrary argument position
 2022-08-21 11:33 UTC  (25+ messages)
          ` [cocci] Working with parameter/expression lists by SmPL
              ` [cocci] Checking a comment addition

[cocci] match arbitrary argument position
 2022-08-16  8:58 UTC 

[cocci] Replacing struct field references with field references from a different struct
 2022-08-08 11:56 UTC  (2+ messages)

[cocci] Can coccinelle be used for adding header files
 2022-08-03 11:26 UTC  (3+ messages)

[cocci] [PATCH] scripts/coccinelle/free: add NULL test before dev_{put, hold} functions
 2022-07-16 13:38 UTC  (7+ messages)
    ` [cocci] "

[cocci] spatch errors out with "not supported"
 2022-07-16 13:02 UTC  (3+ messages)
` [cocci] Support for construct “do {…} while(…)”?

[cocci] How do I disable formatting for the "+"-side of a rule?
 2022-07-15  9:50 UTC  (5+ messages)

[cocci] Developing reusable libraries for computation tree logic?
 2022-07-11  7:23 UTC 

[cocci] [PATCH v5] coccinelle: Extend address test from ifaddr semantic patch to test expressions
 2022-07-09  5:30 UTC  (13+ messages)
    ` [cocci] [v5] "

[cocci] [PATCH] coccinelle: api: explicitly request exclusive reset controls
 2022-07-07 17:38 UTC  (2+ messages)

[cocci] [PATCH v4] coccinelle: Extend address test from ifaddr semantic patch to test expressions
 2022-07-01 16:20 UTC  (8+ messages)
        ` [cocci] [v4] "

[cocci] [PATCH] dev-tools: fix one invalid url
 2022-06-27  1:40 UTC  (6+ messages)

[cocci] Coccinelle does not parse macros ending in a comma
 2022-06-25 18:32 UTC  (2+ messages)

[cocci] [PATCH v3] coccinelle: Extend address test from ifaddr to every test expression
 2022-06-23 19:35 UTC  (13+ messages)
    ` [cocci] "

[cocci] Matching VAR followed by foo(VAR) with no other use of VAR in the function
 2022-06-21 22:44 UTC  (3+ messages)

[cocci] Matching either declaration or assignment
 2022-06-20 10:58 UTC  (2+ messages)

[cocci] [PATCH v2] dev-tools: modify SPL reference URL to actual SPL doc entry
 2022-06-14  1:55 UTC 

[cocci] [PATCH v2] coccinelle: ifaddr: Find address test in more complex conditions
 2022-06-09 20:44 UTC  (14+ messages)
    ` [cocci] "

[cocci] [PATCH] coccinelle: ifaddr: Find address test in more complex conditions
 2022-06-07  8:18 UTC  (6+ messages)
    ` [cocci] "