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 https://coccinelle.gitlabpages.inria.fr/website/docs/main_grammar.html
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
235 DEBUG_FILE support is only supported when using coccinelle >= 1.0.2.
278 options for Linux with our own Linux .cocciconfig. This hints to coccinelle
282 The options picked up by coccinelle when reading a .cocciconfig do not appear
305 Coccinelle supports idutils as well but requires coccinelle >= 1.0.6.
306 When no ID file is specified coccinelle assumes your ID database file
354 sub-directories of ``scripts/coccinelle/``.
369 	make coccicheck MODE=report COCCI=scripts/coccinelle/api/err_cast.cocci
409 	make coccicheck MODE=patch COCCI=scripts/coccinelle/api/err_cast.cocci
455 	make coccicheck MODE=context COCCI=scripts/coccinelle/api/err_cast.cocci
492 	make coccicheck MODE=org COCCI=scripts/coccinelle/api/err_cast.cocci