manticore v0.2.4 releases: Dynamic binary analysis tool