cocci.inria.fr archive mirror
 help / color / mirror / Atom feed
 messages from 2020-06-05 13:44:27 to 2020-06-26 18:35:34 UTC [more...]

[Cocci] Checking the parsing for a nested SmPL disjunction
 2020-06-26 18:35 UTC  (4+ messages)

[Cocci] Checking the display of SmPL isomorphism results (with pointers)
 2020-06-26  7:44 UTC  (2+ messages)

[Cocci] Checking the parsing for a specific SmPL disjunction
 2020-06-25 18:00 UTC  (3+ messages)

[Cocci] [PATCH] scripts: add dummy report mode to add_namespace.cocci
 2020-06-22 16:14 UTC  (8+ messages)

[Cocci] [PATCH] coccinelle: misc: add array_size_dup script to detect missed overlow checks
 2020-06-24 19:42 UTC  (26+ messages)
` [Cocci] [PATCH v2] "
` [Cocci] [PATCH v3] coccinelle: misc: add array_size_dup script to detect missed overflow checks
` [Cocci] [PATCH v4] "

[Cocci] [PATCH v4] coccinelle: misc: add array_size_dup script to detect missed overflow checks
 2020-06-23  7:02 UTC 

[Cocci] [v3] coccinelle: misc: add array_size_dup script to detect missed overflow checks
 2020-06-22 11:22 UTC 

[Cocci] [PATCH] coccinelle: api/kstrdup: fix coccinelle position
 2020-06-19 19:32 UTC  (2+ messages)

[Cocci] Fwd: [~npalix/ubuntu/coccinelle/focal] coccinelle 1.0.8~20.04npalix1 (Accepted)
 2020-06-18 20:06 UTC  (2+ messages)

[Cocci] moving variable declarations up
 2020-06-18 15:49 UTC  (8+ messages)

[Cocci] [PATCH v2] coccinelle: misc: add array_size_dup script to detect missed overflow checks
 2020-06-18 12:24 UTC 

[Cocci] moving variable declarations up
 2020-06-18  7:34 UTC  (2+ messages)

[Cocci] [PATCH] coccinelle: api: add kzfree script
 2020-06-17 21:42 UTC  (13+ messages)
` [Cocci] [PATCH v2] "
` [Cocci] [PATCH v3] "

[Cocci] [PATCH] coccinelle: api: add device_attr_show script
 2020-06-17 20:46 UTC  (4+ messages)

[Cocci] Checking the replacement of two specific function calls
 2020-06-17 18:20 UTC  (7+ messages)

[Cocci] coccinelle issues
 2020-06-17 16:37 UTC  (20+ messages)

[Cocci] [PATCH] coccinelle: misc: add array_size_dup script to detect missed overflow checks
 2020-06-17 16:14 UTC 

[Cocci] [PATCH] coccinelle: misc: Add array_size_dup script to detect missed overflow checks
 2020-06-17 14:36 UTC 

[Cocci] Software analysis around data type annotations
 2020-06-17  8:52 UTC  (7+ messages)

[Cocci] Ubuntu Focal release for Coccinelle
 2020-06-17  7:51 UTC  (2+ messages)

[Cocci] [PATCH 0/2] mm, treewide: Rename kzfree() to kfree_sensitive()
 2020-06-15 18:39 UTC  (4+ messages)
` [Cocci] [PATCH 1/2] "

[Cocci] [PATCH] coccinelle: api: add device_attr_show script
 2020-06-15 16:27 UTC  (3+ messages)
  ` [Cocci] "

[Cocci] [PATCH v3] coccinelle: api: add kzfree script
 2020-06-15 13:26 UTC 

[Cocci] [PATCH] coccinelle: misc: add array_size_dup script to detect missed overflow checks
 2020-06-15 12:25 UTC 

[Cocci] [PATCH] coccinelle: api: add kvfree script
 2020-06-14 18:36 UTC  (8+ messages)
` [Cocci] [PATCH v2] "

[Cocci] coccinelle issues
 2020-06-14 16:12 UTC 

[Cocci] coccinelle: api: add kvfree script
 2020-06-14 15:10 UTC 

[Cocci] [PATCH 1/3] parsing_cocci: arity: Apply mcode2arity on macrodecl/param attrs
 2020-06-12 12:10 UTC 

[Cocci] [PATCH 0/3] parsing_cocci: Improve attr management in context_neg et al
 2020-06-12  6:45 UTC  (4+ messages)
