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
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
