coccinelle

Posted Mar 10, 2025 19:03 UTC (Mon) by abatters (✭ supporter ✭, #6932)
Parent article: Capability analysis for the kernel

I have on occasion used coccinelle to check locking rules in my own code, although the syntax is certainly an obstacle. Also far less convenient than having the compiler do it.