程序分析测试软件(Zynamics BinNavi)

开放式数据库格式： *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测试成功。