Pintool and Z3 Introduction

I’ve posted an introduction on Pintool and one on Z3 on the blog of our CTF Team, De Eindbazen.

And, yes, these actually provided us with results!

Pintool Introduction: http://eindbazen.net/2013/04/pctf-2013-hypercomputer-1-bin-100/

Z3 Introduction: http://eindbazen.net/2013/04/pctf-2013-cone-binary-250-2/

Cheers,
Jurriaan

2 thoughts on “Pintool and Z3 Introduction

    • Sorry for the late reply. Z3 is a “high-performance theorem prover being developed at Microsoft Research.” It is useful for solving equations, such as as simple ones like “x+y = 42, if y = 1337, what is x?”, but also more advanced ones.. :)

      See also: http://z3.codeplex.com/

Leave a Reply

Your email address will not be published. Required fields are marked *

*

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>