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