Welcome to my Linux Kernel journey
Internship wrap up
Journey summary When I started the internship journey, I was worried that I may not be up to the task . I wanted to grasp a lot of thing at once which was a difficult thing to do. My first patch series were rejected. I worried I was not doing enough . After following the…
Types of context imbalance warnings and how to annotate
Types There are three types of context imbalance warnings: warning: context imbalance – unexpected unlockwarning: context imbalance – wrong count at exitwarning: context imbalance – different lock contexts for basic block How to annotate Unexpected unlock This is the easiest of all, what happens here is that the function enters the critical section at entry…
Annotations for Sparse context imbalance warnings
Sparse has a validation folder which includes rules in form of C files, that a target source code should meet; if it does not , warnings and errors will be thrown once it is compiled with Sparse enabled. https://git.kernel.org/pub/scm/devel/sparse/sparse.git/tree/validation/attr-context.c https://git.kernel.org/pub/scm/devel/sparse/sparse.git/tree/validation/context-stmt.c https://git.kernel.org/pub/scm/devel/sparse/sparse.git/tree/validation/context.c There are many types of warnings that Sparse throws, in this article , we…
Using Sparse tools for my internship project
What is Sparse ? Sparse or semantic Parser for C is a tool built by Linus Torvald and colleagues with the aim of enforcing type-checking. It is actually a static analysis tool. By static we mean it analyses code without executing it; Sparse converts a sequence of characters in the program into a sequence of tokens…
Experience applying to Outreachy Internship program
First encounter I first learned about Outreachy at The Open Source Summit 2018 in Edinburgh, Scotland. I attended a Linux Kernel security talk where Julia Lawall, a research scientist at INRIA presented her work on Coccinelle – work which I found interesting. At the end of her talk, she briefly spoke about an internship that…
Follow my blog
Get new content delivered directly to your inbox.
irenge blog 