Analysis of disassembled executable codes by abstract interpretation
- سال انتشار: 1398
- محل انتشار: مجله آنالیز غیر خطی و کاربردها، دوره: 10، شماره: 1
- کد COI اختصاصی: JR_IJNAA-10-1_002
- زبان مقاله: انگلیسی
- تعداد مشاهده: 112
نویسندگان
Iran University of Science and Technology, Narmak, Tehran, ۱۶۸۴۴, Iran
چکیده
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اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.