BSD Portsdevel/coccinelle 1.3.3 OpenBSD
program matching and transformation engine
- System
- OpenBSD
- Repository
- OpenBSD ports
- Maintainer
- The OpenBSD ports mailing-list <[email protected]>
- Last update
- Commit
dbe33f72a0- Categories
- devel, lang/python
Description
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 INRIA and others) for finding and fixing bugs in systems code.
See also: http://home.regit.org/technical-articles/coccinelle-for-the-newbie/
In the other systems
The newest version among them is 1.3.3, as upstream numbers it.
| System | Port | Version | Vulnerabilities | Status | Maintainer | Last update |
|---|---|---|---|---|---|---|
| OpenBSD | devel/coccinelle | 1.3.3 newest | no data | - | The OpenBSD ports mailing-list <[email protected]> | 2026-09-08 |
| FreeBSD | devel/coccinelle | 1.3.1_1 behind since 2026-08-21 | none known | - | [email protected] | 2026-08-04 |
| NetBSD | devel/coccinelle | 1.3.3 newest | none known | - | [email protected] | 2026-09-12 |
| DragonFly | devel/coccinelle | 1.3 behind since 2026-08-21 | none known | - | [email protected] | - |
| GhostBSD | devel/coccinelle | 1.3.1_1 behind since 2026-08-21 | no data | - | [email protected] | - |
Install
Binary package:
pkg_add coccinelleFrom the ports tree:
cd /usr/ports/devel/coccinelle && make installDependency graph
Ports that need it on the left, what it needs to run on the right; at most 8 of each. "Dependencies" below lists them all.