Skip to content
KitploitKITPLOIT
HerramientasBlog
Enviar
HerramientasBlog
Enviar

¡Herramientas de Hacking, PenTest y Ciberseguridad para tu Arsenal de Seguridad!

Kitploit es un directorio de herramientas de hacking, ciberseguridad y pentesting. Descubre las últimas actualizaciones de proyectos para encontrar vulnerabilidades, analizar sistemas, automatizar pruebas y fortalecer tu seguridad.

··Feeds·Contacto·Privacidad·© 2026 Kitploit

Directorio de Herramientas

Categorías

Ver todas las categorías
Loading categories
zeno — Descubrimiento automático de vulnerabilidades | Kitploit
Herramientas/GitHubGitHub/traxes/zeno
Análisis EstáticoAnálisis de VulnerabilidadesFuzzingAnálisis de Binarios
GitHubtraxes/zeno

zeno

Descubrimiento automático de vulnerabilidades

Ver Repositorio
39446hace 7 añosRevisado por Kitploit

Más Populares

Ver todos →

Descubre las herramientas más usadas por nuestra comunidad.

Explora todas las herramientas

Explora nuestra colección de herramientas

Ver todas las herramientas →
Compartir

Zeno Framework

Instalación

root@kitploit:~
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

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

Ejemplo

Para ejecutar todos los plugins en target.bin

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

Documentación

TODO

  • Código Limpio

    • Prefijar Métodos internos con _
  • Núcleo

    • Slicing
    • Soporte de Arquitectura
  • Reportero

    • Incluir en Sistema de Plugins
  • GUI

  • Interfaz Externa en DLLs

Descargar herramienta
  • Plugins

    • BufferOverflow
    • Out of Bounds
    • IntegerOverflow
    • Format String
    • Uninitialized Memory
      • Graph Slicing!
  • Falso Positivo

    • CWE457_Use_of_Uninitialized_Variable__char_pointer_17_bad()
      • Falso positivo en goodG2B

    HECHO

    • Cargador de plugins

    Recursos y Proyectos Similares

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

    Desbordamientos de búfer: gets <- siempre char buf[123]; std::cin>>buf