Tomislav Zubčić's blog

Reverse engineering, software development, free software protection tools and resources

Thursday, August 18, 2016

Experimenting with Z3 - Proving opaque predicates

A new blog entry is available at my webpage:
zubcic.re/blog/experimenting-with-z3-proving-opaque-predicates
Posted by chaplja at 11:53 PM No comments:

Monday, August 15, 2016

New website

This blog has been moved to zubcic.re - new posts and projects will be posted there from now on.
Posted by chaplja at 2:11 AM No comments:
Newer Posts Older Posts Home
Subscribe to: Posts (Atom)

/about

about me

/x86obf

download
changelog

/sources

MassImport
Parsed Windows Syscalls
vBulletin reader
chapljaVM/Assembler

/twitter

@chaplja

/subscribe

Posts
Atom
Posts
All Comments
Atom
All Comments

/archive

  • ▼  2016 (2)
    • ▼  August (2)
      • Experimenting with Z3 - Proving opaque predicates
      • New website
  • ►  2015 (5)
    • ►  March (2)
    • ►  February (3)
  • ►  2013 (2)
    • ►  December (1)
    • ►  May (1)
  • ►  2011 (3)
    • ►  June (1)
    • ►  May (2)
  • ►  2009 (4)
    • ►  August (4)
Simple theme. Powered by Blogger.