- Coccinelle: Semantic patches for C, used in the Linux kernel, implemented in OCaml http://coccinelle.lip6.fr/ 3 comments ocaml
Linking pages
- How is the Linux kernel tested? - sergioprado.blog https://embeddedbits.org/how-is-the-linux-kernel-tested/ 93 comments
- Ideas for getting started in the Linux kernel | Something witty yet insightful http://www.labbott.name/blog/2016/08/15/ideas-for-getting-started-in-the-linux-kernel/ 47 comments
- Case study: Searching for a vulnerability pattern in the Linux kernel | Alexander Popov https://a13xp0p0v.github.io/2019/08/10/cfu.html 5 comments
- guides/ALTERNATIVES.md at master · mayfrost/guides · GitHub https://github.com/mayfrost/guides/blob/master/ALTERNATIVES.md 5 comments
- GitHub - regit/coccigrep: Semantic grep for the C language based on coccinelle https://github.com/regit/coccigrep#coccigrep 0 comments
- linux-trace-error/README.md at master · nviennot/linux-trace-error · GitHub https://github.com/nviennot/linux-trace-error/blob/master/README.md 0 comments
- Linux Kernel Testing and Debugging | Linux Journal https://www.linuxjournal.com/content/linux-kernel-testing-and-debugging 0 comments
- OCaml tips - Thomas Leonard's blog http://roscidus.com/blog/blog/2013/10/13/ocaml-tips/ 0 comments
Would you like to stay up to date with Unix? Checkout Unix
Weekly.
Related searches:
Search whole site: site:coccinelle.lip6.fr
Search title: Coccinelle: A Program Matching and Transformation Tool for Systems Code
See how to search.