Add mutex & cooc analysis menu (temp)
Add mutex & cooc analysis menu (temp)