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

Recent Posts

• Miasm IR getting higher
• Release v0.1.0
• Playing with Dynamic symbolic execution
• Data flow analysis: DepGraph
• ZeusVM analysis
• Rebuilding a cleaned & working binary (Re150 part 2)
• Dynamic shellcode analysis
• GreHack 2015 Re150 challenge: as painless as possible
• Welcome!

Search

Contact:

contact at miasm re

Documentation:

pdoc

Doxygen