cocci.inria.fr archive mirror

 messages from 2018-12-07 17:52:46 to 2019-03-06 09:41:09 UTC [more...]

[Cocci] Splitting a source code search specification from a SmPL rule into more rules?
 2019-03-06  9:40 UTC 

[Cocci] Increasing warnings for potentially missed resource releases?
 2019-03-04 16:52 UTC 

[Cocci] Checking varying accesses to members of local variables with SmPL
 2019-03-03 17:01 UTC 

[Cocci] ERROR-RECOV: found sync '}' at line
 2019-03-02  6:04 UTC  (2+ messages)

[Cocci] Coccinelle is confuse by extern __printf macro (ie attribute)
 2019-02-28  7:05 UTC  (2+ messages)

New IoT/M2M Communication Products with Cloud Service
 2019-02-28  3:20 UTC 

[Cocci] Octal constants confuse spatch
 2019-02-26  6:25 UTC  (4+ messages)

[Cocci] How to handle/ignore iterator macros?
 2019-02-25 20:45 UTC  (5+ messages)

[Cocci] Capturing comments / whitespace with statement list?
 2019-02-21 15:56 UTC  (4+ messages)

[Cocci] Specifying that an expression is a string constant?
 2019-02-20 15:43 UTC  (3+ messages)

[Cocci] SmPL patch against C macro
 2019-02-20  6:25 UTC  (3+ messages)

[Cocci] [PATCH v6] coccinelle: semantic code search for missing put_device()
 2019-02-19  9:30 UTC  (24+ messages)
` [Cocci] [v6] "
  ` [Cocci] 答复: "

[Cocci] Qualifiers for field types get lost
 2019-02-16 21:06 UTC  (17+ messages)

[Cocci] [v5] coccinelle: semantic code search for missingput_device()
 2019-02-16  9:20 UTC  (5+ messages)

[Cocci] [v5] Coccinelle: semantic code search for missing put_device()
 2019-02-16  8:44 UTC  (4+ messages)

[Cocci] [v5] coccinelle: semantic code search for missingput_device()
 2019-02-16  8:34 UTC  (2+ messages)

[Cocci] [PATCH v5] coccinelle: semantic code search for missing put_device()
 2019-02-15 13:54 UTC  (7+ messages)
` [Cocci] [PATCH v5] Coccinelle: "
    ` [Cocci] [v5] "

[Cocci] [PATCH v4] coccinelle: semantic patch for missing put_device()
 2019-02-15  8:19 UTC  (4+ messages)
  ` [Cocci] [v4] "

[Cocci] [PATCH v4] coccinelle: semantic patch for missing put_device()
 2019-02-15  7:11 UTC  (2+ messages)
  ` [Cocci] [v4] "

[Cocci] [PATCH v4] coccinelle: semantic patch for missing put_device()
 2019-02-14 10:01 UTC 

[Cocci] [v3] coccinelle: semantic patch for missing put_device()
 2019-02-14  8:15 UTC 

[Cocci] [PATCH v3] coccinelle: semantic patch for missing put_device()
 2019-02-14  8:13 UTC  (4+ messages)
` [Cocci] [PATCH v3] Coccinelle: "
    ` [Cocci] [v3] "

[Cocci] [PATCH v2] coccinelle: semantic patch for missing put_device()
 2019-02-12 21:04 UTC  (3+ messages)

[Cocci] [PATCH] coccinelle: semantic patch for missing put_device()
 2019-02-09 19:10 UTC 

[Cocci] Whitespace Issue When Adding "!!"
 2019-02-01 20:42 UTC  (2+ messages)

[Cocci] Blank space in front of function definition name confuses spatch
 2019-01-28 21:50 UTC  (4+ messages)

[Cocci] matching concatenated preprocessor tokens
 2019-01-23 17:49 UTC  (5+ messages)

[Cocci] Fatal exception in spatch when #include file does not exist
 2019-01-23 16:14 UTC  (6+ messages)
          ` [Cocci] Source code adjustments in header files?

[Cocci] Positional parameter p1[0].file contains temporarily munged filename, not original
 2019-01-23  6:29 UTC  (9+ messages)

[Cocci] Questions about coccinelle
 2019-01-22 19:53 UTC  (2+ messages)

[Cocci] Confused by regex usage
 2019-01-17  6:50 UTC  (2+ messages)

[Cocci] [PATCH] standard.h: Add Z_SYSCALL_HANDLER macro
 2019-01-16 21:45 UTC  (2+ messages)

[Cocci] Adding a field to struct and new line issues
 2019-01-12 17:51 UTC  (4+ messages)

[Cocci] A question about a part of a CTL formula
 2019-01-09  8:58 UTC  (5+ messages)

[Cocci] [PATCH] scripts/coccinelle: check for redeclaration
 2019-01-06  1:41 UTC  (2+ messages)

[Cocci] [PATCH] scripts: coccinelle: boolinit: drop warnings on named constants
 2019-01-06  1:41 UTC  (2+ messages)

[Cocci] Can I pass a variable from a Python script in one rule to another rule in the same .cocci file?
 2019-01-05  6:25 UTC  (2+ messages)

[Cocci] Deleting unused declarations for variables with SmPL?
 2018-12-28  9:50 UTC  (5+ messages)

[Cocci] struct replacement
 2018-12-18 18:13 UTC  (12+ messages)

[Cocci] Determining the second line indent amount?
 2018-12-18 18:04 UTC  (2+ messages)

[Cocci] replacing defines
 2018-12-18 16:26 UTC  (11+ messages)

[Cocci] [PATCH 0/2] scripts: coccinelle: Improve boolinit
 2018-12-15 10:35 UTC  (5+ messages)
` [Cocci] [PATCH 1/2] scripts: coccinelle: only suggest true/false in files that already use them
` [Cocci] [PATCH 2/2] scripts: coccinelle: Correct warning message

[Cocci] PPA
 2018-12-14 13:23 UTC  (2+ messages)

[Cocci] Build issue after stdcompat upgrade
 2018-12-13 18:32 UTC  (7+ messages)

[Cocci] how to use Coccinelle
 2018-12-14  8:08 UTC  (2+ messages)

[Cocci] Fatal error: exception File "engine/ctlcocci_integration.ml", line 361, characters 4-10: Assertion failed
 2018-12-07 18:20 UTC  (7+ messages)