(Binary Analysis) New tool to help debug instruction semantics