Zynamics BinNavi是一款很好用的程序分析测试软件，该软件目前支持的平台（用于调试）是Win32/x86和Linux/x86 （ptrace ），可以在WinCE/ARM中调试和实验。图形用户界面是纯Java的，以在windows，MacOS和Liunx测试成功。

软件介绍

binnavi是一个二进制代码的逆向工程工具的建立是协助脆弱性研究人员寻找在反汇编代码的漏洞。

你可以分析与binnavi拆卸x86，PowerPC，ARM，MIPS和代码使用内置强大的静态代码分析技术。在情况下，静态代码分析是不够的，你可以使用内置的调试器到现场看你的分析程序。

软件特点

开放式数据库格式： *zynamics BinNavi现在所有的数据存储在MySQL数据库中方便，灵活的格式。这有利于减轻解体分配结果导致的多重用户，数据管理和备份。

*集成的Python解释程序： *zynamics BinNavi允许访问整个解体，所有callgraph和flowgraph的结构，更方便的从一个综合的Python命令行调试内存和寄存器。

*可用性zynamics BinNavi GDB允许在任何平台上调试：*支持调试串行协议。这包括大多数的Unix和网络的嵌入式设备，如思科路由器和防火墙VPN设备。

zynamics BinNavi目前支持的平台(用于调试)是Win32/x86和Linux/x86 (ptrace )，可以在WinCE/ARM中调试和实验。图形用户界面是纯Java的，以在windows，MacOS和Liunx测试成功。