cocci.inria.fr archive mirror
 help / color / mirror / Atom feed
 messages from 2020-07-06 20:04:32 to 2020-08-04 07:50:14 UTC [more...]

[Cocci] [PATCH v3] coccinelle: api: add kvmalloc script
 2020-08-04  7:49 UTC 

[Cocci] [PATCH] scripts: coccicheck: Add chain mode to list of modes
 2020-08-04  2:31 UTC 

[Cocci] [PATCH] coccinelle: api: add kvmalloc script
 2020-08-04  6:32 UTC  (3+ messages)
` [Cocci] [PATCH v2] "
` [Cocci] [PATCH v3] "

[Cocci] [PATCH] coccinelle: api: add kvfree script
 2020-08-03 18:34 UTC  (18+ messages)
` [Cocci] [PATCH v2] "
` [Cocci] [PATCH v3] "
` [Cocci] [PATCH v4] "
` [Cocci] [PATCH v5] "
` [Cocci] [PATCH v6] "
` [Cocci] [PATCH v7] coccinelle: api: add kfree_mismatch script

[Cocci] [PATCH] coccinelle: api: add kvmalloc script
 2020-08-03 13:21 UTC 

[Cocci] [PATCH 00/43] cocci: Add support for meta attributes to SmPL
 2020-08-03  8:22 UTC  (9+ messages)
        ` [Cocci] [00/43] "

[Cocci] [PATCH 00/43] cocci: Add support for meta attributes to SmPL
 2020-08-02 12:16 UTC  (46+ messages)
` [Cocci] [PATCH 01/43] parsing_cocci: ast0_cocci: Add MetaAttribute & MetaAttributeDecl
` [Cocci] [PATCH 02/43] parsing_cocci: parser: Parse meta attributes and metaattr decls
` [Cocci] [PATCH 03/43] parsing_cocci: parse_cocci: Reflect MetaAttribute & MetaAttributeDecl
` [Cocci] [PATCH 04/43] parsing_cocci: ast_cocci: Add "
` [Cocci] [PATCH 05/43] parsing_cocci: iso_pattern: Reflect "
` [Cocci] [PATCH 06/43] parsing_c: unparse_hrule: "
` [Cocci] [PATCH 07/43] parsing_cocci: pretty_print_cocci: "
` [Cocci] [PATCH 08/43] ocaml: coccilib: "
` [Cocci] [PATCH 09/43] ocaml: yes_prepare_ocamlcocci: "
` [Cocci] [PATCH 10/43] parsing_c: ast_c: Add MetaAttributeVal
` [Cocci] [PATCH 11/43] parsing_c: unparse_hrule: Reflect MetaAttributeVal
` [Cocci] [PATCH 12/43] engine: cocci_vs_c: "
` [Cocci] [PATCH 13/43] engine: pattern_c: "
` [Cocci] [PATCH 14/43] engine: pretty_print_engine: Add MetaAttributeVal
` [Cocci] [PATCH 15/43] ocaml: coccilib: Reflect MetaAttributeVal
` [Cocci] [PATCH 16/43] ocaml: ocamlcocci_aux: "
` [Cocci] [PATCH 17/43] ocaml: run_ocamlcocci: "
` [Cocci] [PATCH 18/43] python: pycocci_aux: "
` [Cocci] [PATCH 19/43] parsing_cocci: visitor_ast0: Reflect MetaAttribute
` [Cocci] [PATCH 20/43] parsing_cocci: check_meta: "
` [Cocci] [PATCH 21/43] parsing_cocci: adjust_pragmas: "
` [Cocci] [PATCH 22/43] parsing_cocci: context_neg: "
` [Cocci] [PATCH 23/43] parsing_cocci: compute_lines: "
` [Cocci] [PATCH 24/43] parsing_cocci: iso_pattern: "
` [Cocci] [PATCH 25/43] parsing_cocci: function_prototypes: "
` [Cocci] [PATCH 26/43] parsing_cocci: arity: "
` [Cocci] [PATCH 27/43] parsing_cocci: unitary_ast0: "
` [Cocci] [PATCH 28/43] parsing_cocci: unparse_ast0: "
` [Cocci] [PATCH 29/43] parsing_cocci: ast0toast: "
` [Cocci] [PATCH 30/43] parsing_cocci: visitor_ast: "
` [Cocci] [PATCH 31/43] parsing_cocci: cleanup_rules: "
` [Cocci] [PATCH 32/43] parsing_cocci: free_vars: "
` [Cocci] [PATCH 33/43] parsing_cocci: get_constants: "
` [Cocci] [PATCH 34/43] parsing_cocci: get_constants2: "
` [Cocci] [PATCH 35/43] parsing_cocci: index: "
` [Cocci] [PATCH 36/43] parsing_cocci: pretty_print_cocci: "
` [Cocci] [PATCH 37/43] parsing_cocci: safe_for_multi_decls: "
` [Cocci] [PATCH 38/43] parsing_cocci: unify_ast: "
` [Cocci] [PATCH 39/43] parsing_c: unparse_cocci: "
` [Cocci] [PATCH 40/43] engine: cocci_vs_c: "
` [Cocci] [PATCH 41/43] tools: spgen: "
` [Cocci] [PATCH 42/43] tests: Add test case to match meta attribute
` [Cocci] [PATCH 43/43] tests: Add test case to remove a "

