Analysis of disassembled executable codes by abstract interpretation

	Analysis of disassembled executable codes by abstract interpretation
International Journal of Nonlinear Analysis and Applications
مقاله 2، دوره 10، شماره 1، بهمن 2019، صفحه 9-13 اصل مقاله (264.58 K)
نوع مقاله: Research Paper
شناسه دیجیتال (DOI): 10.22075/ijnaa.2019.4048
نویسنده
Mohammad hadi Alaeiyan^*
Iran University of Science and Technology, Narmak, Tehran, 16844, Iran
تاریخ دریافت: 02 آبان 1397، تاریخ بازنگری: 03 تیر 1398، تاریخ پذیرش: 10 تیر 1395
چکیده
The aim of this paper is to define the abstract domain, abstract operator, abstract semantic, the environments and states of disassembled executable codes as well as a way to analysis the disassembled executable codes. Nowadays, static analysis on disassembled code going to grow. Reverse engineering and malware analysis use this technique. Thus, we tried to perform pluralization the requirements of static analysis by abstract interpretation as well as report some specific and advantageous notes in this paper. In addition, we present an algorithm to obtain the control ow graph of disassembled code.
کلیدواژه‌ها
Static analysis؛ Abstract domain؛ Abstract operator؛ Abstract semantic؛ Environment and state of abstract interpretation

آمار تعداد مشاهده مقاله: 10,609 تعداد دریافت فایل اصل مقاله: 667

سامانه مدیریت نشریات علمی. قدرت گرفته از سیناوب