-
Welcome
-
Subscribe to
Coccinelle: A program matching and transformation tool
This proposal has been accepted as a session.
One Line Summary
Gain insights into Coccinelle to open new avenues to faster and efficient kernel contributions.
Abstract
Coccinelle is a program matching and transformation engine which provides the Semantic Patch Language for specifying desired matches and transformations in C code. Coccinelle has been used in past for finding bugs in Linux and performing evolutions. Coccinelle scripts are part of the Linux source distribution, being used by Linux developers on a regular basis. In the presentation, Himangi will review the impact of Coccinelle on the Linux kernel. Himangi will briefly introduce the structure of Coccinelle scripts. She will talk about managed interfaces like devm_ functions, will explain how coccinelle helps detect use-cases and transform them, and will give some examples of code changes. Himangi will discuss about other coccinelle patches such as ARRAY_SIZE, missing iounmap which leads to memory leaks. Himangi will highlight the capabilities of coccinelle and limitations of the tool.
Tags
Coccinelle
Speaker
-
Himangi Saraogi
Linux kernelBiography
I am a Computer Science student at the International Institute of Information Technology, Hyderabad, India. I had been using the operating system Linux for 4 years and out of curiosity I got the Linux repository, built it and set out to read the code. The code-base fascinated me and with the support of the community, I got involved in the development and started sending patches. I have experience in using tools such as checkpatch, sparse and coccinelle. The accepted patches can be found here: https://git.kernel.org/cgit/linux/kernel/git/next/linux-next.git/log/?qt=grep&q=himangi. I have been working on the Coccinelle project for the Linux Kernel as part of the Outreach Program for Women. I have written a number of Coccinelle scripts to detect and correct errors/warnings throughout the tree. I have presented a paper involving Artificial Intelligence at IIT Bombay and have public speaking experience with debates and elocutions.
Sessions
-
- Title: Coccinelle: A program matching and transformation tool
- Microconference: Development Tools
-
One Line Summary:
Gain insights into Coccinelle to open new avenues to faster and efficient kernel contributions.
- Speakers: Himangi Saraogi
-