Zeno Framework

Installation

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

Utilisation

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

Exemple

Pour exécuter tous les plugins sur target.bin

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

Documentation

TODO

• Beauty Code

  • Préfixer les méthodes internes avec _

• Core

  • Slicing
  • Support d'architecture

• Reporter

  • Intégrer dans le système de plugins

• GUI

• Interface externe dans les DLLs

• Plugins

  • BufferOverflow
  • Out of Bounds
  • IntegerOverflow
  • Format String
  • Mémoire non initialisée
    • Graph Slicing !

Faux Positifs

• CWE457_Use_of_Uninitialized_Variable__char_pointer_17_bad()
  • Faux positif sur goodG2B

FAIT

• Chargeur de plugins

Ressources et projets similaires

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

Dépassements de tampon : gets <- toujours char buf[123]; std::cin>>buf