Platform for interprocedural static analysis of binary code
This paper describes the developed platform for static analysis of binary code. The platform is developed based on interprocedural, flow-sensitive and context-sensitive analysis of the program. The machine-independent language REIL is used as an intermediate representation. In this representation ba...
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | প্রবন্ধ |
| ভাষা: | English |
| প্রকাশিত: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2018-12-01
|
| মালা: | Труды Института системного программирования РАН |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | https://ispranproceedings.elpub.ru/jour/article/view/1106 |