coccinelle: Add script to find cases of missing locks
coccinelle: Add script to find cases of missing locks

This script finds cases of missing locks in the code.
There is some possibilty of false positives in cases
where a particular function is supposed to exit with
the lock held or there is any preceding function call
that releases the lock.

Suggested-by: Julia Lawall <018ee4f95fc49739477deedb13d2cd210889e607@lip6.fr>
Signed-off-by: Himanshu Jha <db39123178a3996d9dafcdcc9af59c3e841de70a@gmail.com>

galak/zephyr,Vudentz/zephyr,GiulianoFranchetto/zephyr,explora26/zephyr,ldts/zephyr,punitvara/zephyr,zephyrproject-rtos/zephyr,finikorg/zephyr,ldts/zephyr,GiulianoFranchetto/zephyr,GiulianoFranchetto/zephyr,zephyrproject-rtos/zephyr,zephyrproject-rtos/zephyr,nashif/zephyr,explora26/zephyr,ldts/zephyr,ldts/zephyr,punitvara/zephyr,galak/zephyr,galak/zephyr,galak/zephyr,Vudentz/zephyr,nashif/zephyr,punitvara/zephyr,Vudentz/zephyr,ldts/zephyr,nashif/zephyr,explora26/zephyr,GiulianoFranchetto/zephyr,explora26/zephyr,nashif/zephyr,nashif/zephyr,Vudentz/zephyr,finikorg/zephyr,finikorg/zephyr,punitvara/zephyr,GiulianoFranchetto/zephyr,punitvara/zephyr,galak/zephyr,zephyrproject-rtos/zephyr,zephyrproject-rtos/zephyr,explora26/zephyr,finikorg/zephyr,Vudentz/zephyr,Vudentz/zephyr,finikorg/zephyr