naaz

нааз

Еще один механизм символического выполнения. На основе P-кода Гидры. Создан для удовольствия.

Компиляция (Linux/OSX)

Вытащите репо и подмодули:

 git clone https://github.com/borzacchiello/naaz.git
cd naaz
git submodule update --init

Скомпилируйте сторонние библиотеки:

 cd third_party
./build.sh

Собираем нааз:

 cd ..
mkdir build
cd build
cmake ..
make -j`nproc`

Инструменты командной строки находятся в каталоге build/tools/

Как использовать

naaz поставляется с двумя утилитами командной строки:

• naaz_finder , который ищет состояние, достигающее заданного адреса.
• naaz_path_generator , который генерирует входные данные, охватывающие несколько путей.

примеры использования этих инструментов можно найти в этом репозитории.

Дела

• Внедрить коровью память
• Реализуйте обработчики для всех операторов P-Code.
• Поддержка системных вызовов
• Поддержка Windows/PE
• Больше моделей библиотек
• Поддержка большего количества загрузчиков (например, на основе ризина)
• Поддержка загрузки библиотеки
• Привязки для Python