Add analysis of locks (lock.md)