Do
you need to have code execution reach a certain part of
an executable ? Do you want to visualize program structure
? Do you want to visualize the code coverage of your black-box
testing ?
SABRE BinNavi is the world's first debugging system
based on directed graphs and graph visualisation. Using
the disassembly provided by the commercial disassembler
IDA Pro, it can help to:
- View,
layout, color and edit call hierarchies to clarify dependencies
- Navigate
execution to a certain location in the code to prove/disprove
hypothetical vulnerabilities
- Craft
input to reach a certain code location
- Interactively
explore the structure of the program
SABRE
BinNavi consists of a Java-based GUI and several small debug
clients for different platforms. SABRE BinNavi allows you
to:
- Simultaneously
set breakpoints on all known functions to see coverage
and normal program flow
- Visualize
and replay program execution
- Edit,
move, and color nodepaths and nodes in the code flow
path to aid in program understanding
Currently
supported platforms (for the debug client) are Win32/x86,
and platforms Linux/x86 as well as WinCE/ARM and WinCE/x86
are in the works. More platforms will be added in the future.
SABRE BinNavi consists of a GUI, a debug client and an extension
to the commercial disassembler IDA Pro. You need a recent
version (4.8) of IDA Pro to use SABRE BinNavi.
For Further details please contact us.
|
