|
|
|
|
Analysis of disassembled executable codes by abstract interpretation
|
|
|
|
|
|
|
|
نویسنده
|
alaeiyan mohammadhadi ,parsa saeed
|
|
منبع
|
international journal of nonlinear analysis and applications - 2019 - دوره : 10 - شماره : 1 - صفحه:9 -13
|
|
چکیده
|
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.
|
|
کلیدواژه
|
Static analysis ,Abstract domain; Abstract operator; Abstract semantic; Environment and state of abstract interpretation
|
|
آدرس
|
iran university of science and technology, school of computer engineering, Iran, iran university of science and technology, school of computer engineering, Iran
|
|
پست الکترونیکی
|
parsa@iust.ac.ir
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|