[Cocci] [PATCH v6] coccinelle: api: add kvfree script
 2020-08-02  7:09 UTC 

[Cocci] Match variable declaration with init expression
 2020-07-31 16:55 UTC  (2+ messages)

[Cocci] [PATCH v4] coccinelle: api: add kvfree script
 2020-07-31 14:38 UTC  (3+ messages)
        ` [Cocci] [v4] "

[Cocci] [PATCH 42/43] tests: Add test case to match meta attribute
 2020-07-26 14:30 UTC 

[Cocci] [PATCH 42/43] tests: Add test case to match meta attribute
 2020-07-26 13:52 UTC 

[Cocci] [PATCH v3 0/3] Update memdup_user.cocci
 2020-07-24 20:02 UTC  (5+ messages)
` [Cocci] [PATCH v3 1/3] coccinelle: api: extend memdup_user transformation with GFP_USER
` [Cocci] [PATCH v3 2/3] coccinelle: api: extend memdup_user rule with vmemdup_user()
` [Cocci] [PATCH v3 3/3] coccinelle: api: filter out memdup_user definitions

[Cocci] [PATCH v3 2/3] coccinelle: api: extend memdup_user rule with vmemdup_user()
 2020-07-22  6:24 UTC  (3+ messages)
        ` [Cocci] [v3 "

[Cocci] [PATCH 00/17] parsing_cocci: Add attributefn to the SmPL AST visitor
 2020-07-18 14:17 UTC  (19+ messages)
` [Cocci] [PATCH 01/17] parsing_cocci: visitor_ast: Add attributefn to "
` [Cocci] [PATCH 02/17] parsing_cocci: parse_cocci: Reflect attributefn in "
` [Cocci] [PATCH 03/17] parsing_cocci: cleanup_rules: "
` [Cocci] [PATCH 04/17] parsing_cocci: disjdistr: "
` [Cocci] [PATCH 05/17] parsing_cocci: free_vars: "
` [Cocci] [PATCH 06/17] parsing_cocci: get_constants2: "
` [Cocci] [PATCH 07/17] parsing_cocci: re_constraints: "
` [Cocci] [PATCH 08/17] parsing_cocci: safe_for_multi_decls: "
` [Cocci] [PATCH 09/17] parsing_cocci: stmtlist: "
` [Cocci] [PATCH 10/17] parsing_cocci: unify_ast: "
` [Cocci] [PATCH 11/17] parsing_c: unparse_hrule: "
` [Cocci] [PATCH 12/17] cocci: "
` [Cocci] [PATCH 13/17] engine: asttoctl2: "
` [Cocci] [PATCH 14/17] engine: asttomember: "
` [Cocci] [PATCH 15/17] engine: cocci_vs_c: "
` [Cocci] [PATCH 16/17] engine: transformation_c: "
` [Cocci] [PATCH 17/17] popl09: popltoctl: "

