manticore v0.3.7 releases: Dynamic binary analysis tool

Manticore