BinNavi – первая система отладки, основанная на технологии визуализации направленных графов. BinNavi состоит из графического Java-интерфейса и небольших клиентов отладки, поддерживающих различные платформы.

Используя сторонние дисассамблеры для генерации разложений, BinNavi способна:

* отображать, макетировать, расцвечивать и редактировать иерархию вызовов для выяснения отношений зависимости;
* отслеживает процесс выполнения для определенных позиций кода, подтверждая или опровергая предполагаемые уязвимые места;
* выполняет Python-скрипты, автоматизируя задачи переконструирования;
* выполняет отладку на многих платформах: Win32, Linux, Cisco IOS, ScreenOS и т.д.

Use Cases
    * Do control flow based code analysis of disassembled x86, ARM, MIPS, and PowerPC code
    * Cut down on complexity by removing unimportant code from functions
    * Use powerful remote debuggers to debug programs on different operating systems
    * Use Differential Debugging to quickly locate relevant code
    * Create and assign user-defined tags to mark important functions and basic blocks
    * Use advanced code analysis algorithms to keep track of data and code
    * Manage all your reverse engineering projects in one central database
    * Write scripts and plugins to extend BinNavi to meet your specific goals
    * Rename and annotate variables and functions to make them self-explanatory
    * Use the REIL meta-language to write platform-independent program analysis code

Страничка: www.zynamics.com
Интерфейс: Английский
Система: Windows ALL