manticore v0.3 releases: Dynamic binary analysis tool