~npalix/coccinelle/upstream

From Revision 5611 to 4590

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
5544		some more corrections towards pragmainfo metavariable some more corrections towards pragmainfo metavariable	Julia Lawall	1 year ago
5387		another place where proper environment comparison is needed,... another place where proper environment comparison is needed, taking into account the differences in the 'original' information	Julia Lawall	1 year ago
5385		between rules, for negative position info, need to combine e... between rules, for negative position info, need to combine envs in the same way as done in ctl	Julia Lawall	1 year ago
5124		finish frontend finish frontend	Julia Lawall	2 years ago
5123		still not completely working still not completely working	Julia Lawall	2 years ago
5122		storing subgraphs for nested functions and classes on the si... storing subgraphs for nested functions and classes on the side, but not doing anything with them	Julia Lawall	2 years ago
5091		Refactor Python code initialization and execution Refactor Python code initialization and execution This commit removes some code duplication in Python initialization sequence and in the code executing Python constraints and fresh id initializers.	Thierry Martinez	3 years ago
5078		make gen_pdf_graph more readable and use system calls when a... make gen_pdf_graph more readable and use system calls when available rather than forking a shell	Julia Lawall	3 years ago
4992		parsing_cocci: ast0: Make Attibute in SmPL's AST more genera... parsing_cocci: ast0: Make Attibute in SmPL's AST more general This patch changes the structure of 'Attribute'. In order to support __attribute__ later, the current Attribute needs to be refactored into a more general structure. SmPL's ast structure(current): __foo => Attribute( __foo)  or MetaAttribute (__foo) SmPL's ast structure(proposed): __foo => Attribute( AttrName (__foo) ) or Attribute( MetaAttr (__foo) ) C's ast structure(current): foo => Attribute( foo ) C's ast structure(proposed): foo => Attribute( AttrName(foo) ) Signed-off-by: Keisuke Nishimura <mumumu0722@gmail.com>	Keisuke Nishimura	3 years ago
4924		parsing_cocci: visitor_ast: Add attributefn to SmPL AST visi... parsing_cocci: visitor_ast: Add attributefn to SmPL AST visitor Add a public function to visit attributes in the SmPL AST visitor. For unify_ast.ml, also add a few fixes w/r/t the usage of for_all2 for comparing attributes. Signed-off-by: Jaskaran Singh <jaskaran.singh@collabora.com>	Jaskaran Singh	4 years ago
4861		1. parsing_cocci: Align C AST and SmPL AST for enum 1. parsing_cocci: Align C AST and SmPL AST for enum The C AST and SmPL AST differs with respect to the enum type. For an enumerator, the C AST is as follows:         Enum -> list of (name, (info, expression)) For the same, the SmPL AST is as follows:         EnumDef -> list of expression While the SmPL parser does make sure that enumerators are parsed as per C rules, the OCaml types for an enumerator themselves mismatch, due to their organization. This causes bugs/mismatches for cases where enums are in disjunctions. Make the enumerator type of the SmPL AST closer to that of the C AST. 2. ocaml: coccilib: Reflect changes in SmPL AST for EnumDef The EnumDef constructor is changed in the SmPL AST. Reflect these changes in coccilib. 3. parsing_cocci: parser: Parse enumerators correctly The EnumDef constructor of the SmPL AST has changed. Make the SmPL parser parse an EnumDef correctly. 4. parsing_cocci: Add EnumDeclTag and EnumDeclDotsTag to SmPL ASTs These constructors are needed by the visitor and various other functions in the codebase. Maintain consistency and add these constructs w/r/t changes in the SmPL AST. 5. ocaml: coccilib: Reflect EnumDeclTag and EnumDeclDotsTag The SmPL AST now has these constructors. Reflect these changes in coccilib. 6. parsing_cocci: visitor_ast0: Add visitor functions for enum_decl An enumerator in the SmPL AST now has the enum_decl type. Add corresponding functions for the combiner, combiner_rebuilder and rebuilder in Visitor_ast0. 7. parsing_cocci: Reflect visitor_ast0 changes in parsing_cocci The SmPL AST0 visitor has functions for handling enumerators separately. Handle these collateral evolutions in parsing_cocci by creating visitor functions for enum and enumdots in various places, as well as adding the additional arguments needed in the visitor combiners and rebuilders. 8. parsing_cocci: Add visitor functions for enum_decl in visitor_ast An enumerator in the SmPL AST now has the enum_decl type. Add corresponding functions for the combiner, combiner_rebuilder and rebuilder in Visitor_ast. 9. cocci: Reflect changes in SmPL visitor_ast in codebase The SmPL AST visitor has functions for handling enumerators separately. Handle these collateral evolutions in the codebase by creating visitor functions for enum and enumdots in various places, as well as adding the additional arguments needed in the visitor combiners and rebuilders. 10. engine: cocci_vs_c: Match enumerators properly as per enum_decl The SmPL AST has a separate enum_decl type for an enumerator. Make corresponding changes in Cocci_vs_c to correctly match enumerators. 11. cocci: pretty print EnumDef as per enum_decl type The SmPL AST has a separate enum_decl for a enumerator. Make corresponding changes in Unparse_cocci and Pretty_print_cocci to correctly pretty print enumerators. 12. tests: Add test case for assigned enumerator Add a test case to verify correct pretty printing of enumerators that are assigned. The test case should cover minused assigned enumerators, plussed assigned enumerators and correct matching of an enum with an assigned enumerator. 13. tools: spgen: Reflect visitor changes Visitor_ast0 has changes with respect to enums. Reflect these changes in spgen by adding additional arguments in the combiners and rebuilders. Signed-off-by: Jaskaran Singh <jaskaransingh7654321@gmail.com> Reviewed-by: Julia Lawall <Julia.Lawall@inria.fr>	Jaskaran Singh	4 years ago
4774		Fixing typos Fixing typos Signed-off-by: Jean-Pierre Rodi <jprodi04@gmail.com>	JPR	5 years ago
4773		better alignment better alignment	Julia Lawall	5 years ago
4690		Merge branch 'master' of Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/coccinelle/coccinelle	Julia Lawall	6 years ago
4670		Merge branch 'master' of Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/coccinelle/coccinelle	Julia Lawall	6 years ago
4657		Merge git+ssh://scm.gforge.inria.fr//gitroot/coccinelle/cocc... Merge git+ssh://scm.gforge.inria.fr//gitroot/coccinelle/coccinelle	julia	6 years ago
4634		more for hashinc, also some code for compiling scripts even ... more for hashinc, also some code for compiling scripts even when the current dependency is false.	Julia Lawall	6 years ago
4618		Merge branch 'master' of Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/coccinelle/coccinelle	Julia Lawall	6 years ago
4617		Merge branch 'master' of Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/coccinelle/coccinelle	Julia Lawall	6 years ago
4590		Use Stdcompat Use Stdcompat Restore compatibility with OCaml 3.12.1.	Thierry Martinez	7 years ago

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1