* [Cocci] [PATCH 00/43] cocci: Add support for meta attributes to SmPL
@ 2020-07-26 12:50 Jaskaran Singh
2020-08-01 20:36 ` Julia Lawall
0 siblings, 1 reply; 13+ messages in thread
From: Jaskaran Singh @ 2020-07-26 12:50 UTC (permalink / raw)
To: cocci
This patch series aims to add support for meta attributes in SmPL.
Currently, only meta attributes in context and minus code are supported.
Changes include adding the MetaAttribute and MetaAttributeDecl constructors to
the SmPL ASTs and the MetaAttributeVal constructor to the C AST.
Two test cases are included for detecting and removing meta attributes.
Jaskaran Singh (43):
parsing_cocci: ast0_cocci: Add MetaAttribute & MetaAttributeDecl
parsing_cocci: parser: Parse meta attributes and metaattr decls
parsing_cocci: parse_cocci: Reflect MetaAttribute & MetaAttributeDecl
parsing_cocci: ast_cocci: Add MetaAttribute & MetaAttributeDecl
parsing_cocci: iso_pattern: Reflect MetaAttribute & MetaAttributeDecl
parsing_c: unparse_hrule: Reflect MetaAttribute & MetaAttributeDecl
parsing_cocci: pretty_print_cocci: Reflect MetaAttribute & MetaAttributeDecl
ocaml: coccilib: Reflect MetaAttribute & MetaAttributeDecl
ocaml: yes_prepare_ocamlcocci: Reflect MetaAttribute & MetaAttributeDecl
parsing_c: ast_c: Add MetaAttributeVal
parsing_c: unparse_hrule: Reflect MetaAttributeVal
engine: cocci_vs_c: Reflect MetaAttributeVal
engine: pattern_c: Reflect MetaAttributeVal
engine: pretty_print_engine: Add MetaAttributeVal
ocaml: coccilib: Reflect MetaAttributeVal
ocaml: ocamlcocci_aux: Reflect MetaAttributeVal
ocaml: run_ocamlcocci: Reflect MetaAttributeVal
python: pycocci_aux: Reflect MetaAttributeVal
parsing_cocci: visitor_ast0: Reflect MetaAttribute
parsing_cocci: check_meta: Reflect MetaAttribute
parsing_cocci: adjust_pragmas: Reflect MetaAttribute
parsing_cocci: context_neg: Reflect MetaAttribute
parsing_cocci: compute_lines: Reflect MetaAttribute
parsing_cocci: iso_pattern: Reflect MetaAttribute
parsing_cocci: function_prototypes: Reflect MetaAttribute
parsing_cocci: arity: Reflect MetaAttribute
parsing_cocci: unitary_ast0: Reflect MetaAttribute
parsing_cocci: unparse_ast0: Reflect MetaAttribute
parsing_cocci: ast0toast: Reflect MetaAttribute
parsing_cocci: visitor_ast: Reflect MetaAttribute
parsing_cocci: cleanup_rules: Reflect MetaAttribute
parsing_cocci: free_vars: Reflect MetaAttribute
parsing_cocci: get_constants: Reflect MetaAttribute
parsing_cocci: get_constants2: Reflect MetaAttribute
parsing_cocci: index: Reflect MetaAttribute
parsing_cocci: pretty_print_cocci: Reflect MetaAttribute
parsing_cocci: safe_for_multi_decls: Reflect MetaAttribute
parsing_cocci: unify_ast: Reflect MetaAttribute
parsing_c: unparse_cocci: Reflect MetaAttribute
engine: cocci_vs_c: Reflect MetaAttribute
tools: spgen: Reflect MetaAttribute
tests: Add test case to match meta attribute
tests: Add test case to remove a meta attribute
engine/cocci_vs_c.ml | 23 ++++++++++++++---
engine/pattern_c.ml | 6 ++++
engine/pretty_print_engine.ml | 1
ocaml/coccilib.ml | 1
ocaml/coccilib.mli | 7 +++++
ocaml/ocamlcocci_aux.ml | 2 +
ocaml/run_ocamlcocci.ml | 1
ocaml/yes_prepare_ocamlcocci.ml | 1
parsing_c/ast_c.ml | 1
parsing_c/ast_c.mli | 1
parsing_c/lib_parsing_c.ml | 3 ++
parsing_c/lib_parsing_c.mli | 3 ++
parsing_c/pretty_print_c.ml | 12 ++++++++
parsing_c/pretty_print_c.mli | 5 +++
parsing_c/unparse_cocci.ml | 6 ++++
parsing_c/unparse_hrule.ml | 5 +++
parsing_cocci/adjust_pragmas.ml | 3 ++
parsing_cocci/arity.ml | 29 ++++++++++++++-------
parsing_cocci/ast0_cocci.ml | 1
parsing_cocci/ast0_cocci.mli | 1
parsing_cocci/ast0toast.ml | 4 ++
parsing_cocci/ast_cocci.ml | 3 ++
parsing_cocci/ast_cocci.mli | 2 +
parsing_cocci/check_meta.ml | 27 ++++++++++++++-----
parsing_cocci/cleanup_rules.ml | 10 ++++++-
parsing_cocci/compute_lines.ml | 14 ++++++----
parsing_cocci/context_neg.ml | 18 ++++++++-----
parsing_cocci/data.ml | 1
parsing_cocci/data.mli | 1
parsing_cocci/free_vars.ml | 28 ++++++++++++++++++--
parsing_cocci/function_prototypes.ml | 10 ++++++-
parsing_cocci/get_constants.ml | 7 ++++-
parsing_cocci/get_constants2.ml | 9 +++---
parsing_cocci/index.ml | 3 +-
parsing_cocci/iso_pattern.ml | 46 +++++++++++++++++++++++++++++-----
parsing_cocci/lexer_cocci.mll | 12 ++++++++
parsing_cocci/parse_aux.ml | 4 ++
parsing_cocci/parse_cocci.ml | 11 ++++++--
parsing_cocci/parser_cocci_menhir.mly | 25 ++++++++++++------
parsing_cocci/pretty_print_cocci.ml | 3 ++
parsing_cocci/safe_for_multi_decls.ml | 1
parsing_cocci/unify_ast.ml | 2 +
parsing_cocci/unitary_ast0.ml | 8 +++++
parsing_cocci/unparse_ast0.ml | 1
parsing_cocci/visitor_ast.ml | 7 +++--
parsing_cocci/visitor_ast0.ml | 5 ++-
python/pycocci_aux.ml | 2 +
tests/metaattr.c | 5 +++
tests/metaattr.cocci | 9 ++++++
tests/metaattr.res | 5 +++
tests/remove_metaattr.c | 5 +++
tests/remove_metaattr.cocci | 9 ++++++
tests/remove_metaattr.res | 5 +++
tools/spgen/source/meta_variable.ml | 8 +++++
54 files changed, 357 insertions(+), 65 deletions(-)
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: [Cocci] [PATCH 00/43] cocci: Add support for meta attributes to SmPL
2020-07-26 12:50 [Cocci] [PATCH 00/43] " Jaskaran Singh
@ 2020-08-01 20:36 ` Julia Lawall
2020-08-02 12:16 ` Jaskaran Singh
0 siblings, 1 reply; 13+ messages in thread
From: Julia Lawall @ 2020-08-01 20:36 UTC (permalink / raw)
To: Jaskaran Singh; +Cc: cocci
On Sun, 26 Jul 2020, Jaskaran Singh wrote:
> This patch series aims to add support for meta attributes in SmPL.
> Currently, only meta attributes in context and minus code are supported.
>
> Changes include adding the MetaAttribute and MetaAttributeDecl constructors to
> the SmPL ASTs and the MetaAttributeVal constructor to the C AST.
>
> Two test cases are included for detecting and removing meta attributes.
Applied.
Is this the end of atributes?
julia
>
> Jaskaran Singh (43):
> parsing_cocci: ast0_cocci: Add MetaAttribute & MetaAttributeDecl
> parsing_cocci: parser: Parse meta attributes and metaattr decls
> parsing_cocci: parse_cocci: Reflect MetaAttribute & MetaAttributeDecl
> parsing_cocci: ast_cocci: Add MetaAttribute & MetaAttributeDecl
> parsing_cocci: iso_pattern: Reflect MetaAttribute & MetaAttributeDecl
> parsing_c: unparse_hrule: Reflect MetaAttribute & MetaAttributeDecl
> parsing_cocci: pretty_print_cocci: Reflect MetaAttribute & MetaAttributeDecl
> ocaml: coccilib: Reflect MetaAttribute & MetaAttributeDecl
> ocaml: yes_prepare_ocamlcocci: Reflect MetaAttribute & MetaAttributeDecl
> parsing_c: ast_c: Add MetaAttributeVal
> parsing_c: unparse_hrule: Reflect MetaAttributeVal
> engine: cocci_vs_c: Reflect MetaAttributeVal
> engine: pattern_c: Reflect MetaAttributeVal
> engine: pretty_print_engine: Add MetaAttributeVal
> ocaml: coccilib: Reflect MetaAttributeVal
> ocaml: ocamlcocci_aux: Reflect MetaAttributeVal
> ocaml: run_ocamlcocci: Reflect MetaAttributeVal
> python: pycocci_aux: Reflect MetaAttributeVal
> parsing_cocci: visitor_ast0: Reflect MetaAttribute
> parsing_cocci: check_meta: Reflect MetaAttribute
> parsing_cocci: adjust_pragmas: Reflect MetaAttribute
> parsing_cocci: context_neg: Reflect MetaAttribute
> parsing_cocci: compute_lines: Reflect MetaAttribute
> parsing_cocci: iso_pattern: Reflect MetaAttribute
> parsing_cocci: function_prototypes: Reflect MetaAttribute
> parsing_cocci: arity: Reflect MetaAttribute
> parsing_cocci: unitary_ast0: Reflect MetaAttribute
> parsing_cocci: unparse_ast0: Reflect MetaAttribute
> parsing_cocci: ast0toast: Reflect MetaAttribute
> parsing_cocci: visitor_ast: Reflect MetaAttribute
> parsing_cocci: cleanup_rules: Reflect MetaAttribute
> parsing_cocci: free_vars: Reflect MetaAttribute
> parsing_cocci: get_constants: Reflect MetaAttribute
> parsing_cocci: get_constants2: Reflect MetaAttribute
> parsing_cocci: index: Reflect MetaAttribute
> parsing_cocci: pretty_print_cocci: Reflect MetaAttribute
> parsing_cocci: safe_for_multi_decls: Reflect MetaAttribute
> parsing_cocci: unify_ast: Reflect MetaAttribute
> parsing_c: unparse_cocci: Reflect MetaAttribute
> engine: cocci_vs_c: Reflect MetaAttribute
> tools: spgen: Reflect MetaAttribute
> tests: Add test case to match meta attribute
> tests: Add test case to remove a meta attribute
>
> engine/cocci_vs_c.ml | 23 ++++++++++++++---
> engine/pattern_c.ml | 6 ++++
> engine/pretty_print_engine.ml | 1
> ocaml/coccilib.ml | 1
> ocaml/coccilib.mli | 7 +++++
> ocaml/ocamlcocci_aux.ml | 2 +
> ocaml/run_ocamlcocci.ml | 1
> ocaml/yes_prepare_ocamlcocci.ml | 1
> parsing_c/ast_c.ml | 1
> parsing_c/ast_c.mli | 1
> parsing_c/lib_parsing_c.ml | 3 ++
> parsing_c/lib_parsing_c.mli | 3 ++
> parsing_c/pretty_print_c.ml | 12 ++++++++
> parsing_c/pretty_print_c.mli | 5 +++
> parsing_c/unparse_cocci.ml | 6 ++++
> parsing_c/unparse_hrule.ml | 5 +++
> parsing_cocci/adjust_pragmas.ml | 3 ++
> parsing_cocci/arity.ml | 29 ++++++++++++++-------
> parsing_cocci/ast0_cocci.ml | 1
> parsing_cocci/ast0_cocci.mli | 1
> parsing_cocci/ast0toast.ml | 4 ++
> parsing_cocci/ast_cocci.ml | 3 ++
> parsing_cocci/ast_cocci.mli | 2 +
> parsing_cocci/check_meta.ml | 27 ++++++++++++++-----
> parsing_cocci/cleanup_rules.ml | 10 ++++++-
> parsing_cocci/compute_lines.ml | 14 ++++++----
> parsing_cocci/context_neg.ml | 18 ++++++++-----
> parsing_cocci/data.ml | 1
> parsing_cocci/data.mli | 1
> parsing_cocci/free_vars.ml | 28 ++++++++++++++++++--
> parsing_cocci/function_prototypes.ml | 10 ++++++-
> parsing_cocci/get_constants.ml | 7 ++++-
> parsing_cocci/get_constants2.ml | 9 +++---
> parsing_cocci/index.ml | 3 +-
> parsing_cocci/iso_pattern.ml | 46 +++++++++++++++++++++++++++++-----
> parsing_cocci/lexer_cocci.mll | 12 ++++++++
> parsing_cocci/parse_aux.ml | 4 ++
> parsing_cocci/parse_cocci.ml | 11 ++++++--
> parsing_cocci/parser_cocci_menhir.mly | 25 ++++++++++++------
> parsing_cocci/pretty_print_cocci.ml | 3 ++
> parsing_cocci/safe_for_multi_decls.ml | 1
> parsing_cocci/unify_ast.ml | 2 +
> parsing_cocci/unitary_ast0.ml | 8 +++++
> parsing_cocci/unparse_ast0.ml | 1
> parsing_cocci/visitor_ast.ml | 7 +++--
> parsing_cocci/visitor_ast0.ml | 5 ++-
> python/pycocci_aux.ml | 2 +
> tests/metaattr.c | 5 +++
> tests/metaattr.cocci | 9 ++++++
> tests/metaattr.res | 5 +++
> tests/remove_metaattr.c | 5 +++
> tests/remove_metaattr.cocci | 9 ++++++
> tests/remove_metaattr.res | 5 +++
> tools/spgen/source/meta_variable.ml | 8 +++++
> 54 files changed, 357 insertions(+), 65 deletions(-)
>
>
>
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: [Cocci] [PATCH 00/43] cocci: Add support for meta attributes to SmPL
2020-08-01 20:36 ` Julia Lawall
@ 2020-08-02 12:16 ` Jaskaran Singh
0 siblings, 0 replies; 13+ messages in thread
From: Jaskaran Singh @ 2020-08-02 12:16 UTC (permalink / raw)
To: Julia Lawall; +Cc: cocci
On Sat, 2020-08-01 at 22:36 +0200, Julia Lawall wrote:
>
> On Sun, 26 Jul 2020, Jaskaran Singh wrote:
>
> > This patch series aims to add support for meta attributes in SmPL.
> > Currently, only meta attributes in context and minus code are
> > supported.
> >
> > Changes include adding the MetaAttribute and MetaAttributeDecl
> > constructors to
> > the SmPL ASTs and the MetaAttributeVal constructor to the C AST.
> >
> > Two test cases are included for detecting and removing meta
> > attributes.
>
> Applied.
>
> Is this the end of atributes?
>
There are a few more patches, but not as wide as this.
Cheers,
Jaskaran.
> julia
>
> > Jaskaran Singh (43):
> > parsing_cocci: ast0_cocci: Add MetaAttribute &
> > MetaAttributeDecl
> > parsing_cocci: parser: Parse meta attributes and metaattr
> > decls
> > parsing_cocci: parse_cocci: Reflect MetaAttribute &
> > MetaAttributeDecl
> > parsing_cocci: ast_cocci: Add MetaAttribute &
> > MetaAttributeDecl
> > parsing_cocci: iso_pattern: Reflect MetaAttribute &
> > MetaAttributeDecl
> > parsing_c: unparse_hrule: Reflect MetaAttribute &
> > MetaAttributeDecl
> > parsing_cocci: pretty_print_cocci: Reflect MetaAttribute &
> > MetaAttributeDecl
> > ocaml: coccilib: Reflect MetaAttribute & MetaAttributeDecl
> > ocaml: yes_prepare_ocamlcocci: Reflect MetaAttribute &
> > MetaAttributeDecl
> > parsing_c: ast_c: Add MetaAttributeVal
> > parsing_c: unparse_hrule: Reflect MetaAttributeVal
> > engine: cocci_vs_c: Reflect MetaAttributeVal
> > engine: pattern_c: Reflect MetaAttributeVal
> > engine: pretty_print_engine: Add MetaAttributeVal
> > ocaml: coccilib: Reflect MetaAttributeVal
> > ocaml: ocamlcocci_aux: Reflect MetaAttributeVal
> > ocaml: run_ocamlcocci: Reflect MetaAttributeVal
> > python: pycocci_aux: Reflect MetaAttributeVal
> > parsing_cocci: visitor_ast0: Reflect MetaAttribute
> > parsing_cocci: check_meta: Reflect MetaAttribute
> > parsing_cocci: adjust_pragmas: Reflect MetaAttribute
> > parsing_cocci: context_neg: Reflect MetaAttribute
> > parsing_cocci: compute_lines: Reflect MetaAttribute
> > parsing_cocci: iso_pattern: Reflect MetaAttribute
> > parsing_cocci: function_prototypes: Reflect MetaAttribute
> > parsing_cocci: arity: Reflect MetaAttribute
> > parsing_cocci: unitary_ast0: Reflect MetaAttribute
> > parsing_cocci: unparse_ast0: Reflect MetaAttribute
> > parsing_cocci: ast0toast: Reflect MetaAttribute
> > parsing_cocci: visitor_ast: Reflect MetaAttribute
> > parsing_cocci: cleanup_rules: Reflect MetaAttribute
> > parsing_cocci: free_vars: Reflect MetaAttribute
> > parsing_cocci: get_constants: Reflect MetaAttribute
> > parsing_cocci: get_constants2: Reflect MetaAttribute
> > parsing_cocci: index: Reflect MetaAttribute
> > parsing_cocci: pretty_print_cocci: Reflect MetaAttribute
> > parsing_cocci: safe_for_multi_decls: Reflect MetaAttribute
> > parsing_cocci: unify_ast: Reflect MetaAttribute
> > parsing_c: unparse_cocci: Reflect MetaAttribute
> > engine: cocci_vs_c: Reflect MetaAttribute
> > tools: spgen: Reflect MetaAttribute
> > tests: Add test case to match meta attribute
> > tests: Add test case to remove a meta attribute
> >
> > engine/cocci_vs_c.ml | 23 ++++++++++++++---
> > engine/pattern_c.ml | 6 ++++
> > engine/pretty_print_engine.ml | 1
> > ocaml/coccilib.ml | 1
> > ocaml/coccilib.mli | 7 +++++
> > ocaml/ocamlcocci_aux.ml | 2 +
> > ocaml/run_ocamlcocci.ml | 1
> > ocaml/yes_prepare_ocamlcocci.ml | 1
> > parsing_c/ast_c.ml | 1
> > parsing_c/ast_c.mli | 1
> > parsing_c/lib_parsing_c.ml | 3 ++
> > parsing_c/lib_parsing_c.mli | 3 ++
> > parsing_c/pretty_print_c.ml | 12 ++++++++
> > parsing_c/pretty_print_c.mli | 5 +++
> > parsing_c/unparse_cocci.ml | 6 ++++
> > parsing_c/unparse_hrule.ml | 5 +++
> > parsing_cocci/adjust_pragmas.ml | 3 ++
> > parsing_cocci/arity.ml | 29 ++++++++++++++-------
> > parsing_cocci/ast0_cocci.ml | 1
> > parsing_cocci/ast0_cocci.mli | 1
> > parsing_cocci/ast0toast.ml | 4 ++
> > parsing_cocci/ast_cocci.ml | 3 ++
> > parsing_cocci/ast_cocci.mli | 2 +
> > parsing_cocci/check_meta.ml | 27 ++++++++++++++-----
> > parsing_cocci/cleanup_rules.ml | 10 ++++++-
> > parsing_cocci/compute_lines.ml | 14 ++++++----
> > parsing_cocci/context_neg.ml | 18 ++++++++-----
> > parsing_cocci/data.ml | 1
> > parsing_cocci/data.mli | 1
> > parsing_cocci/free_vars.ml | 28 ++++++++++++++++++--
> > parsing_cocci/function_prototypes.ml | 10 ++++++-
> > parsing_cocci/get_constants.ml | 7 ++++-
> > parsing_cocci/get_constants2.ml | 9 +++---
> > parsing_cocci/index.ml | 3 +-
> > parsing_cocci/iso_pattern.ml | 46
> > +++++++++++++++++++++++++++++-----
> > parsing_cocci/lexer_cocci.mll | 12 ++++++++
> > parsing_cocci/parse_aux.ml | 4 ++
> > parsing_cocci/parse_cocci.ml | 11 ++++++--
> > parsing_cocci/parser_cocci_menhir.mly | 25 ++++++++++++------
> > parsing_cocci/pretty_print_cocci.ml | 3 ++
> > parsing_cocci/safe_for_multi_decls.ml | 1
> > parsing_cocci/unify_ast.ml | 2 +
> > parsing_cocci/unitary_ast0.ml | 8 +++++
> > parsing_cocci/unparse_ast0.ml | 1
> > parsing_cocci/visitor_ast.ml | 7 +++--
> > parsing_cocci/visitor_ast0.ml | 5 ++-
> > python/pycocci_aux.ml | 2 +
> > tests/metaattr.c | 5 +++
> > tests/metaattr.cocci | 9 ++++++
> > tests/metaattr.res | 5 +++
> > tests/remove_metaattr.c | 5 +++
> > tests/remove_metaattr.cocci | 9 ++++++
> > tests/remove_metaattr.res | 5 +++
> > tools/spgen/source/meta_variable.ml | 8 +++++
> > 54 files changed, 357 insertions(+), 65 deletions(-)
> >
> >
> >
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
^ permalink raw reply [flat|nested] 13+ messages in thread
end of thread, other threads:[~2020-08-08 11:35 UTC | newest]
Thread overview: 13+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <e4f3c4e8-03e8-dbc2-5871-0d111b3086a4@web.de>
2020-08-02 7:06 ` [Cocci] [PATCH 00/43] cocci: Add support for meta attributes to SmPL Julia Lawall
[not found] ` <eead5e2a-da8d-83cd-eeb4-f193702b800f@web.de>
2020-08-02 11:48 ` Julia Lawall
[not found] ` <82af6b44-ea09-b86f-81f7-e96e8594a31d@web.de>
2020-08-02 13:13 ` [Cocci] [00/43] " Julia Lawall
[not found] ` <065fee88-5206-5d9b-c83c-4e6a20aefd85@web.de>
2020-08-02 14:34 ` Julia Lawall
[not found] ` <8f357aa0-7811-a5b8-a061-814899654e88@web.de>
2020-08-02 15:34 ` Julia Lawall
[not found] ` <c1822815-456f-316d-93b5-88beb55a0d69@web.de>
2020-08-02 16:16 ` Julia Lawall
[not found] ` <74a5a472-4431-46e7-bd8b-95886f031c93@web.de>
2020-08-02 17:00 ` Julia Lawall
[not found] ` <3474ebf5-c902-63e9-8244-08a0f3407b72@web.de>
2020-08-03 5:46 ` Julia Lawall
2020-08-03 8:22 ` Jaskaran Singh
[not found] ` <04cb5eb3-bed8-9e8e-255b-fbae06144016@web.de>
2020-08-08 11:35 ` Jaskaran Singh
2020-07-26 12:50 [Cocci] [PATCH 00/43] " Jaskaran Singh
2020-08-01 20:36 ` Julia Lawall
2020-08-02 12:16 ` Jaskaran Singh
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).