cocci.inria.fr archive mirror

 messages from 2022-09-03 09:39:16 to 2022-11-11 01:25:20 UTC [more...]

[cocci] [PATCH v1] coccinelle: api: Don't use devm_platform_get_and_ioremap_resource with res==NULL
 2022-11-10 15:07 UTC  (14+ messages)
  ` [cocci] [PATCH v2] "
` [cocci] [PATCH] "
          ` [cocci] "

[cocci] Possible bug in a semantic patch
 2022-11-09 20:21 UTC  (3+ messages)
` [cocci] Fixing the adjustment of variable declarations

[cocci] Replace custom function multiple times
 2022-11-04  9:48 UTC  (13+ messages)

[cocci] [PATCH -mm] -funsigned-char, x86: make struct p4_event_bind::cntr signed array
 2022-11-03 14:07 UTC  (9+ messages)

[cocci] No longer possible to build with system dependencies?
 2022-10-29  7:15 UTC  (10+ messages)
      ` [cocci] Checking quotation variants

[cocci] coccinelle is skipping include files?
 2022-10-24 16:53 UTC  (5+ messages)

[cocci] "not supported"
 2022-10-24 16:39 UTC  (19+ messages)
    ` [cocci] Replacing special do { … } while loops by selected function calls
    ` [cocci] Checking the replacement “get_random_u32_above(0)”
    ` [cocci] algebraic simplification possibilities with SmPL

[cocci] [PATCH 1/2] engine/postprocess_transinfo.ml: Fix indentation
 2022-10-22 12:56 UTC  (5+ messages)
` [cocci] [PATCH 2/2] Distinguish script-based fresh ids with differing args

[cocci] [PATCH] Exit with non-zero status when spatch on a directory fails
 2022-10-22 12:26 UTC  (15+ messages)
  ` [cocci] [PATCH v2] "

[cocci] Handling of SmPL code exclusion specifications
 2022-10-21 14:30 UTC  (2+ messages)
` [cocci] Explaining related information for computation tree logic?

[cocci] spatch adds zero or two lines after if statement
 2022-10-18 16:34 UTC  (8+ messages)
  ` [cocci] How to fix diff generation for adding if statements before return statements?

[cocci] how to check a for "don't care" state of a variable?
 2022-10-10 19:12 UTC  (16+ messages)
      ` [cocci] Reconsidering selected SmPL code

[cocci] "reachable by inconsistent control-flow paths"
 2022-10-10 17:45 UTC  (10+ messages)
` [cocci] Replacement of random functions for Linux

[cocci] [PATCH] python: Add make_expr and include_match documentation
 2022-10-09 18:38 UTC  (3+ messages)

[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  (3+ 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]
 2022-09-05  9:02 UTC 