Zeno Framework

Instalação

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

Uso

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

Exemplo

Para executar todos os plugins em target.bin

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

Documentação

A FAZER

• Beleza do Código

  • Prefixar Métodos internos com _

• Núcleo

  • Slicing
  • Suporte a Arquitetura

• Relator

  • incluir no Sistema de Plugins

• GUI

• Interface Externa em DLLs

• Plugins

  • Estouro de Buffer
  • Fora dos Limites
  • Estouro de Inteiro
  • String de Formatação
  • Memória Não Inicializada
    • Slicing de Grafo!

Falso Positivo

• CWE457_Use_of_Uninitialized_Variable__char_pointer_17_bad()
  • Falso positivo em goodG2B

CONCLUÍDO

• Carregador de Plugins

Recursos e Projetos Semelhantes

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

Estouros de Buffer: gets <- sempre char buf[123]; std::cin>>buf