cocci@systeme.lip6.fr

0

replies

Checking for consistency of the version data by the software build system

started 2017-10-12 20:17:45 UTC

2017-10-12 20:17:45 UTC

SF Markus Elfring

2

replies

prinkt specifiers

started 2017-10-11 05:07:45 UTC

2017-10-12 07:11:09 UTC

Tobin C. Harding

15

replies

[PATCH] coccinelle: api: detect duplicate chip data arrays

started 2017-10-01 17:42:48 UTC

2017-10-09 11:39:06 UTC

Julia Lawall

0

replies

[PATCH] Create the BINDIR too during make install

started 2017-10-03 02:05:44 UTC

2017-10-03 02:05:44 UTC

Michael Stefaniuc

25

replies

[PATCH v3 0/5] bq27xxx_battery data memory update

started 2017-08-30 10:45:12 UTC

2017-10-01 16:59:45 UTC

Julia Lawall

3

replies

updat on github

started 2017-09-28 00:25:22 UTC

2017-09-28 23:30:50 UTC

SF Markus Elfring

3

replies

[PATCH] coccicheck: improve pattern for getting relative path

started 2017-08-10 22:40:25 UTC

2017-09-23 21:49:29 UTC

Nicolas Palix (LIG)

2

replies

Bug when grepping for tokens from identifier constraints

started 2017-09-20 01:44:40 UTC

2017-09-20 02:04:05 UTC

Julia Lawall

1

reply

what is needed to match a set of fields?

started 2017-09-17 10:18:54 UTC

2017-09-17 10:28:48 UTC

Kees Cook

6

replies

Checking statement order for patch generation with SmPL support

started 2017-09-07 18:21:55 UTC

2017-09-08 12:15:52 UTC

Julia Lawall

0

replies

[PATCH 01/31] coccinelle: Improve setup_timer.cocci matching

started 2017-09-01 04:29:13 UTC

2017-09-01 04:29:13 UTC

Kees Cook

10

replies

cocci script to add static to const declarations ?

started 2017-08-30 15:49:05 UTC

2017-09-01 01:06:31 UTC

Joe Perches

14

replies

OpenLDAP debug statements

started 2017-08-29 20:08:11 UTC

2017-08-31 21:47:37 UTC

Julia Lawall

15

replies

[PATCH] Coccinelle: add atomic_as_refcounter script

started 2017-08-14 10:59:46 UTC

2017-08-29 15:57:07 UTC

Reshetova, Elena

1

reply

cocci: remove unnecessary casts of void * while avoiding casts with __user or __force ?

started 2017-08-28 21:49:19 UTC

2017-08-29 10:17:58 UTC

Julia Lawall

3

replies

Automatic replacement of function declarations

started 2017-08-28 11:45:06 UTC

2017-08-28 21:27:19 UTC

Kees Cook

5

replies

update

started 2017-08-28 16:36:53 UTC

2017-08-28 20:27:21 UTC

SF Markus Elfring

1

reply

attributes

started 2017-08-26 17:13:25 UTC

2017-08-28 18:37:48 UTC

SF Markus Elfring

11

replies

Matching function prototypes and casts

started 2017-08-23 03:02:15 UTC

2017-08-25 18:20:58 UTC

SF Markus Elfring

16

replies

parsing of C code

started 2017-08-23 02:15:08 UTC

2017-08-24 21:14:29 UTC

SF Markus Elfring

32

replies

Comparing statement lists with SmPL

started 2017-08-15 22:26:52 UTC

2017-08-24 12:56:22 UTC

SF Markus Elfring

2

replies

[PATCH] coccinelle: Improve setup_timer.cocci matching

started 2017-08-23 04:54:00 UTC

2017-08-23 23:57:12 UTC

Kees Cook

1

reply

Checking evaluation of a regular expression for a SmPL constraint

started 2017-08-20 00:30:41 UTC

2017-08-20 11:24:27 UTC

SF Markus Elfring

2

replies

isomorphism for &(structure)->field vs struct.field

started 2017-08-18 21:54:01 UTC

2017-08-19 00:48:02 UTC

Kees Cook

8

replies

Improving size determinations with SmPL

started 2017-08-17 20:18:05 UTC

2017-08-18 14:15:49 UTC

SF Markus Elfring

8

replies

spatch / semantic patch missing some conversions?

started 2017-08-17 20:35:02 UTC

2017-08-18 09:57:54 UTC

Julia Lawall

2

replies

Reading multiple input files

started 2017-08-17 01:09:43 UTC

2017-08-17 01:18:22 UTC

Gustavo A. R. Silva

4

replies

__init macro and Coccinelle

started 2017-08-16 01:18:10 UTC

2017-08-16 01:45:29 UTC

Gustavo A. R. Silva

11

replies

[PATCH] Coccinelle report script for refcounters

started 2017-07-18 12:48:30 UTC

2017-08-08 23:34:01 UTC

SF Markus Elfring

2

replies

[PATCH v2] Coccinelle: Script to remove unnecessary static on local variables

started 2017-08-02 21:53:56 UTC

2017-08-02 21:57:57 UTC

Julia Lawall