Zeno Framework

Установка

cd ~
git clone https://github.com/Traxes/zeno --recursive
sudo pip3 install termcolor tqdm
git clone https://github.com/Z3Prover/z3 --recursive
cd z3
python3 scripts/mk_make.py --python
cd build
make
sudo make install
cd ~/zeno

Использование

~/zeno$ PYTHONPATH=$PYTHONPATH:$HOME/zeno python3 src/main.py

Пример

Запуск всех плагинов на target.bin

~/zeno$ PYTHONPATH=$PYTHONPATH:$HOME/zeno python3 src/main.py target.bin

Документация

TODO

• Красивый код

  • Префикс внутренних методов с _

• Ядро

  • Слайсинг
  • Поддержка архитектур

• Репортер

  • Интегрировать в систему плагинов

• GUI

• Внешний интерфейс в DLL

• Плагины

  • Переполнение буфера
  • Выход за границы
  • Переполнение целых чисел
  • Форматная строка
  • Неинициализированная память
    • Графовый слайсинг!

Ложно-положительные срабатывания

• CWE457_Use_of_Uninitialized_Variable__char_pointer_17_bad()
  • Ложно-положительное срабатывание на goodG2B

СДЕЛАНО

• Загрузчик плагинов

Ресурсы и похожие проекты

• https://github.com/cetfor/PaperMachete

Переполнения буфера: gets <- всегда char buf[123]; std::cin>>buf