Одна из проблем в анализе малвари маленькими моделями - это встреча с сильно обфусцированными функциями и просто большими функциями. Проблему можно решить разбитием большой функции на небольшие метаданные.

1. Сначала строим короткий профиль функции: размер, число инструкций, basic blocks, ветвления и вызовы.

2. Если функция большая или имеет признаки сложного CFG, модель не получает полный листинг. Вместо этого она переходит к графу блоков, bounded CFG-slice и дизассемблированию конкретных basic blocks.

3. Псевдокод Ghidra выдаётся страницами с нумерацией строк, а не огромную простыню от которой маленькая модель захлебнется.