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

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


person Thomas    schedule 23.08.2010    source источник
comment
Пользовательские коды сборки? Это варианты хорошо известных наборов инструкций (например, PowerPC или x86) или они действительно индивидуальные? Если они действительно настраиваемые, вам нужен способ определения набора инструкций и семантики.   -  person Ira Baxter    schedule 23.08.2010


Ответы (1)


Вот ссылка, которая какое-то время сидела в моих закладках: я хотел взглянуть на нее глубже, но у меня не нашлось времени, чтобы: Vine / Bitblaze.

person Pascal Cuoq    schedule 23.08.2010