` [Cocci] [PATCH 1/3] parsing_cocci: arity: Apply mcode2arity on macrodecl/param attrs
` [Cocci] [PATCH 2/3] parsing_cocci: context_neg: Apply equal_mcode on cast/param attrs
` [Cocci] [PATCH 3/3] parsing_cocci: unify_ast: Apply unify_mcode on macrodecl attrs

[Cocci] [PATCH v2 0/4] Update memdup_user.cocci
 2020-06-11 21:25 UTC  (7+ messages)
` [Cocci] [PATCH v2 1/4] coccinelle: api: extend memdup_user transformation with GFP_USER
` [Cocci] [PATCH v2 2/4] coccinelle: api: extend memdup_user rule with vmemdup_user()
` [Cocci] [PATCH v2 3/4] coccinelle: api: filter out memdup_user definitions
` [Cocci] [PATCH v2 4/4] coccinelle: api: add selfcheck for memdup_user rule

[Cocci] Checking software behaviour according to selected SmPL code variants
 2020-06-10 16:28 UTC  (9+ messages)

[Cocci] [PATCH v2 1/4] coccinelle: api: extend memdup_user transformation with GFP_USER
 2020-06-09 14:16 UTC 

[Cocci] [PATCH 0/4] parsing_c: parser: Add end_attributes_opt rule
 2020-06-09 10:00 UTC  (6+ messages)
` [Cocci] [PATCH 1/4] "
` [Cocci] [PATCH 2/4] parsing_c: parser: Use end_attributes_opt in decl2
` [Cocci] [PATCH 3/4] parsing_c: parser: Use end_attributes_opt in field_declaration
` [Cocci] [PATCH 4/4] parsing_c: parser: Use end_attributes_opt in cpp_other

[Cocci] [PATCH v2 4/4] coccinelle: api: add selfcheck for memdup_user rule
 2020-06-09  9:36 UTC 

[Cocci] [PATCH v2 2/4] coccinelle: api: extend memdup_user rule with vmemdup_user()
 2020-06-08 19:24 UTC  (3+ messages)

[Cocci] [PATCH v2 4/4] coccinelle: api: add selfcheck for memdup_user rule
 2020-06-08 19:07 UTC 

[Cocci] [PATCH v2 3/4] coccinelle: api: filter out memdup_user definitions
 2020-06-08 18:40 UTC 

[Cocci] [PATCH v2 1/4] coccinelle: api: extend memdup_user transformation with GFP_USER
 2020-06-08 17:20 UTC 

[Cocci] [PATCH 0/4] parsing_c: parser: Add end_attributes_opt rule
 2020-06-08 13:12 UTC  (2+ messages)
` [Cocci] [Linux-kernel-mentees] "

[Cocci] Python interface
 2020-06-08 12:22 UTC 

[Cocci] Python interface
 2020-06-08 12:09 UTC 

[Cocci] Python interface
 2020-06-08 12:09 UTC 

[Cocci] Python interface
 2020-06-08 11:21 UTC  (7+ messages)

[Cocci] Python interface
 2020-06-08 11:09 UTC  (3+ messages)

[Cocci] Checking source file selections
 2020-06-08  7:33 UTC 

[Cocci] Suppressing a couple of matches
 2020-06-08  6:52 UTC 

[Cocci] [PATCH 1/1] docs: dev-tools: coccinelle: underlines
 2020-06-05  3:04 UTC 

[Cocci] [PATCH] coccinelle: api: add kvfree script
 2020-06-07 14:02 UTC  (8+ messages)
  ` [Cocci] "
    ` [Cocci] Coccinelle: Extending capabilities for source file pre-selection
        ` [Cocci] Coccinelle: Improving software components around usage of SmPL disjunctions

[Cocci] [PATCH 0/2] Update memdup_user.cocci
 2020-06-06 20:50 UTC  (8+ messages)
` [Cocci] [PATCH 1/2] Coccinelle: extend memdup_user transformation with GFP_USER
` [Cocci] [PATCH 2/2] Coccinelle: extend memdup_user rule with vmemdup_user()

[Cocci] [PATCH] coccinelle: api: add kvfree script
 2020-06-06 15:10 UTC  (3+ messages)
  ` [Cocci] "

[Cocci] [PATCH v3 23/32] parsing_c: type_annoter_c: Reflect Cast attributes
 2020-06-06 14:01 UTC  (3+ messages)
` [Cocci] [PATCH v4 "

[Cocci] coccinelle: api: add kzfree script
 2020-06-06  6:00 UTC 

[Cocci] [PATCH v4 00/14] cocci: Improve C parsing of attributes
 2020-06-05 13:48 UTC  (11+ messages)
` [Cocci] [PATCH v4 06/14] parsing_c: parser: Add rule for optional end attributes
` [Cocci] [PATCH v4 07/14] parsing_c: parser: Add attribute production in spec_qualif_list
` [Cocci] [PATCH v4 08/14] parsing_c: parser: Add init_declarator_attrs rule
` [Cocci] [PATCH v4 09/14] parsing_c: parser: Add field declaration end attributes production
` [Cocci] [PATCH v4 10/14] parsing_c: parser: Handle struct/union/enum end attributes
` [Cocci] [PATCH v4 11/14] parsing_c: parser: Add MacroDecl end attributes production
` [Cocci] [PATCH v4 12/14] parsing_c: parser: cpp_other "
` [Cocci] [PATCH v4 13/14] parsing_c: cpp_token_c: Introduce MACROANNOTATION hint
` [Cocci] [PATCH v4 14/14] cocci: standard.h: Annotate attributes with MACROANNOTATION


This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).