Title of article
Analysis of disassembled executable codes by abstract interpretation
Author/Authors
Alaeiyana, Mohammadhadi School of Computer Engineering - Iran University of Science and Technology, Narmak, Tehran 16846, Iran , Parsaa, Saeed School of Computer Engineering - Iran University of Science and Technology, Narmak, Tehran 16846, Iran
Pages
5
From page
9
To page
13
Abstract
The aim of this paper is the denition of the abstract domain, abstract operator, abstract semantic,
environments and states of disassembled executable codes. They help us to analysis the disassembled
executable codes. Static analysis on the disassembled code is a popular task and reverse engineers
and malware analyzers leverage this technique to apply a fast scan on the codes. In this paper, we
perform a summarization on the requirements of abstract interpretation and present an algorithm
to approximate the range value of the code variables.
Keywords
Environment and state of abstract interpretation , Abstract semantic , Abstract operator , Abstract domain , Static analysis
Serial Year
2019
Record number
2493453
Link To Document