Amoco v2.9.4 releases: tool for analysing binaries