Locks

This case checks for a call to rcu_dereference when an RCU lock is not held.

DerefRCU

Semantic patches

Results