Panopticon is a disassembler that understands the semantics of opcodes. This way it's able to help the user by discovering and displaying invariants that would have to be discovered "by hand" in traditional disassemblers. This allows an interactive search through the space of all possible program executions.
Development is coordinated on Github
Panopticon has a Qt 5 GUI displaying hex dumps and control flow graphs.
Panopticon can execute disassembled code without a VM or debugger running.
Panopticon is Libre/Free Software and licensed under GPLv3.