Zeno フレームワーク

インストール

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

ドキュメント

未完了

• コードの美化

  • 内部メソッドに _ を付ける

• コア

  • スライシング
  • アーキテクチャサポート

• レポーター

  • プラグインシステムに組み込む

• GUI

• DLL内の外部インターフェース

• プラグイン

  • BufferOverflow
  • Out of Bounds
  • IntegerOverflow
  • Format String
  • Uninitialized Memory
    • Graph Slicing!

誤検出

• CWE457_Use_of_Uninitialized_Variable__char_pointer_17_bad()
  • goodG2B での誤検出

完了

• プラグインローダー

リソースと類似プロジェクト

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

バッファオーバーフロー: gets <- 常に char buf[123]; std::cin>>buf