[Cocci] [PATCH 00/24] parsing_cocci: Add attributefn to the SmPL AST0 visitor
 2020-07-18 13:59 UTC  (26+ messages)
` [Cocci] [PATCH 01/24] parsing_cocci: visitor_ast0: Add attributefn to "
` [Cocci] [PATCH 02/24] parsing_cocci: ast0toast: Reflect attributefn in "
` [Cocci] [PATCH 03/24] parsing_cocci: check_meta: "
` [Cocci] [PATCH 04/24] parsing_cocci: function_prototypes: "
` [Cocci] [PATCH 05/24] parsing_cocci: iso_compile: "
` [Cocci] [PATCH 06/24] parsing_cocci: iso_pattern: "
` [Cocci] [PATCH 07/24] parsing_cocci: parse_cocci: "
` [Cocci] [PATCH 08/24] parsing_cocci: single_statement: "
` [Cocci] [PATCH 09/24] parsing_cocci: unitary_ast0: "
` [Cocci] [PATCH 10/24] parsing_cocci: ast0_cocci: Add AttributeTag to SmPL AST0
` [Cocci] [PATCH 11/24] parsing_cocci: visitor_ast0: Reflect AttributeTag in "
` [Cocci] [PATCH 12/24] parsing_cocci: iso_pattern: "
` [Cocci] [PATCH 13/24] parsing_cocci: unparse_ast0: "
` [Cocci] [PATCH 14/24] parsing_cocci: context_neg: "
` [Cocci] [PATCH 15/24] parsing_cocci: insert_plus: "
` [Cocci] [PATCH 16/24] parsing_cocci: ast_cocci: Add AttributeTag to the SmPL AST
` [Cocci] [PATCH 17/24] parsing_cocci: pretty_print_cocci: Reflect AttributeTag in "
` [Cocci] [PATCH 18/24] parsing_c: unparse_cocci: "
` [Cocci] [PATCH 19/24] parsing_cocci: visitor_ast: "
` [Cocci] [PATCH 20/24] parsing_cocci: ast0toast: Reflect AttributeTag in the SmPL ASTs
` [Cocci] [PATCH 21/24] ocaml: coccilib: "
` [Cocci] [PATCH 22/24] parsing_cocci: context_neg: Reflect attributefn in AST0 visitor
` [Cocci] [PATCH 23/24] parsing_cocci: insert_plus: "
` [Cocci] [PATCH 24/24] tools: spgen: "

[Cocci] [v2 1/4] coccinelle: api: extend memdup_user transformation with GFP_USER
 2020-07-18 13:29 UTC  (4+ messages)

[Cocci] [PATCH v2 0/4] Update memdup_user.cocci
 2020-07-17 20:56 UTC  (4+ messages)
