Coccinelle

The spp tool - created

Nicolas Palix — 2010-08-07T15:12:05+02:00

In the source distribution of Coccinelle, there is the source code of the spp tool that call cpp before running spatch. All the -D and -I options are passed to cpp when it is called. An example is in the demos/spp directory of the Coccinelle distribution.

Coccinelle wiki

Nicolas Palix — 2010-08-07T15:07:11+02:00

spatch * Metavariables * C syntax errors * Coccinelle syntax errors * Matching Python rules Usage Tips * Language constructs * Controlling the running time of spatch * Pattern match failure * The use of "when" * Parameter list matching * Working on global/local variables -- using the ''local'' attribute * Position metavariables * Working on if with single statement, ignoring if with curly brakets * Update function calls to use a wrapper function without updating th…

Formatting Syntax

lb — 2010-07-22T15:43:47+02:00

doku>DokuWiki supports some simple markup language, which tries to make the datafiles to be as readable as possible. This page contains all possible syntax you may use when editing the pages. Simply have a look at the source of this page by pressing the Edit this page button at the top or bottom of the page. If you want to try something, just use the playground page. The simpler markup is easily accessible via quickbuttons, too.

Constant

Julia Lawall — 2010-05-24T11:08:46+02:00

Constant The constant attribute on a metavariable declaration will only match an explicit literal value. For instance constant int matches a literal that is considered to have int type. @r@ int E1; constant int C; @@ E1 = C Because in Linux constant defined using #define are commonly written using only capital letters, an identifier written using only capital letters is considered to be a constant as well. For example, consider the following semantic patch:

Consequence of a syntax error

Julia Lawall — 2010-05-22T07:16:16+02:00

Consequence of a syntax error spatch performs syntax error recovery using various heuristics. If a syntax error occurs while processing a function definition no matching is attempted on the contents of that definition. The following: spatch -parse_c foo.c provides information about the parsing of the C file, foo.c. Lines annotated with BAD contain parse errors. A summary is provided at the end of the reasons for the most common parsing problems. Often parsing problems are due to macro u…

Alter the matching process

Nicolas Palix — 2010-04-23T08:45:35+02:00

Alter the matching process The following discards the environment that caused execution of the python rule. cocci.include_match(False) API for org mode Legacy API @r@ position p,p1; @@ // Place your cocci code here // using position p and then position p1. @script:python@ p << r.p; p1 << r.p1; @@ cocci.print_main("main message",p) # Use print_sec when you have exactly one p1 for every p. cocci.print_sec("secondary message", p1) # Use print_secs when you have at least one p1 for eve…

dependencies_between_patterns

Julia Lawall — 2010-03-14T14:57:19+02:00

It is possible for one rule to depend on the success or failure of another rule. There are four possibilities: * X: The rule is only applied to bindings that X succeeded on. In the following: @foo_found disable all@ identifier foo; @@ foo(...) { <+... { ... return; } ...+> } @bar depends on foo_found@ @@ -bar() any instances of the call bar() will only be removed when a match has occurred against a function called foo.

source_location_information

Julia Lawall — 2010-03-07T12:28:13+02:00

Location metavariables are attached to a token with the '@' characted. A position metavariable contain the following information relative to its token: Field Information file the name of the current source file current_element the name of the function currently proceed line the starting line number of the token column the starting character position of the token line_end the ending li…

virtual_identifiers

Nicolas Palix — 2010-01-26T10:00:38+02:00

Often it is useful to have several semantic patches that have a similar structure, but that use different concrete variable names. For example, one could have a collection of semantic patches for finding or fixing memory leaks. These might all have the same structure, but differ in the names of the allocation and deallocation functions. To address this case, it is possible (starting in version 0.2.1) to parameterize a rule using virtual identifiers. Any identifier metavariable can be declare…