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 ?

BinNavi Example


BinNavi was just released as open source today by Google, so you can get it for free.

About using it with something else than REIL, if you're fearless, you can give a try to radare2, since it can translate its intermediary language ESIL, to REIL.


Go to http://www.zynamics.com/software.html and click Add zynamics BinNavi to cart. This allows you to buy it via Google Wallet.

  • 3
    It seems to work, but before paying 400$, I would like to know if the graphical part can be plugged on something else than a REIL language as a model (I assume that we program our own plugin for this). Basically, I'm asking if the graphical part can be used totally interdependently from the analysis part.
    – perror
    May 19 '13 at 20:03

Tim Kornau here BinNavi developer. Yes the graphical part "can" be plugged on something else than REIL. The amount of work that is needed to do so should not be underestimated.

  • 2
    would you consider providing a more complete answer to the question regarding availability and how to get the source/binary if that is possible?
    – cb88
    May 21 '13 at 15:34
  • 1
    As stated above BinNavi is available in binary form from our website. Debuggers are shipped as source and as binary. The exporter is shipped in binary format. In regards to availability, it is available to the Americas | Europe | Japan ... I hope that clarifies this a little.
    – opti
    May 23 '13 at 11:44

You can also give PaiMei a look as I did understand it could do the same as BinNavi. But it is freeware and highly unsupported. :)

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.