News for hackers. Stuff that matters.

A comment on Solving a Crackme using Z3: Theorem Prover .

Re:Solving a Crackme using Z3: Theorem Prover by userbinator on Monday May 18, 2015 @01:36PM (#9565736)
Strictly speaking this problem is more of a "keygenme", since a crackme is usually approached in the "figure out which conditional jump(s) to patch" manner.
[ Parent | on HN ]
Re:Solving a Crackme using Z3: Theorem Prover by Wiremask on Monday May 18, 2015 @01:39PM (#9565757)
Yes I totally agree, I just kept the file original name.
[ Parent | on HN ]