Locks

This case checks for locks that are not released or that are taken more than once.

Lock

This case is for functions that take locks.

Semantic patches

Results

Intr

This case is for functions that disable interrupts.

Semantic patches

Results

LockIntr

This case is for functions that take locks and disable interrupts.

Semantic patches