Radish alpha
H
rad:z3QDZAW2FAfuLvihrhiyDC9fAD8G9
HardenedBSD Package Manager
Radicle
Git
HardenedBSD-pkg tests cocci README.md

Coccinelle (http://coccinelle.lip6.fr/) is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.

.cocci files in this directory are copied (and some adapted) from http://coccinelle.lip6.fr/rules/. the pkg directory contains .cocci files written for pkg.

Installation

port:

# make -C /usr/ports/devel/coccinelle install clean

package:

# pkg install coccinelle

Usage

From the pkg’s source root (use libpkg or src as $DIR):

% spatch -I . -I /usr/include -I /usr/local/include -I libpkg -I src       \
	-I external/blake2  -I external/yxml      -I external/include     \
	-I external/libelf  -I external/libfetch        \
	-I external/libsbuf -I external/libucl/include -I external/linenoise   \
	-I external/picosat -I external/sqlite         \
	-in_place -sp_file ./tests/cocci/$TESTFILE.cocci -dir $DIR
> Coccinelle (http://coccinelle.lip6.fr/) is a program matching and
> transformation engine which provides the language SmPL (Semantic Patch
> Language) for specifying desired matches and transformations in C code.

.cocci files in this directory are copied (and some adapted) from
http://coccinelle.lip6.fr/rules/. the pkg directory contains .cocci files
written for pkg.

Installation
============

port:

	# make -C /usr/ports/devel/coccinelle install clean

package:

	# pkg install coccinelle

Usage
=====
From the pkg's source root (use _libpkg_ or _src_ as `$DIR`):

	% spatch -I . -I /usr/include -I /usr/local/include -I libpkg -I src       \
		-I external/blake2  -I external/yxml      -I external/include     \
		-I external/libelf  -I external/libfetch        \
		-I external/libsbuf -I external/libucl/include -I external/linenoise   \
		-I external/picosat -I external/sqlite         \
		-in_place -sp_file ./tests/cocci/$TESTFILE.cocci -dir $DIR