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

Verwendung

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

Beispiel

Für die Ausführung aller Plugins auf target.bin

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

Dokumentation

TODO

• Beauty Code

  • Interne Methoden mit _ versehen

• Kern

  • Slicing
  • Architektur-Unterstützung

• Reporter

  • In das Plugin-System einbinden

• GUI

• Externes Interface in DLLs

• Plugins

  • Pufferüberlauf
  • Grenzüberschreitung
  • Ganzzahlüberlauf
  • Format-String
  • Nicht initialisierter Speicher
    • Graph-Slicing!

Falschpositiv

• CWE457_Use_of_Uninitialized_Variable__char_pointer_17_bad()
  • Falschpositiv bei goodG2B

ERLEDIGT

• Plugin-Lader

Ressourcen und ähnliche Projekte

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

Pufferüberläufe: gets <- immer char buf[123]; std::cin>>buf