[arch-general] ABI Navigator — a project to search for binary symbols