Install

In a nutshell.

$ opam install curses bitwuzla unisim_archisec binsec

More detailed instructions on how to install the tool from sources can be found here.

Commands

Utils

• File Description
• Disasembly
• Opcode disassembly

Analysis

• Static Symbolic Execution (SSE)
• Backward Bounded Static Symbolic Execution (BBSSE)