Lines 1-11
Link Here
|
1 |
Coccinelle is a program matching and transformation engine which provides the |
1 |
Coccinelle is a program matching and transformation engine which |
2 |
language SmPL (Semantic Patch Language) for specifying desired matches and |
2 |
provides the language SmPL (Semantic Patch Language) for specifying |
3 |
transformations in C code. Coccinelle was initially targeted towards performing |
3 |
desired matches and transformations in C code. Coccinelle was initially |
4 |
collateral evolutions in Linux. Such evolutions comprise the changes that are |
4 |
targeted towards performing collateral evolutions in Linux. Such |
5 |
needed in client code in response to evolutions in library APIs, and may |
5 |
evolutions comprise the changes that are needed in client code in |
6 |
include modifications such as renaming a function, adding a function argument |
6 |
response to evolutions in library APIs, and may include modifications |
7 |
whose value is somehow context-dependent, and reorganizing a data |
7 |
such as renaming a function, adding a function argument whose value is |
8 |
structure. Beyond collateral evolutions, Coccinelle is successfully used (by us |
8 |
somehow context-dependent, and reorganizing a data structure. Beyond |
9 |
and others) for finding and fixing bugs in systems code. |
9 |
collateral evolutions, Coccinelle is successfully used (by us and |
|
|
10 |
others) for finding and fixing bugs in systems code. |
10 |
|
11 |
|
11 |
WWW: http://coccinelle.lip6.fr/ |
12 |
WWW: http://coccinelle.lip6.fr/ |