Semantic patch utility
http://coccinelle.lip6.fr/
Coccinelle is a program matching and transformation engine which
provides the language SmPL (Semantic Patch Language) for specifying
desired matches and transformations in C code. Coccinelle was
initially targeted towards performing collateral evolutions in Linux.
Such evolutions comprise the changes that are needed in client code
in response to evolutions in library APIs, and may include
modifications such as renaming a function, adding a function argument
whose value is somehow context-dependent, and reorganizing a data
structure. Beyond collateral evolutions, Coccinelle is successfully
used (by us and others) for finding and fixing bugs in systems code.
- Sources inherited from project openSUSE:Leap:42.2
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Leap:42.2:Ports/coccinelle && cd $_ - Create Badge
Refresh
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| coccinelle-1.0.4.patch | 0000000346 346 Bytes | |
| coccinelle-1.0.4.tgz | 0002484218 2.37 MB | |
| coccinelle.changes | 0000007742 7.56 KB | |
| coccinelle.spec | 0000003064 2.99 KB |
Revision 4 (latest revision is 5)
Ludwig Nussel (lnussel_factory)
accepted
request 415534
from
Olaf Hering (olh)
(revision 4)
- Use ocamlfind(camlp4) to refer to camlp4
- Add coccinelle-1.0.4.patch
- Fix build with ocaml-4.03
Use ocaml-parmap and ocaml-menhir instead of old built-in copies
Use ocaml-pcre
- Update to 1.0.4
* Language:
* Length for statement list metavariables
* Conjunction (analogous to disjunction)
* Drop Circles, Stars
* Drop Unique
* Default values for script metavariables
* Features:
* Introduce .cocciconfig configuration file
* Add some support for MetaStmtList. Allowed at top level of {}.
* timeout of 0 is no timeout, to allow cancelling this option.
* Bugfixes:
* Allow virtual variable definition to contain an =.
* Improvement when exists rule contains when forall.
Comments 0