Исходная задача

• Решение компании Sun: http://developers.sun.com/sunstudio/documentation/ss9_docs/mr/READMEs/lock_lint.html
  

Данное решение содержит в себе статический анализ кода + разработано для Solaris (i386,SPARC)

• Intel Thread Checker
• Resource Standard Metrics http://msquaredtechnologies.com/m2rsm/index.htm
  

Имеет возможность динамически анализировать программу, по куче признаков. Планирую поставить версию и поиграться с ней.

Небольшая презентация на тему:
http://www.diku.dk/forskning/performance-engineering/Generic-programming/Slides/lars_skovlundmorten_poulsenforedrag.pdf