Kevan Baker, Daniel R. Tauritz, Samuel Mulder (Auburn University)
Binary analysis tools work better together. In the case of static analysis, symbolic execution tools are used to explore possible execution paths in a binary and decompilers are used to view binary code. In this paper, we discuss the bridging of these two types of tools, using state-of-the-art tools Binary Ninja and angr. We present a work-in-progress plugin for Binary Ninja named Bangr which integrates features of angr. With our plugin, we demonstrate how coupling angr and Binary Ninja enables answering questions that Binary Ninja cannot answer on its own. We further demonstrate the utility of having a graphical interface for angr, and conclude with a discussion on the Bangr plugin.