статический анализ кода для ассемблера

Существуют ли какие-либо инструменты или библиотеки с открытым исходным кодом для статического анализа кода простых пользовательских языков, подобных сборкам (для автоматически сгенерированных программ), и на что они способны (обнаружение неиспользуемого кода / регистров, предоставление высокоуровневых выражений для сегментов кода) вызывать графики и т. д.)? Какие алгоритмы существуют в этой области?