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.

SENinja: A symbolic execution plugin for Binary Ninja / Borzacchiello, L.; Coppa, Emilio; Demetrescu, C.. - In: SOFTWAREX. - ISSN 2352-7110. - 20:(2022), pp. ---. [10.1016/j.softx.2022.101219]

SENinja: A symbolic execution plugin for Binary Ninja

Coppa E.;
2022

Abstract

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.
2022
Cybersecurity, Reverse engineering, Symbolic execution
SENinja: A symbolic execution plugin for Binary Ninja / Borzacchiello, L.; Coppa, Emilio; Demetrescu, C.. - In: SOFTWAREX. - ISSN 2352-7110. - 20:(2022), pp. ---. [10.1016/j.softx.2022.101219]
File in questo prodotto:
File Dimensione Formato  
Borzacchiello_SENinja_2022.pdf

Open Access

Tipologia: Versione dell'editore
Licenza: Creative commons
Dimensione 1.7 MB
Formato Adobe PDF
1.7 MB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11385/236289
Citazioni
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact