Извлечение функциональности из бинарного кода

Семантический анализ кода – важный, но трудоемкий процесс, используемый во многих областях программирования. Целью данной работы является изучение метода автоматизации семантического анализа бинарного кода, который основан на разделении программ на семантические ядра с использованием частичных трасс выполнения или выделения подграфов графа вызовов и выделении их функциональности.