BinNavi is a binary code reverse engineering tool that was
built to assist vulnerability researchers who look for
vulnerabilities in disassembled code.
With BinNavi you can analyze disassembled x86, ARM,
PowerPC, and MIPS code using the powerful built-in static
code analysis techniques. In cases where static code
analysis is not enough, you can use the built-in debuggers
to get a live view on the program you are analyzing.
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