` [Cocci] [PATCH v2 1/4] coccinelle: api: extend memdup_user transformation with GFP_USER

[Cocci] [PATCH] coccinelle: api: add kzfree script
 2020-07-17 20:39 UTC  (5+ messages)
` [Cocci] [PATCH v3] "
` [Cocci] [PATCH v4] "

[Cocci] [PATCH] parsing_cocci: parse_cocci: Extend is_permissible_proto list
 2020-07-11  8:02 UTC  (3+ messages)

[Cocci] [PATCH v2 RESEND 00/20] parsing_cocci: Wrap SmPL Attributes
 2020-07-08 18:22 UTC  (22+ messages)
` [Cocci] [PATCH v2 RESEND 01/20] parsing_cocci: ast0_cocci: "
` [Cocci] [PATCH v2 RESEND 02/20] parsing_cocci: parser: "
` [Cocci] [PATCH v2 RESEND 03/20] parsing_cocci: visitor_ast0: "
` [Cocci] [PATCH v2 RESEND 04/20] parsing_cocci: adjust_pragmas: "
` [Cocci] [PATCH v2 RESEND 05/20] parsing_cocci: arity: "
` [Cocci] [PATCH v2 RESEND 06/20] parsing_cocci: compute_lines: "
` [Cocci] [PATCH v2 RESEND 07/20] parsing_cocci: context_neg: "
` [Cocci] [PATCH v2 RESEND 08/20] parsing_cocci: iso_pattern: "
` [Cocci] [PATCH v2 RESEND 09/20] parsing_cocci: index: "
` [Cocci] [PATCH v2 RESEND 10/20] parsing_cocci: unparse_ast0: "
` [Cocci] [PATCH v2 RESEND 11/20] parsing_cocci: ast0toast: "
` [Cocci] [PATCH v2 RESEND 12/20] parsing_cocci: ast_cocci: "
` [Cocci] [PATCH v2 RESEND 13/20] parsing_cocci: visitor_ast: "
` [Cocci] [PATCH v2 RESEND 14/20] parsing_cocci: get_constants2: "
` [Cocci] [PATCH v2 RESEND 15/20] parsing_cocci: safe_for_multi_decls: "
` [Cocci] [PATCH v2 RESEND 16/20] parsing_cocci: unify_ast: "
` [Cocci] [PATCH v2 RESEND 17/20] parsing_cocci: pretty_print_cocci: "
` [Cocci] [PATCH v2 RESEND 18/20] parsing_c: unparse_cocci: "
` [Cocci] [PATCH v2 RESEND 19/20] engine: cocci_vs_c: "
` [Cocci] [PATCH v2 RESEND 20/20] ocaml: coccilib: "

[Cocci] Adding labels without indentation before specific statements?
 2020-07-08 17:30 UTC  (3+ messages)
` [Cocci] [PATCH] Coccinelle: Add a SmPL script for the reconsideration of function calls before return statements

[Cocci] [PATCH v2 00/20] parsing_cocci: Wrap SmPL Attributes
 2020-07-08 12:56 UTC  (22+ messages)
` [Cocci] [PATCH 01/20] parsing_cocci: ast0_cocci: "
` [Cocci] [PATCH 02/20] parsing_cocci: parser: "
` [Cocci] [PATCH 03/20] parsing_cocci: visitor_ast0: "
` [Cocci] [PATCH 04/20] parsing_cocci: adjust_pragmas: "
` [Cocci] [PATCH 05/20] parsing_cocci: arity: "
` [Cocci] [PATCH 06/20] parsing_cocci: compute_lines: "
` [Cocci] [PATCH 07/20] parsing_cocci: context_neg: "
` [Cocci] [PATCH 08/20] parsing_cocci: iso_pattern: "
` [Cocci] [PATCH 09/20] parsing_cocci: index: "
` [Cocci] [PATCH 10/20] parsing_cocci: unparse_ast0: "
` [Cocci] [PATCH 11/20] parsing_cocci: ast0toast: "
` [Cocci] [PATCH 12/20] parsing_cocci: ast_cocci: "
` [Cocci] [PATCH 13/20] parsing_cocci: visitor_ast: "
` [Cocci] [PATCH 14/20] parsing_cocci: get_constants2: "
` [Cocci] [PATCH 15/20] parsing_cocci: safe_for_multi_decls: "
` [Cocci] [PATCH 16/20] parsing_cocci: unify_ast: "
` [Cocci] [PATCH 17/20] parsing_cocci: pretty_print_cocci: "
` [Cocci] [PATCH 18/20] parsing_c: unparse_cocci: "
` [Cocci] [PATCH 19/20] engine: cocci_vs_c: "
` [Cocci] [PATCH 20/20] ocaml: coccilib: "

[Cocci] [PATCH 00/20] parsing_cocci: Wrap SmPL Attributes
 2020-07-07  9:51 UTC  (6+ messages)
` [Cocci] [PATCH 02/20] parsing_cocci: parser: "
` [Cocci] [PATCH 05/20] parsing_cocci: arity: "


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