Zeno Framework

Installazione

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

Utilizzo

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

Esempio

Per eseguire tutti i plugin su target.bin

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

Documentazione

TODO

• Miglioramento del Codice

  • Prefisso dei metodi interni con _

• Nucleo

  • Slicing
  • Supporto per architetture

• Reporter

  • includere nel sistema di plugin

• GUI

• Interfaccia esterna nelle DLL

• Plugin

  • BufferOverflow
  • Out of Bounds
  • IntegerOverflow
  • Format String
  • Memoria non inizializzata
    • Graph Slicing!

Falso Positivo

• CWE457_Use_of_Uninitialized_Variable__char_pointer_17_bad()
  • Falso positivo su goodG2B

COMPLETATO

• Caricatore di plugin

Risorse e Progetti Simili

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

Buffer Overflow: gets <- always char buf[123]; std::cin>>buf