manticore v0.3.2 releases: Dynamic binary analysis tool