Backporting the Linux kernel, for good - was: Re: semantic patch inference [LWN.net]
http://lwn.net/Articles/458918/
Backporting the Linux kernel, for good / Linux Plumbers Conference: Developing the Kernel, Libraries and Utilities / September 7-9, 2011 / Santa Rosa, CA
http://www.linuxplumbersconf.org/2011/ocw/proposals/771
http://www.linuxplumbersconf.org/2011/ocw//system/presentations/771/original/kernel-backport-for-good.odp
spatch
man - spatch (1) - apply a semantic patch file to a set of C files
http://www.digipedia.pl/man/doc/view/spatch.1/
Coccinelle: A Program Matching and Transformation Tool for Systems Code
http://coccinelle.lip6.fr/
apt-get install ocaml-findlib python2.6-dev #install the dev package of your python version
make all http://www.blogger.com/img/blank.gif#or, make world
Semantic Patches for specifying and automating Collateral Evolutions
http://coccinelle.lip6.fr/papers/semantic-patches-talk-ols07.odp
http://www.diku.dk/hjemmesider/ansatte/julia/eurosys-padioleauy.pdf
Semantic Patches
http://coccinelle.lip6.fr/papers/ols07-padioleau.pdf
Pet Peaves about Platform code, and arch_reset
http://lists.infradead.org/pipermail/linux-arm-kernel/2011-November/072104.html
Example of using spatch by Tony Lindgren
patchparse (neither source nor binary found)
Understanding Collateral Evolution in Linux Device Drivers
http://coccinelle.lip6.fr/papers/RR-5769.pdf
http://www.diku.dk/hjemmesider/ansatte/julia/eurosys-padioleauy.pdf
Programs used to produce the figures in the paper: Understanding Collateral Evolution in Linux Device Drivers
patch analyzer (patchparse)/interface analyzer
http://coccinelle.lip6.fr/patch_analyzer_and_co.html
spdiff
Generic Patch Inference
http://www.diku.dk/hjemmesider/ansatte/julia/andersen_ase08.pdf
spdiff -- A tool for Semantic Patch Inference
http://www.diku.dk/hjemmesider/ansatte/jespera/doc.html
apt-get install ocaml ocaml-native-compilers menhir
make depend
make opt
(Ubuntu 10.04)
Error: make: *** No rule to make target `genericparser.cmo', needed by `spdiff'. Stop.
#345792 - xml-light_2.2-1: FTBFS: No rule to make target `xml_parser.cmi' - Debian Bug report logs
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=345792
Error: ocamlyacc genericparser.mly
File "genericparser.mly", line 31: syntax error
spdiff pre-built binary
http://www.diku.dk/hjemmesider/ansatte/jespera/downloads/spdiff.opt
沒有留言:
張貼留言