
Descubrimiento automático de vulnerabilidades
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
Para ejecutar todos los plugins en target.bin
~/zeno$ PYTHONPATH=$PYTHONPATH:$HOME/zeno python3 src/main.py target.bin
Código Limpio
Núcleo
Reportero
GUI
Interfaz Externa en DLLs
Plugins
Desbordamientos de búfer: gets <- siempre char buf[123]; std::cin>>buf