Amoco v2.6.3 releases: tool for analysing binaries