manticore v0.3.1 releases: Dynamic binary analysis tool