The SmPL Grammar (version 0.1.4)

This document presents the grammar of the SmPL language used by the Coccinelle tool. For the most part, the grammar is written using standard notation. In some rules, however, the left-hand side is in all uppercase letters. These are macros, which take one or more grammar rule right-hand-sides as arguments. The grammar also uses some unspecified nonterminals, such as id, const, etc. These refer to the sets suggested by the name, i.e., id refers to the set of possible C-language identifiers, while const refers to the set of possible C-language constants. A PDF version of this documentation is available at http://www.emn.fr/x-info/coccinelle/docs/main_grammar.pdf.

• Program
• Metavariables for transformations
• Metavariables for scripts
• Transformation
• Types
• Function declarations
• Declarations
• Statements
• Expressions
• Constant, Identifiers and Types for Transformations
• Examples
  • Function renaming
  • Removing a function argument
  • Introduction of a macro
  • Look for NULL dereference
  • Reference counter: the of_xxx API
• Tips and Tricks
  • How to remove useless parentheses?

This document was translated from L^AT_EX by H^EV^EA.