cocci.inria.fr archive mirror
 help / color / mirror / Atom feed
 messages from 2020-05-31 15:27:32 to 2020-06-17 03:29:58 UTC [more...]

[Cocci] Software analysis around data type annotations
 2020-06-17  3:29 UTC  (2+ messages)

[Cocci] Ubuntu Focal release for Coccinelle
 2020-06-16 16:14 UTC 

[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: misc: add array_size_dup script to detect missed overlow checks
 2020-06-15 18:46 UTC  (4+ messages)

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

[Cocci] [PATCH] coccinelle: api: add kzfree script
 2020-06-15 13:51 UTC  (19+ messages)
` [Cocci] [PATCH v2] "
` [Cocci] [PATCH v3] "

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

[Cocci] [PATCH] coccinelle: api: add device_attr_show script
 2020-06-15 13:02 UTC 

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

[Cocci] coccinelle issues
 2020-06-15  4:16 UTC  (19+ messages)

[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  5:58 UTC  (2+ messages)

[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  (16+ messages)
` [Cocci] [PATCH v4 01/14] parsing_c: parse_c: Ignore TMacroAttr and TMacroEndAttr in passed tokens
` [Cocci] [PATCH v4 02/14] parsing_c: parsing_hacks: Label end attributes correctly
` [Cocci] [PATCH v4 03/14] parsing_c: parsing_hacks: Commentize attributes before qualif/type
` [Cocci] [PATCH v4 04/14] parsing_c: parser: Add rule for multiple end attributes
` [Cocci] [PATCH v4 05/14] parsing_c: parser: Add expression statement attributes
` [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

[Cocci] [PATCH v2] coccinelle: api: add kzfree script
 2020-06-05  6:43 UTC 

[Cocci] [PATCH v2] coccinelle: api: add kzfree script
 2020-06-05  5:50 UTC 

[Cocci] How to match a part of a rule expression (documentation)
 2020-06-04  7:31 UTC  (4+ messages)

[Cocci] [PATCH] scripts: add dummy report mode to add_namespace.cocci
 2020-06-04 20:39 UTC  (3+ messages)

[Cocci] [PATCH] Coccinelle: Add dummy report mode to add_namespace.cocci
 2020-06-04 17:09 UTC 

[Cocci] [PATCH] coccinelle: api: add kzfree script
 2020-06-04 16:08 UTC  (3+ messages)
  ` [Cocci] "

[Cocci] Software documentation for “subE”?
 2020-06-04  8:43 UTC 

[Cocci] How to handle parts of expressions?
 2020-06-04  8:15 UTC 

[Cocci] Excluding function names in SmPL rules
 2020-06-03 11:04 UTC  (3+ messages)

[Cocci] Whitelist function in rule
 2020-06-02 18:57 UTC  (5+ messages)

[Cocci] [PATCH 2/2] Coccinelle: extend memdup_user rule with vmemdup_user()
 2020-06-01  6:24 UTC 

[Cocci] [PATCH 2/2] Coccinelle: extend memdup_user rule with vmemdup_user()
 2020-06-01  5:47 UTC  (2+ messages)
` [Cocci] [2/2] Coccinelle: memdup_user: Extending data processing for special tokens

[Cocci] [PATCH 1/2] Coccinelle: extend memdup_user transformation with GFP_USER
 2020-05-31 17:36 UTC 

[Cocci] [PATCH 00/27] cocci: Add struct end attributes to SmPL
 2020-05-31 15:26 UTC  (22+ messages)
` [Cocci] [PATCH 07/27] parsing_cocci: type_infer: Reflect struct end attributes
` [Cocci] [PATCH 08/27] parsing_cocci: arity: "
` [Cocci] [PATCH 09/27] parsing_cocci: check_meta: "
` [Cocci] [PATCH 10/27] parsing_cocci: compute_lines: "
` [Cocci] [PATCH 11/27] parsing_cocci: context_neg: "
` [Cocci] [PATCH 12/27] parsing_cocci: single_statement: "
` [Cocci] [PATCH 13/27] parsing_cocci: ast_cocci: Add "
` [Cocci] [PATCH 14/27] parsing_cocci: visitor_ast: Visit "
` [Cocci] [PATCH 15/27] parsing_cocci: pretty_print_cocci: Reflect "
` [Cocci] [PATCH 16/27] parsing_cocci: disjdistr: "
` [Cocci] [PATCH 17/27] parsing_cocci: adjust_pragmas: "
` [Cocci] [PATCH 18/27] parsing_cocci: unify_ast: "
` [Cocci] [PATCH 19/27] parsing_cocci: ast0toast: "
` [Cocci] [PATCH 20/27] parsing_c: unparse_cocci: "
` [Cocci] [PATCH 21/27] engine: check_exhaustive_pattern: "
` [Cocci] [PATCH 22/27] engine: cocci_vs_c: Match "
` [Cocci] [PATCH 23/27] ocaml: coccilib: Reflect "
` [Cocci] [PATCH 24/27] tools: spgen: "
` [Cocci] [PATCH 25/27] tests: Add test case to remove a struct end attribute
` [Cocci] [PATCH 26/27] tests: Add test case to detect "
` [Cocci] [PATCH 27/27] tests: Add test case to check struct endattr allminus


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).