Posts tagged with z3 2017 Oct 05 Playing with Dynamic symbolic execution Posted by commial Tags: emulation, dse, z3 2016 Mar 24 Rebuilding a cleaned & working binary (Re150 part 2) Posted by commial Tags: asm, emulation, graph, z3