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
toy-wasm-symbexp — Un motor de ejecución simbólica de juguete, que acompaña al artículo de blog ... | Kitploit
Herramientas/GitHubGitHub/synacktiv/toy-wasm-symbexp
Ingeniería InversaCTFAnálisis de BinariosAprendizaje y Educación
GitHubsynacktiv/toy-wasm-symbexp

toy-wasm-symbexp

Un motor de ejecución simbólica de juguete, que acompaña al artículo de blog ...

Ver Repositorio
183hace 4 añosAún no revisado

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

toy-wasm-symbexp

Este es un intérprete simbólico WASM de juguete. Ilustra los siguientes artículos:

  • Parte 1 - Introducción
  • Parte 2 - Escribiendo un intérprete concreto - explorar el código en esta etapa
  • Parte 3 - Escribiendo un intérprete simbólico - explorar el código en esta etapa
  • Parte 4 - Escribiendo un intérprete simbólico y resolviendo retos! - explorar el código en esta etapa

Uso

Un práctico Makefile te ayudará a probar que el programa funciona para ti:

root@kitploit:~
$ make test
$ make part1-custom
$ make part1-smt
$ make part2-smt

Nota

El reto que se resuelve es el ForumCrack KeygenMe.

Descargar herramienta