> But please also refer to the examples of coccinelle, such as: > http://coccinelle.lip6.fr/rules/kmalloc.html > and > https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/scripts/coccinelle/free/pci_free_consistent.cocci These scripts for the semantic patch language show some software design possibilities. They contain implementation details which can be also worth for additional development considerations. Will systematic refactoring become more interesting? > You will find that there are differences between coccinelle and c. Would you like to discuss any of them further? Regards, Markus