Lines Matching refs:coccinelle

37 http://coccinelle.lip6.fr/
41 https://github.com/coccinelle/coccinelle
56 https://github.com/coccinelle/coccinelle/blob/master/install.txt
69 http://coccinelle.lip6.fr/documentation.php
116 sub-directories of ``scripts/coccinelle`` to the entire Linux kernel.
196 This runs every semantic patch in scripts/coccinelle by default. The
218     make coccicheck COCCI=scripts/coccinelle/free/kfree.cocci MODE=report DEBUG_FILE=cocci.err
226     export COCCI=scripts/coccinelle/misc/irqf_oneshot.cocci
233 DEBUG_FILE support is only supported when using coccinelle >= 1.0.2.
271 options for Linux with our own Linux .cocciconfig. This hints to coccinelle
275 The options picked up by coccinelle when reading a .cocciconfig do not appear
298 Coccinelle supports idutils as well but requires coccinelle >= 1.0.6.
299 When no ID file is specified coccinelle assumes your ID database file
347 sub-directories of ``scripts/coccinelle/``.
362 	make coccicheck MODE=report COCCI=scripts/coccinelle/api/err_cast.cocci
402 	make coccicheck MODE=patch COCCI=scripts/coccinelle/api/err_cast.cocci
448 	make coccicheck MODE=context COCCI=scripts/coccinelle/api/err_cast.cocci
485 	make coccicheck MODE=org COCCI=scripts/coccinelle/api/err_cast.cocci