BinNavi is originally a Zynamics product. But, since the company has been bought by Google, it seems to be difficult to get the library.
I tried to look in the BinNavi manual in the installation chapter. But, I couldn't find any way to get the source code or a binary package.
Is there any hope that the code or, at least, a binary form of BinNavi become available at some point ?
And, about the BinNavi API, is it possible to use BinNavi with other languages than REIL or is BinNavi hard linked with it ?