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

4 Answers 4


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, 2013 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, 2013 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, 2013 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 and acknowledge that you have read and understand our privacy policy and code of conduct.

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