Данное решение содержит в себе статический анализ кода + разработано для Solaris (i386,SPARC)
Имеет возможность динамически анализировать программу, по куче признаков. Планирую поставить версию и поиграться с ней.
Небольшая презентация на тему:
http://www.diku.dk/forskning/performance-engineering/Generic-programming/Slides/lars_skovlundmorten_poulsenforedrag.pdf