Solving a Crackme using Z3: Theorem Prover

Re:Solving a Crackme using Z3: Theorem Prover by noobie on Monday May 18, 2015 @02:36PM (#9566095)

What are some of the good resources to get started with Reverse Engineering?

[ Parent | on HN ]

Re:Solving a Crackme using Z3: Theorem Prover by thoth on Monday May 18, 2015 @03:05PM (#9566243)

Get used to reading code in a debugger. ;)

There is a great free text, the author asks for a donation: Reverse Engineering for Beginners, http://beginners.re/

The RCE Endeavors blog has many great posts that aren't difficult to follow, http://www.codereversing.com/

CMU's "bomb lab" is pretty famous for providing an executable to play with. Actually I think all the assignments that go along with the CS:APP2e text look very valuable, http://csapp.cs.cmu.edu/2e/labs.html

It's just one of those areas you have to get some hands-on practice doing.

[ Parent | on HN ]

Re:Solving a Crackme using Z3: Theorem Prover by fierycatnet on Monday May 18, 2015 @04:41PM (#9566752)

Here are some other popular resources for reversing.

LoR's blog -> http://thelegendofrandom.com/blog/sample-page

Lena's tuts -> https://tuts4you.com/download.php?list.17

[ Parent | on HN ]