Skip to content
KitploitKITPLOIT
StrumentiBlog
Invia
StrumentiBlog
Invia

Strumenti di Hacking, PenTest e Cybersecurity per il tuo Arsenale di Sicurezza!

Kitploit è una directory di strumenti di hacking, cybersecurity e pentesting. Scopri gli ultimi aggiornamenti dei progetti per trovare vulnerabilità, analizzare sistemi, automatizzare i test e rafforzare la tua sicurezza.

··Feed·Contatto·Privacy·© 2026 Kitploit

Directory degli strumenti

Categorie

Vedi tutte le categorie
Loading categories
toy-wasm-symbexp — Un motore di esecuzione simbolica toy, a supporto dell'articolo del blog ... | Kitploit
Strumenti/GitHubGitHub/synacktiv/toy-wasm-symbexp
Reverse EngineeringCTFAnalisi di BinariApprendimento e Formazione
GitHubsynacktiv/toy-wasm-symbexp

toy-wasm-symbexp

Un motore di esecuzione simbolica toy, a supporto dell'articolo del blog ...

Vedi Repository
1834 anni faNon ancora revisionato

Più Popolari

Vedi tutti →

Scopri gli strumenti più utilizzati dalla nostra community.

Esplora tutti gli strumenti

Sfoglia la nostra collezione di strumenti

Vedi tutti gli strumenti →
Condividi

toy-wasm-symbexp

Questo è un interprete simbolico WASM giocattolo. Illustra i seguenti articoli:

  • Parte 1 - Introduzione
  • Parte 2 - Scrivere un interprete concreto - sfoglia il codice in questa fase
  • Parte 3 - Scrivere un interprete simbolico - sfoglia il codice in questa fase
  • Parte 4 - Scrivere un interprete simbolico e risolvere sfide! - sfoglia il codice in questa fase

Utilizzo

Un pratico Makefile ti aiuterà a verificare che il programma funzioni per te:

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

Nota

La sfida risolta è il ForumCrack KeygenMe.

Scarica lo strumento