manticore v0.3.4 releases: Dynamic binary analysis tool