Coccinelle vs DMS Software Reengineering Toolkit
Coccinelle
coccinelle.gitlabpages.inria.frDMS Software Reengineering Toolkit
semdesigns.comSide by side
| Figure | Coccinelle | DMS Software Reengineering Toolkit |
|---|---|---|
| Price from | Free | — |
| Free plan | Yes | — |
| Free trial | — | — |
| Open source | — | — |
| Windows | — | Yes |
| macOS | Yes | Yes |
| Linux | Yes | Yes |
| Plans published | 1 | 1 |
| Spec score · Code Refactoring Tools | 7.9 (#9) | 7.4 (#16) |
| Purpose | Coccinelle is a program matching and transformation engine that uses SmPL to specify desired matches and transformations in C code. | DMS provides customizable infrastructure for automating source program analysis, source code modification, and software generation. |
| Support | Questions can be sent to the [email protected] mailing list, which is moderated for non-members; contributions are preferred via the list and may also be submitted on GitHub. | Semantic Designs says it offers DMS training, expert advice, and implementation support as desired by the customer. |
| Use cases | The project describes use for automating collateral code changes after library API evolution and for finding and fixing bugs in systems code. | The maker lists migration, refactoring, optimization, code analysis, reverse engineering, and domain-specific program generation as possible applications. |
Plans
DMS Software Reengineering Toolkit
- DMS Software Reengineering ToolkitPriced on request
In their own words
Coccinelle
Coccinelle is a free program matching and transformation engine for working with C code. It uses SmPL to describe code patterns and the transformations to apply when matches are found. A single semantic patch can change code at many sites across hundreds of files while allowing for differences in spacing, variable names, irrelevant code, and coding style. The project describes uses including automating collateral changes after library API evolution and finding and fixing bugs in systems code. Coccinelle semantic patches and bug fixes have been integrated into the official Linux tree, and semantic patches are available in the Linux scripts directory for use with coccicheck. It supports C and C++, with C++ mode invoked using --c++; the project says its C++ support is still being extended, including for high performance computing. The download page lists version 1.3.3, dated September 2, 2026, with source code and precompiled spatch builds. It is available for Linux and macOS as desktop software. Source builds require OCaml, with Python and Menhir needed in specified cases.
DMS Software Reengineering Toolkit
DMS Software Reengineering Toolkit has no write-up on Specifiction yet; its figures are above.