manticore v0.3.6 releases: Dynamic binary analysis tool