Home » Publication » 26430

Dettaglio pubblicazione

2022, SOFTWAREX, Pages 101219- (volume: 20)

SENinja: A symbolic execution plugin for Binary Ninja (01a Articolo in rivista)

Borzacchiello L., Coppa E., Demetrescu C.

Symbolic execution is a program analysis technique that aims to automatically identify interesting inputs for an application, using them to generate program executions covering different parts of the code. It is widely used in the context of vulnerability discovery and reverse engineering. In this paper we present SENINJA, a symbolic execution plugin for the BINARYNINJA disassembler. The tool allows the user to perform symbolic execution analyses directly within the user interface of the disassembler, and can be used to support a variety of reverse engineering tasks.
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma