Не очень понял в чём фишка диплома (вроде и так понятно, что по бинарнику можно найти константу и поменять её. Тут даже исходник не нужен), но не суть.
Вообще это как-то отдалённо напоминает системы сертификации ПО (а Вы случаем не в этой сфере работаете?). Соответственно можете поискать литературу про гибридные анализы ПО (статический+динамический). Из известных мне система есть
АК-ВС. Можете просто поискать сканеры уязвимостей - их очень
много. Соответствено, по данной теме уже можно и литературу искать. Из литературы у
этого товарища есть книга "Программная инженерия. Обеспечение качества программных средств методами статического анализа", может там чего найдёте.
