z3 is a tool we see used in CTFs and and generally reverse engineering. But I just stumbled over this gamedev talk where @desplesda used z3 to find bugs in the decision/dialogue trees of a game. And even generates valid savegame states with it!!!https://www.youtube.com/watch?v=1vAxQc30i40 …
-
Prikaži ovu nit
A video of mine using z3 for a CTF challengehttps://www.youtube.com/watch?v=TpdDq56KH1I …
0 replies
6 proslijeđenih tweetova
51 korisnik označava da mu se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.