Skip to content
KitploitKITPLOIT
FerramentasBlog
Enviar
FerramentasBlog
Enviar

Ferramentas de Hacking, PenTest e Cibersegurança para o seu Arsenal de Segurança!

Kitploit é um diretório de ferramentas de hacking, cibersegurança e pentesting. Descubra as últimas atualizações de projetos para encontrar vulnerabilidades, analisar sistemas, automatizar testes e fortalecer sua segurança.

··Feeds·Contato·Privacidade·© 2026 Kitploit

Diretório de Ferramentas

Categorias

Ver todas as categorias
Loading categories
toy-wasm-symbexp — Um mecanismo de execução simbólica de brinquedo, que acompanha o artigo do blog ... | Kitploit
Ferramentas/GitHubGitHub/synacktiv/toy-wasm-symbexp
Engenharia ReversaCTFAnálise de BináriosAprendizado e Educação
GitHubsynacktiv/toy-wasm-symbexp

toy-wasm-symbexp

Um mecanismo de execução simbólica de brinquedo, que acompanha o artigo do blog ...

Ver Repositório
183há 4 anosAinda não revisado

Mais Populares

Ver todos →

Descubra as ferramentas mais usadas pela nossa comunidade.

Explore todas as ferramentas

Navegue pela nossa coleção de ferramentas

Ver todas as ferramentas →
Compartilhar

toy-wasm-symbexp

Este é um interpretador simbólico WASM didático. Ele ilustra os seguintes artigos:

  • Parte 1 - Introdução
  • Parte 2 - Escrevendo um interpretador concreto - veja o código nesta etapa
  • Parte 3 - Escrevendo um interpretador simbólico - veja o código nesta etapa
  • Parte 4 - Escrevendo um interpretador simbólico e resolvendo desafios! - veja o código nesta etapa

Uso

Um Makefile prático ajudará você a testar se o programa está funcionando:

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

Nota

O desafio que está sendo resolvido é o KeygenMe do ForumCrack.

Baixar ferramenta